研究者情報

岩見　宗弘（イワミ　ムネヒロ）　IWAMI Munehiro

学部等／職名

総合理工学部　知能情報デザイン学科　准教授

学科・講座等

知能情報デザイン学科　

専門分野

情報通信 / 情報学基礎論

専門分野キーワード

理論計算機科学、ソフトウェア科学

研究テーマ

項書換えシステム, 関数・論理型プログラミング言語, 定理自動証明システム
等式による証明をリダクションにより効率的に実現するための基礎が書換えシステムの理論である。本研究室では、書換えシステムの様々な性質の解析を通じて、プログラミング言語の基礎的研究を進めている。 ○項書換えシステムの性質(合流性、停止性等)の解析とその応用 ○関数・論理型プログラミング言語 ○定理自動証明システム ○プログラム変換・合成・検証
研究分野:情報学基礎

ホームページＵＲＬ

http://www.cis.shimane-u.ac.jp/~munehiro/

職歴

准教授2012年～
講師2008年～2012年
助教2007年～2008年
助手1999年～2007年

出身学校

東海大学 大学 (理学部 数学科) 1994年 (卒業)

北陸先端科学技術大学院大学 大学 (情報科学研究科 博士前期課程) 1996年 (卒業)

出身大学院

北陸先端科学技術大学院大学 博士 (情報科学研究科 情報処理学専攻) 1999年 (修了)

取得学位

博士（情報科学） (課程) 北陸先端科学技術大学院大学 情報学基礎