岩見宗弘 (Munehiro Iwami) - マイポータル

基本情報

所属: 岩手県立大学ソフトウェア情報学部准教授

学位: 博士（情報科学）(1999年3月北陸先端科学技術大学院大学)

連絡先: iwami_miwate-pu.ac.jp
研究者番号: 70314614
ORCID iD: https://orcid.org/0000-0001-9925-450X
J-GLOBAL ID: 200901016836106549
researchmap会員ID: 1000280154

外部リンク: https://munehiroiwami.github.io/

研究キーワード

研究分野

情報通信 / 情報学基礎論 /

経歴

2024年10月 - 現在

岩手県立大学, ソフトウェア情報学部, 准教授
2018年 - 2024年9月

島根大学, 学術研究院理工学系, 准教授
2012年 - 2018年

島根大学, 総合理工学研究科情報システム学領域, 准教授
2012年 - 2012年

島根大学, 総合理工学研究科情報システム学領域, 講師
2008年 - 2012年

島根大学, 総合理工学部数理・情報システム学科, 講師
2007年 - 2008年

島根大学, 総合理工学部数理・情報システム学科, 助教
1999年 - 2007年

島根大学, 総合理工学部数理・情報システム学科, 助手

学歴

1996年 - 1999年

北陸先端科学技術大学院大学, 情報科学研究科，博士後期課程修了，博士（情報科学）
1994年 - 1996年

北陸先端科学技術大学院大学, 情報科学研究科，博士前期課程修了，修士（情報科学）
1990年 - 1994年

東海大学, 理学部, 数学科卒業，学士（理学）

論文

Disproving Termination of O-like Combinators by Tree Automata

Munehiro Iwami, Keisuke Nakano

22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, SRC & Posters, extended abstract 1-4 2024年10月査読有り筆頭著者責任著者
Disproving Termination of Non-erasing Sole Combinatory Calculus with Tree Automata

Keisuke Nakano, Munehiro Iwami

Proc. of the 28th International Conference on Implementation and Application of Automata, CIAA 2024, LNCS 15015, Akita, Japan, Springer Nature Switzerland AG 1-15 2024年9月査読有り最終著者
Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)

Keisuke Nakano, Munehiro Iwami

arXiv:2406.14305v1 1-20 2024年6月最終著者
木オートマトンと引数成長の概念を用いた組合せ子の停止性の反証

岩見宗弘, 中野圭介

第26回プログラミングおよびプログラミング言語ワークショップ発表予稿集 1-15 2024年3月査読有り筆頭著者
様々な組合せ子の非ω-強頭部正規化可能性・非基礎ループ性・非循環性

岩見宗弘

情報処理学会論文誌プログラミング 16(3) 14-27 2023年8月査読有り筆頭著者
Commutative Rational Term Rewriting

M. Ishizuka, T. Aoto, M. Iwami

Proc. of the 15th International Conference on Language and Automata Theory and Applications, LATA 2021, LNCS 12638, Milan, Italy 200-212 2021年査読有り最終著者
交換律による正則項書き換えにおける有限オートマトンの構成法とその応用

石塚守, 青戸等人, 岩見宗弘

第22回プログラミングおよびプログラミング言語ワークショップ発表予稿集 C1-17 1-12 2020年査読有り最終著者
正則項上の単一化について

岩見宗弘

コンピュータソフトウェア 35(4) 151-163 2018年査読有り筆頭著者
Uniform Semi-Unification and Anchored Semi-Unification

M. Iwami

Informal Proc. of 29th International Workshop on Unification 25-29 2015年査読有り筆頭著者
Termination of Rule-Based Calculi for Uniform Semi-Unification

T. Aoto, M. Iwami

Proc. of the 7th International Conference on Language and Automata Theory and Applications, LATA 2013, Bilbao, Spain, LNCS 7810 56-67 2013年査読有り最終著者
無限項書き換えシステムにおける強頭部正規化可能性および一般生成性の自動反証

岩見宗弘, 青戸等人

コンピュータソフトウェア 29(1) 211-239 2012年査読有り筆頭著者
無限項書き換えシステムにおける強頭部正規化可能性の反証手続き

岩見宗弘, 青戸等人

第12回プログラミングおよびプログラミング言語ワークショップ論文集 261-273 2010年査読有り筆頭著者
組合せ子の非循環性と関連する性質について

岩見宗弘

情報処理学会論文誌プログラミング 2(2) 97-104 2009年査読有り筆頭著者
左線形かつK-開発閉包な項書換えシステムの合流性

岩見宗弘

