研究者
J-GLOBAL ID：200901016836106549   更新日: 2024年04月17日

岩見 宗弘

イワミ ムネヒロ | Iwami Munehiro
所属機関・部署：
島根大学 総合理工学部 知能情報デザイン学科

島根大学 総合理工学部 知能情報デザイン学科 について


職名： 准教授
ホームページURL (1件)： http://www.cis.shimane-u.ac.jp/~munehiro/
研究分野 (1件)： 情報学基礎論
研究キーワード (5件)： ソフトウェア科学 ,  理論計算機科学 ,  定理自動証明 ,  関数・論理型プログラミング言語 ,  項書き換えシステム
競争的資金等の研究課題 (13件)：
  • 2022 - 2025 無限項書換えシステムに対する定理自動証明の研究
  • 2009 - 2011 高階項書換えシステムの合流性自動検証に関する研究
  • 2005 - Confluence of higher-order rewrite systems
  • 2005 - Modularity of higher-order rewrite systems
  • 2000 - 2000 高階項書換え系の停止性に関する研究
全件表示
論文 (26件)：
  • 岩見 宗弘, 中野圭介. 木オートマトンと引数成長の概念を用いた組合せ子の停止性の反証. 第26回プログラミングおよびプログラミング言語ワークショップ発表予稿集. 2024. 1-15
  • 岩見 宗弘. 様々な組合せ子の非ω-強頭部正規化可能性・非基礎ループ性・非循環性. 情報処理学会論文誌プログラミング. 2023. 16. 3. 14-27
  • M. Ishizuka, T. Aoto, M. Iwami. Commutative Rational Term Rewriting. Proc. of the 15th International Conference on Language and Automata Theory and Applications, LATA 2021, LNCS 12638, Milan, Italy. 2021. 200-212
  • 石塚 守, 青戸 等人, 岩見 宗弘. 交換律による正則項書き換えにおける有限オートマトンの構成法とその応用. 第22回プログラミングおよびプログラミング言語ワークショップ発表予稿集. 2020. C1-17. 1-12
  • 岩見 宗弘. 正則項上の単一化について. コンピュータソフトウェア. 2018. 35. 4. 151-163
もっと見る
MISC (39件)：
  • 岩見宗弘. いくつかの組合せ子の非停止性. 日本ソフトウェア科学会 第40回大会講演論文集. 2023. 51-R. 1-6
  • 奥原智史, 岩見宗弘. 等式の両辺の単位が等しいかチェックするプログラムの実装. 情報処理学会第85回全国大会講演論文集. 2023. 1B-03. 1-185-1-186
  • 岩見宗弘. 様々な組合せ子のω-強頭部正規化可能性の反証. 第143回情報処理学会プログラミング研究会発表資料. 2023. 2022-5-(9). 1-15
  • 岩見 宗弘. 正則項の木変換器による書き換え. 日本ソフトウェア科学会第39回大会講演論文集. 2022. 1-9
  • 奈良井淳, 岩見宗弘. パズルを題材にしたJavaプログラミング教育の提案と実践. 令和元年度(第70回)電気・情報関連学会中国支部連合大会論文集. 2019
もっと見る
書籍 (3件)：
  • 論理・代数系・言語と計算機科学の周辺領域, 数理解析研究所講究録,2229,RIMS共同研究(公開型)
    京都大学数理解析研究所 2022
  • 論理・言語・代数系と計算機科学の周辺領域, 数理解析研究所講究録,2193,RIMS共同研究(公開型)
    京都大学数理解析研究所 2021
  • Termination of higher-order rewrite systems
    Ph.D. thesis, Japan Advanced Institute of Science and Technology, Japan 1999
講演・口頭発表等 (14件)：
  • Rewriting of Rational Terms by Tree Transducer Revisited II
    (59th TRS Meeting 2023)
  • Non-Termination of Some Combinators
    (59th TRS Meeting 2023)
  • Non-omega-Strong Head Normalization, Non-Ground Loop and Acyclic of Several Combinators
    (59th TRS Meeting 2023)
  • 様々な組合せ子のω-強頭部正規化可能性の反証
    (第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 2023)
  • Rewriting of Rational Terms by Tree Transducer Revisited
    (58th TRS Meeting 2023)
もっと見る
学歴 (3件)：
  • 1996 - 1999 北陸先端科学技術大学院大学 情報科学研究科,博士後期課程修了,博士(情報科学)
  • 1994 - 1996 北陸先端科学技術大学院大学 情報科学研究科,博士前期課程修了,修士(情報科学)
  • 1990 - 1994 東海大学 理学部 数学科卒業,学士(理学)
学位 (1件)：
  • 博士(情報科学) (北陸先端科学技術大学院大学)
経歴 (6件)：
  • 2018 - 現在 島根大学 学術研究院 理工学系 准教授
  • 2012 - 2018 島根大学 総合理工学研究科 情報システム学領域 准教授
  • 2012 - 2012 島根大学 総合理工学研究科 情報システム学領域 講師
  • 2008 - 2012 島根大学 総合理工学部 数理・情報システム学科 講師
  • 2007 - 2008 島根大学 総合理工学部 数理・情報システム学科 助教
全件表示
所属学会 (4件)：
Association for Computing Machinery (ACM) ,  情報処理学会 ,  電子情報通信学会 ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM