[ English | Japanese ]

研究室

所在

機関:
北陸先端科学技術大学院大学
部屋:
情報II棟5階 I-54

配属を希望される方へ

強力なプログラミング言語機能や自動推論、自動証明技術の実現は、情報社会の発展とその安全を支えるために不可欠です。 私達の研究グループではその基盤理論となる計算と演繹に関する研究をしております。

入学を希望される方へ

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

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

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

推奨講義科目