岩手県立大学 · ソフトウェア情報学部 / ソフトウェア情報学研究科 · 准教授

研究キーワードcombinatory logic・combinatory calculus termination・tree automata・term rewriting systems・confluence analysis・strong normalization・O-like combinators・sole combinatory calculus

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 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 · 科研費（文科省・学振）獲得実績

• 公式プロフィール