岩見宗弘

: E-mail: iwami_m [at] iwate-pu [.] ac [.] jp

研究室: ソフトウェア情報学部・A棟3階研究室15
担当授業: プロジェクト演習（後期）
オフィスアワー: 火曜日 13：00～14：30
研究分野: 項書換えシステム, 関数・論理型プログラミング言語, 定理自動証明システム，プログラミング教育
研究内容: 等式による証明をリダクションにより効率的に実現するための基礎が書換えシステムの理論である。本研究室では、書換えシステムの様々な性質の解析を通じて、定理自動証明とプログラミング言語の基礎的研究を進めている。
○項書換えシステムの性質(合流性、停止性等)の解析とその応用
○関数・論理型プログラミング言語
○定理自動証明システム
○プログラム変換・合成・検証
また、学生とは主にプログラミング教育に関する研究に取り組んでいる。
博士論文 "Termination of higher-order rewrite systems," 北陸先端科学技術大学院大学, 情報科学研究科, 1999.
査読付き論文 M. Iwami, M. Sakai and Y. Toyama, "An improved recursive decomposition ordering for higher-order rewrite systems," IEICE Transactions on Information and Systems, Vol.E81-D, No.9, pp.988-996, 1998. M. Iwami and Y. Toyama, "Simplification ordering for higher-order rewrite systems," IPSJ Transactions on Programming, Vol.40, No.SIG 4 (PRO 3), pp.1-10, 1999. M. Iwami, "Persistence of termination for non-overlapping term rewriting systems," Proc. of 1st International Forum on Information and Computer Technology, Shizuoka University, Japan, pp.198-202, 2003. M. Iwami, "Persistence of termination of term rewriting systems with ordered sorts," Proc. of 5th JSSST Workshop on Programming and Programming Languages, Shizuoka, Japan, pp.47-56, 2003. M. Iwami, "Persistence of termination for locally confluent overlay term rewriting systems," Proc. of IASTED International Conference on Artificial Intelligence and Applications as part of the 22nd IASTED International Multi-Conference on APPLIED INFORMATICS, Innsbruck, Austria, ACTA Press, pp.529-534, 2004. M. Iwami, "An improved recursive decomposition ordering for term rewriting systems revisited," Advances in Logic Based Intelligent Systems, Frontiers in Artificial Intelligence and its Applications, vol. 132, (Proc. of 5th Congress on Logic Applied to Technology, University of Hyogo, Japan), IOS Press, pp.18-25, 2005. M. Iwami, "Confluence of left-linear and K-development closed term rewriting systems," IEICE Transactions on Information and Systems, Vol.J90-D, No.10, pp.2932-2935, 2007, (in Japanese). M. Iwami, "Acyclicity of combinator L," Forum on Information Technology 2007 (FIT 2007), Information Technology Letters, Vol.6, pp.25-26, 2007, (in Japanese). M. Iwami, "On the acyclic and related properties of combinators," IPSJ Transactions on Programming, Vol.2, No. 2, pp.97-104, 2009, (in Japanese). 岩見宗弘, 青戸等人, "無限項書き換えシステムにおける強頭部正規化可能性の反証手続き," 第12回プログラミングおよびプログラミング言語ワークショップ論文集, pp.261-273, 2010. 岩見宗弘, 青戸等人, "無限項書き換えシステムにおける強頭部正規化可能性および一般生成性の自動反証," コンピュータソフトウェア, Vol.29, No.1, pp.211-239, 2012. T. Aoto and M. Iwami, "Termination of Rule-Based Calculi for Uniform Semi-Unification", Proc. of the 7th International Conference on Language and Automata Theory and Applications, LATA 2013, Bilbao, Spain, LNCS 7810, pp.56-67, Springer-Verlag, 2013. [doi:10.1007/978-3-642-37064-9_7] M. Iwami, "Uniform Semi-Unification and Anchored Semi-Unification", Informal Proc. of 29th International Workshop on Unification, Warsaw, Poland, p.25, 2015. 岩見宗弘, "正則項上の単一化について," コンピュータソフトウェア, Vol.35, No.4, pp.151-163，2018. 石塚守, 青戸等人, 岩見宗弘, 交換律による正則項書き換えにおける有限オートマトンの構成法とその応用， 第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)論文集, 2020. M. Ishizuka, T. Aoto and 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, pp.200-212, Springer Nature Switzerland AG, 2021. [doi:10.1007/978-3-030-68195-1_15] 岩見宗弘, "様々な組合せ子の非ω-強頭部正規化可能性・非基礎ループ性・非循環性", 情報処理学会論文誌プログラミング, Vol.16, No.3, pp.14-27, 2023． 岩見宗弘, 中野圭介, "木オートマトンと引数成長の概念を用いた組合せ子の停止性の反証", 第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)論文集, 2024. K. Nakano and M. Iwami, "Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata", Proc. of the 28th International Conference on Implementation and Application of Automata, CIAA 2024, LNCS 15015, Akita, Japan, pp.261–275, Springer Nature Switzerland AG, 2024. [doi:10.1007/978-3-031-71112-1_19] M. Iwami and K. Nakano, "Disproving Termination of O-like Combinators by Tree Automata", Non-SRC Poster, APLAS 2024, extended abstract，4ページ, 2024, Kyoto, Japan. [Audience Award]
その他の論文 M. Iwami, M. Sakai and Y. Toyama, "Termination of higher-order rewrite systems," Proc. the Joint Conf. of Hokuriku Chapters of Institutes of Electrical Engineers, Japan, E-28, pp.314, 1995 (in Japanese). M. Iwami, M. Sakai and Y. Toyama, "On the termination of higher order rewrite systems," Technical Report of IEICE, COMP95-85, pp.113-122, 1996 (in Japanese). M. Iwami, M. Sakai and Y. Toyama, "Termination of higher-order rewrite systems," Proc. LA Symp., Summer, pp.55-60, 1996 (in Japanese). M. Iwami, M. Sakai and Y. Toyama, "An improved recursive decomposition ordering for higher-order rewrite systems," Technical Report of IEICE, COMP96-73, pp.17-24, 1997. M. Iwami and Y. Toyama, "On the persistency of termination of term rewriting systems with ordered sorts,'' Proc. 14th Conf. on Japan Society for Software Science and Technology, pp.357-360, 1997 (in Japanese). M. Iwami and Y. Toyama, ``Simplification ordering for higher-order rewrite systems,'' Research Report, IS-RR-98-0024F, School of Information Science, JAIST, 1998. M. Iwami and Y. Toyama, "Simplification ordering and higher-order recursive path ordering," LA Symp., Summer, pp.11-1-11-6, 1999. M. Iwami, "Persistence of termination for locally confluent overlay term rewriting systems," LA Symp., Summer, pp.23-1-23-8, 2003. M. Iwami, "Persistence of termination for non-overlapping term rewriting systems", RIMS, No. 1366, pp. 91-99, 2004. M. Iwami, "Persistence of termination for overlay term rewriting systems", RIMS, No. 1375, pp. 240-246, 2004. M. Iwami, "An improved recursive decomposition ordering for term rewriting systems revisited," RIMS, No. 1426, pp.126-132, 2005. 岩見宗弘, "組合せ子の強収束性," 第8回情報科学技術フォーラム講演論文集, pp.251-258, 2009. 岩見宗弘, "左線形かつK-開発閉包な項書換えシステムの合流性に関する考察," RIMS, No. 1712, pp.156-161, 2010. 岩見宗弘, 青戸等人, "無限項書き換えシステムにおける性質に関する考察," RIMS, No. 1769, pp.153-157, 2011. T. Aoto and M. Iwami, "Uniform Semi-Unification," RIMS, No. 1915, pp.161-165, 2014. 岩見宗弘, "半単一化問題の比較について，" 日本ソフトウェア科学会第32回大会論文集， PPL6-4, 6ページ, 2015. 岩見宗弘, "一意半単一化問題とアンカー付き半単一化問題の比較," RIMS, No. 1964, pp. 167-171, 2015. 岩見宗弘, "単一化閉包に基づく単一化について，" 日本ソフトウェア科学会第33回大会論文集， PPL4-3, 6ページ, 2016. 岩見宗弘, "正則項上の可換な単一化について," 日本ソフトウェア科学会第34回大会論文集， PPL4-3, 10ページ, 2017. 岩見宗弘, "正則項上の単一化について," RIMS, No. 2051, pp. 106-115, 2017. 岩見宗弘, "一意半単一化と正則単一化の比較，" RIMS, No. 2130, pp. 80-84, 2019． 岩見宗弘, "正則項の木変換器による書き換え," 日本ソフトウェア科学会第39回大会講演論文集, PPL(1), 2-L, 9ページ, 2022. 岩見宗弘, "様々な組合せ子のω-強頭部正規化可能性の反証," 第143回情報処理学会プログラミング研究会発表資料, 2022-5-(9), pp.1-15, 2023. 岩見宗弘, "いくつかの組合せ子の非停止性," 日本ソフトウェア科学会第40回大会講演論文集, 51-R, 6ページ, 2023. K. Nakano and M. Iwami, "Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (full version)", arXiv:2406.14305v1, 20 pages, full version of CIAA 2024, 2024. 岩見宗弘, "一般的な組合せ子の非ω-強頭部正規化可能性・停止性・非基礎ループ性", 日本ソフトウェア科学会第41回大会講演論文集, 1c-2-R, 13ページ, 2024．
学生との共同研究(学会発表)
所属学会 日本ソフトウェア科学会 (JSSST) 電子情報通信学会 (IEICE) 情報処理学会 (IPSJ) Association for Computing Machinery (ACM)
研究集会 59th TRS meeting, September 27-29, 2023, New Welcity IZUMO Logic, Algebraic system, Language and Related Areas in Computer Science, February 16-18, 2022, Online 55th TRS meeting, September 28-30, 2021, Online Logic, Language, Algebraic system and Related Areas in Computer Science, February 17-19, 2021, Online 47th TRS meeting, September 25-27, 2017, Matsue New Urban Hotel 36th TRS meeting, February 27-29, 2012, Shimane University 24th TRS meeting, April 2-4, 2004, Shimane University
略歴 学士(理学), 東海大学理学部数学科, 1994. 修士(情報科学), 北陸先端科学技術大学院大学情報科学研究科, 1996. 博士(情報科学), 北陸先端科学技術大学院大学情報科学研究科, 1999. 助手, 島根大学総合理工学部数理・情報システム学科, 1999-2007. 助教, 島根大学総合理工学部数理・情報システム学科, 2007-2008. 講師, 島根大学総合理工学部数理・情報システム学科, 2008-2012. 講師, 島根大学大学院総合理工学研究科情報システム学領域, 2012. 准教授, 島根大学大学院総合理工学研究科情報システム学領域, 2012-2018. 准教授, 島根大学学術研究院理工学系, 2018-2024. 准教授, 岩手県立大学ソフトウェア情報学部コンピュータ工学コース, 2024-.
リンク Researchers in Rewriting TRS Meeting Rewriting Researchers Forum （旧）東北大学電気通信研究所コンピューティング情報理論(外山研究室) 新潟大学工学部情報工学科 (青戸研究室) 名古屋大学工学部情報工学科 (酒井・西田研究室) 独立行政法人日本学術振興会 独立行政法人産業技術総合研究所関西センター 人工知能学会 日本数学会 京都大学数理解析研究所 国立情報学研究所 Research Institute for Symbolic Computation (RISC) ゲーデル学会 株式会社友隣社 ACIS AISB IASTED IEEE IFIP ISAI

ソフトウェア情報学部ホームページへ

Last modified: Nov. 29, 2024.
Munehiro Iwami

岩見 宗弘

岩見宗弘