電子情報通信学会論文誌 J90-D(10) 2932-2935 2007年査読有り筆頭著者
組合せ子Lの非循環性

岩見宗弘

第6回情報科学技術フォーラム講演論文集(FIT2007), 情報科学技術レターズ 6 25-26 2007年査読有り筆頭著者
An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited

M. Iwami

``Advances in Logic Based Intelligent Systems, Selected Papers of LAPTEC (5th The Congress of Logic Applied to Technology)'', Frontiers in Artificial Intelligence and its Applications 132 18-25 2005年査読有り筆頭著者
Persistence of termination for right-linear overlay term rewriting systems

M. Iwami

International Journal of Information Technology 1(4) 178-182 2004年査読有り
Persistence of termination for locally confluent overlay term rewriting sytems

M. Iwami

International Journal of Information Technology 1(3) 118-122 2004年査読有り筆頭著者
Persistence of termination for non-overlapping term rewriting sytems

M. Iwami

International Journal of Information Technology 1(2) 75-78 2004年査読有り
Persistence of semi-completeness for term rewriting systems

M. Iwami

International Journal of Information Technology 1(2) .62-65 2004年査読有り筆頭著者

もっとみる

MISC

一般的な組合せ子の非ω-強頭部正規化可能性・停止性・非基礎ループ性

岩見宗弘

日本ソフトウェア科学会第41回大会講演論文集 1c-2-R 1-13 2024年9月筆頭著者
小学生を対象とした少人数制オンラインScratchプログラミングにおける学習要因の調査と提案

釘本蓮, 岩見宗弘

情報処理学会第86回全国大会講演論文集 4ZM-02 4-955-4-956 2024年3月最終著者
いくつかの組合せ子の非停止性

岩見宗弘

日本ソフトウェア科学会第40回大会講演論文集 51-R 1-6 2023年9月筆頭著者
等式の両辺の単位が等しいかチェックするプログラムの実装

奥原智史, 岩見宗弘

情報処理学会第85回全国大会講演論文集 1B-03 1-185-1-186 2023年3月最終著者責任著者
様々な組合せ子のω-強頭部正規化可能性の反証

岩見宗弘

第143回情報処理学会プログラミング研究会発表資料 2022-5-(9) 1-15 2023年3月筆頭著者
正則項の木変換器による書き換え

岩見宗弘

日本ソフトウェア科学会第39回大会講演論文集 1-9 2022年8月筆頭著者
パズルを題材にしたJavaプログラミング教育の提案と実践

奈良井淳, 岩見宗弘

令和元年度(第70回)電気・情報関連学会中国支部連合大会論文集 2019年
一意半単一化と正則単一化の比較

岩見宗弘

京都大学数理解析研究所講究録 2130 80-84 2019年筆頭著者
正則項上の可換な単一化について

岩見宗弘

日本ソフトウェア科学会第34回大会論文集 1-10 2017年筆頭著者
正則項上の単一化について

岩見宗弘

京都大学数理解析研究所講究録 2051 106-115 2017年筆頭著者
単一化閉包に基づく単一化について

岩見宗弘

日本ソフトウェア科学会第33回大会論文集 1-6 2016年9月7日筆頭著者
半単一化問題の比較について

岩見宗弘

日本ソフトウェア科学会第32回大会論文集 1-6 2015年筆頭著者
一意半単一化問題とアンカー付き半単一化問題の比較

岩見宗弘

京都大学数理解析研究所講究録 1964 167-171 2015年筆頭著者
Uniform Semi-Unification

青戸等人, 岩見宗弘

数理解析研究所講究録 1915 161-165 2014年9月最終著者
Androidによるスマートフォン向け星座観測アプリの実装

田中陽子, 岩見宗弘

第63回電気・情報関連学会中国支部連合大会講演論文集 424-424 2012年最終著者
無限項書き換えシステムにおける性質に関する考察

岩見宗弘, 青戸等人

京都大学数理解析研究所講究録 (1769) 153-157 2011年筆頭著者
関数型言語によるPodcast ダウンローダの実装について

田中陽子, 岩見宗弘

第62回電気・情報関連学会中国支部連合大会講演論文集 34-35 2011年最終著者
左線形かつK-開発閉包な項書換えシステムの合流性に関する考察

岩見宗弘

京都大学数理解析研究所講究録 1712 156-161 2010年筆頭著者
組合せ子の非基礎ループ性

岩見宗弘

京都大学数理解析研究所講究録 1635 16-22 2009年筆頭著者
不動点組合せ子の非循環性と関連する性質について

岩見宗弘

京都大学数理解析研究所講究録 1655 96-100 2009年筆頭著者