研究

配属を希望される方へ

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

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