情報科学研究２

指導可能な研究領域	Linuxシステムの構築・活用・システム管理プログラミング数理論理学
目標	研究２に引き続いて各自が選択した分野に関して学習・調査・研究を行う．プログラミングを選択した場合には，簡易プログラミング言語に関する処理系の開発，アプリケーションの開発，ソフトウェアの性能改善手法などを目標に調査・研究を進める．数理論理学を選択した場合には，不完全性定理，再帰理論，ラムダ計算，直観主義論理，様相論理．プログラム意味論などのテーマについて理解を深める．また，プレゼンテーションの方法についても合わせて学習する．
方法	前学期と同様に，基礎資料を学習しながら，さらには実際のソフトウェアを開発しながら各自のテーマについて理解を深めていく。毎回の授業では，学習や開発した内容をまとめて発表する。必要に応じて，専門文献を調査する。

その他
評価方法	予習・復習の様子やプレゼンテーションの内容などをもとに総合的に判定する．
オフィスアワー	毎週水曜日１２：１０〜１３：００