研究室紹介
コンピュータ工学
岩見研究室（准教授：岩見宗弘）
岩見研究室（准教授：岩見宗弘）
研究領域（キーワード）
ソフトウェア科学、理論計算機科学、数理情報、プログラミング教育
研究テーマ例
1）項書き換えシステムの性質(合流性、停止性等)の解析とその応用
2）定理自動証明の基礎理論
3）プログラミング教育の実践
研究室の紹介とメッセージ
等式による証明をリダクションにより効率的に実現するための基礎が書き換えシステムの理論です。本研究室では、書き換えシステムの様々な性質の解析を通じて、定理自動証明の基礎的研究を進めています。また、プログラミング教育に関する研究も行っています。
| 研究室ホームページ | |
|---|---|
| 教育・研究等業績 | |
| 希望する共同研究分野 | 定理自動証明に基づくプログラム検証 プログラミング教育 |