研究室
所在
- 機関:
- 北陸先端科学技術大学院大学
- 部屋:
- 情報II棟5階 I-54
研究室ポスター
配属を希望される方へ
強力なプログラミング言語機能や自動推論、自動証明技術の実現は、情報社会の発展とその安全を支えるために不可欠です。
私達の研究グループではその基盤理論となる計算と演繹に関する研究をしております。
入学を希望される方へ
理論分野に興味はあっても、入学後の研究計画をどう立てたらよいのかがわからないことが多いと思います。
その場合はぜひ本学の「
オープンキャンパス」や「
いつでも大学院進学相談会」を利用してください。
研究室学生がどのような修士・博士論文研究を行っているのか、入学前にどのような準備をしていたかなど、希望に応じて紹介致します。
また所属の機関によっては
本学のインターンシップ制度（特別学修生）も利用できます。
併せてご検討下さい。
研究に関連するキーワード
論理学、代数学、計算モデル（項書換え、ラムダ計算、オートマトン）、
自動演繹、関数型言語、定理証明系、停止性、計算量、グレブナ基底
推奨講義科目
- I120 基礎論理数学
- I211 数理論理学
- I217 関数プログラミング