研究

配属を希望される方へ

私達の研究グループでは計算理論と自動演繹に関連する研究をしております。

• 研究室紹介のスライド (pdf)
• 項書換え
• 停止性
• 計算量解析 （準備中）
• 合流性
• 関数型言語
• 定理自動証明

研究に関連するキーワード

論理学、 計算モデル、 項書換え、 オートマトン、 関数型言語、 定理自動証明、 停止性、 計算量解析、 合流性、 完備化、 評価戦略

推奨講義科目

• I120 基礎論理数学
• I211 数理論理学
• I217 関数プログラミング

入学を希望される方へ

理論分野に興味はあっても、研究計画をどう立てたらよいのかがわからないことが多いと思います。 その場合はぜひ本学の「オープンキャンパス」や「いつでも大学院進学相談会」を利用してください。 研究室学生がどのような修士・博士論文研究を行っているのか、入学前にどのような準備をしていたかなど、希望に応じて紹介致します。