・ソフトウェア検証技術とプログラム変換・合成の理論と応用 ・新しいプログラミング言語と計算モデルの理論と実現 ・数理論理学、定理自動証明システムの理論と応用
イワミ ムネヒロ
岩見 宗弘
准教授
| 学部等 |
総合理工学部
知能情報デザイン学科
|
|---|---|
| researchmap 個人URL |
https://researchmap.jp/read0059608 |
| SDGs |
|
| ホームページURL |
産業分野
- 学術研究，専門・技術サービス業 / 学術・開発研究機関
- 製造業 / 情報通信機械器具製造業
- 情報通信業 / 情報サービス業
researchmap
研究分野
- 情報通信 / 情報学基礎論
- 情報通信 / 数理情報学
- 情報通信 / ソフトウェア
研究キーワード
ソフトウェア科学，プログラミング言語，計算モデル，計算機代数，検証，人口知能，推論，数理論理学，定理自動証明，理論計算機科学
研究概要
等式による証明をリダクションにより効率的に実現するための基礎が書換えシステムの理論である。本研究室では、書換えシステムの様々な性質の解析を通じて、プログラミング言語の基礎的研究を進めている。
○項書換えシステムの性質(合流性、停止性等)の解析とその応用
○関数・論理型プログラミング言語
○定理自動証明システム
○プログラム変換・合成・検証
○項書換えシステムの性質(合流性、停止性等)の解析とその応用
○関数・論理型プログラミング言語
○定理自動証明システム
○プログラム変換・合成・検証