Iwami Munehiro

イワミムネヒロ | Iwami Munehiro

Affiliation and department：
Job title： Associate Professor
Homepage URL (1)： http://www.cis.shimane-u.ac.jp/~munehiro/

Research field (1)： Information theory

Research keywords (5)：ソフトウェア科学 , 理論計算機科学 , Automated theorem proving , Functional and Logic programming languages , Term rewriting systems

Research theme for competitive and other funds (14)：

2022 - 2025 Automated Theorem Proving for Infinite Term Rewriting Systems
2009 - 2011 Proving confluence of higher-order term rewriting systems automatically
2005 - Confluence of higher-order rewrite systems
2005 - Modularity of higher-order rewrite systems
2000 - 2000 高階項書換え系の停止性に関する研究

Show all

Papers (26)：

岩見宗弘, 中野圭介. 木オートマトンと引数成長の概念を用いた組合せ子の停止性の反証. 第26回プログラミングおよびプログラミング言語ワークショップ発表予稿集. 2024. 1-15
Munehiro Iwami. Non-\omega-Strong Head Normalization, Non-Ground Loop and Acyclic of Several Combinators. IPSJ Transactions on Programming. 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

ｍore...

MISC (39)：

Munehiro Iwami. Non-Termination of Some Combinators. 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

ｍore...

Books (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

Lectures and oral presentations (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)

ｍore...

Education (3)：

1996 - 1999 Japan Advanced Institute of Science and Technology Graduate School, Division of Information Science
1994 - 1996 北陸先端科学技術大学院大学情報科学研究科,博士前期課程修了,修士(情報科学)
1990 - 1994 Tokai University School of Science Department of Mathematics

Professional career (1)：

Doctor of Philosophy (Information Science) (Japan Advanced Institute of Science and Technology)

Work history (6)：

2018 - 現在 Shimane University Associate Professor
2012 - 2018 Shimane University Associate Professor
2012 - 2012 Shimane University Associate Professor
2008 - 2012 Shimane University Interdisciplinary Faculty of Science and Engineering Department of Mathematics and Computer Science Associate Professor
2007 - 2008 Shimane University Interdisciplinary Faculty of Science and Engineering, Department of Mathematics and Computer Science Assitant Professor

Show all

Association Membership(s) (4)：

Association for Computing Machinery (ACM) , Information Processing Society of Japan (IPSJ) , IEICE , Japan Society for Software Science and Technology (JSSST)

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page