情報科学研究１

指導可能な研究領域	Linuxシステムの構築・活用・システム管理プログラミング数理論理学
目標	講究２（3年次後学期）において選択した分野について学習を続ける．プログラミングを選択した場合には，プログラミング言語処理系について理解を深めていくことを主なテーマとするが，これ以外にも関数型プログラミングによるアプリケーション開発などもテーマとして扱う。数理論理学を選択した場合には，述語論理の完全性定理，導出原理，モデル理論の基礎，計算理論の基礎などをテーマとして扱う．また，講究から引き続いてプレゼンテーションの方法についても合わせて学習する．
方法	授業ガイダンスの際に，選択したテーマに関する基礎資料（専門書または論文）を指示する。その基礎資料を学習しながらそれぞれのテーマについて理解を深めていく。プログラミングを選択した場合には実験的なプログラムの開発を行う．毎回の授業では，学習した内容や開発した内容をまとめて発表用資料を作成し，プレゼンテーションを行う。

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