Iwate Prefectural University · Faculty of Software and Information Science / Graduate School of Software and Information Science · 准教授

Research keywordscombinatory logic・combinatory calculus termination・tree automata・term rewriting systems・confluence analysis・strong normalization・O-like combinators・sole combinatory calculus

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Disproving the Termination of O and S-like Combinators by Tree Automata M. Iwami and K. Nakano Journal of Information Processing 34 39 - 44 2026年01月 研究論文（学術雑誌） 共著 英語 DOI： https://doi.org/10.2197/ipsjjip.34.39 Permalink DOI2026 · 論文
• 非消去かつ非消滅な組合せ子に対する逆書き換えの停止性と合流性 岩見 宗弘 日本ソフトウェア科学会第42回大会講演論文集 1b-3-R 1 - 7 2025年09月 研究論文（研究会，シンポジウム資料等） 単著 日本語 Permalink2025 · 論文
• 一般的な組合せ子の非ω-強頭部正規化可能性・停止性・非基礎ループ性 岩見宗弘 日本ソフトウェア科学会第41回大会講演論文集 1c-2-R 1 - 13 2024年09月 研究論文（研究会，シンポジウム資料等） 単著 日本語2024 · 論文
• Disproving Termination of O-like Combinators by Tree Automata Munehiro Iwami, Keisuke Nakano Non-SRC Posters, APLAS 2024, extended abstract 1 - 4 2024年10月 研究論文（その他学術会議資料等） 共著 英語 Permalink2024 · 論文

• 無限項書換えシステムに対する定理自動証明の研究 基盤研究(C) 2022年04月 - 2025年03月2022 · 科研費（文科省・学振）獲得実績
• 高階項書換えシステムの合流性自動検証に関する研究 若手研究(B) 2009年04月 - 2011年03月2009 · 科研費（文科省・学振）獲得実績

• Official profile