研究
配属を希望される方へ
私達の研究グループでは計算理論と自動演繹に関連する研究をしております。
研究に関連するキーワード
論理学、
計算モデル、
項書換え、
オートマトン、
関数型言語、
定理自動証明、
停止性、
計算量解析、
合流性、
完備化、
評価戦略
入学を希望される方へ
理論分野に興味はあっても、研究計画をどう立てたらよいのかがわからないことが多いと思います。
その場合はぜひ本学の「
いつでも大学院進学相談会」を利用してください。
研究室学生がどのような修士・博士論文研究を行っているのか、入学前にどのような準備をしたのかなど、希望に応じて紹介致します。