研究

配属を希望される方へ

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

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

ソフトウェアとウェブサービス

CoLL and Saigawa

合流性自動証明ツール

COPS

合流性問題のデータベース

Maxcomp

自動完備化ツール

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

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