Iwami Munehiro 岩見宗弘

… Alternative Names

IWAMI Munehiro 岩見宗弘

岩見宗弘イワミムネヒロ

Less

Researcher Number	70314614
Other IDs
Affiliation (Current)	2026: 岩手県立大学, ソフトウェア情報学部, 准教授
Affiliation (based on the past Project Information) *help	2024: 岩手県立大学, ソフトウェア情報学部, 准教授 2022 – 2023: 島根大学, 学術研究院理工学系, 准教授 2009 – 2011: Shimane University, 総合理工学部, 講師 2000: 島根大, 総合理工学部, 助手
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / Fundamental theory of informatics / 計算機科学
Keywords	Principal Investigator 無限項書換えシステム / 項書換えシステム / 定理自動証明 / 非循環性 / 非循環性・非停止性 / 非基礎ループ性 / 停止性 / 非ω-強頭部正規化可能性 / 組合せ子 / 木変換器 … More / 正則項 / 無限項書き換えシステム / 項書き換えシステム / 一般生成性 / 生成性 / 強収束性 / 強頭部正規化可能性 / 合流性 / 高階項書換えシステム Less

Automated Theorem Proving for Infinite Term Rewriting SystemsPrincipal Investigator
- Principal Investigator
  
  Iwami Munehiro
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Iwate Prefectural University
  Shimane University
Proving confluence of higher-order term rewriting systems automaticallyPrincipal Investigator
- Principal Investigator
  
  IWAMI Munehiro
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Shimane University
高階項書換え系の停止性に関する研究Principal Investigator
- Principal Investigator
  
  岩見宗弘
- Project Period (FY)
  2000
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Shimane University

All 2025 2024 2023 2022 2012 2011 2010 2009

All Journal Article Presentation

[Journal Article] 一般的な組合せ子の非ω-強頭部正規化可能性・停止性・非基礎ループ性2024
- Author(s)
  岩見宗弘
- Journal Title
  
  日本ソフトウェア科学会第41回大会講演論文集
  
  Volume: 1c-2-R
- Open Access
- Data Source
  KAKENHI-PROJECT-22K11904
[Journal Article] 木オートマトンと引数成長の概念を用いた組合せ子の停止性の反証2024
- Author(s)
  岩見宗弘，中野圭介
- Journal Title
  
  第26回プログラミングおよびプログラミング言語ワークショップ発表予稿集
  
  Volume: C1-18 Pages: 1-15
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22K11904
[Journal Article] Disproving Termination of Non-erasing Sole Combinatory Calculus with Tree Automata2024
- Author(s)
  Nakano Keisuke, Iwami Munehiro
- Journal Title
  
  International Conference Implementation and Application of Automata (CIAA 2024), Lecture Notes in Computer Science
  
  Volume: 15015 Pages: 261-275
- DOI
  10.1007/978-3-031-71112-1_19
- ISBN
  9783031711114, 9783031711121
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22H00520, KAKENHI-PROJECT-21K11744, KAKENHI-PROJECT-22K11904
[Journal Article] Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (full version)2024
- Author(s)
  Keisuke Nakano and Munehiro Iwami
- Journal Title
  
  arXiv
  
  Volume: 2406.14305v1
- Open Access
- Data Source
  KAKENHI-PROJECT-22K11904
[Journal Article] Disproving Termination of O-like Combinators by Tree Automata2024
- Author(s)
  Munehiro Iwami and Keisuke Nakano
- Journal Title
  
  Non-SRC Poster, 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, extended abstract
  
  Volume: 7
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K11904
[Journal Article] いくつかの組合せ子の非停止性2023
- Author(s)
  岩見宗弘
- Journal Title
  
  日本ソフトウェア科学会第40回大会講演論文集
  
  Volume: 51-R Pages: 1-6
- Open Access
- Data Source
  KAKENHI-PROJECT-22K11904
[Journal Article] 様々な組合せ子の非ω-強頭部正規化可能性・非基礎ループ性・非循環性2023
- Author(s)
  岩見宗弘
- Journal Title
  
  情報処理学会論文誌プログラミング
  
  Volume: Vol. 16, No. 3 Pages: 14-27
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22K11904
[Journal Article] 様々な組合せ子のω-強頭部正規化可能性の反証2023
- Author(s)
  岩見宗弘
- Journal Title
  
  第143回情報処理学会プログラミング研究会発表資料
  
  Volume: 2022-5-(9) Pages: 1-15
- Data Source
  KAKENHI-PROJECT-22K11904
[Journal Article] 正則項の木変換器による書き換え2022
- Author(s)
  岩見宗弘
- Journal Title
  
  日本ソフトウェア科学会第39回大会講演論文集
  
  Volume: PPL(1), 2-L Pages: 1-9
- Open Access
- Data Source
  KAKENHI-PROJECT-22K11904
[Journal Article] 無限項書き換えシステムにおける強頭部正規化可能性および一般生成性の自動反証2012
- Author(s)
  岩見宗弘, 青戸等人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.29, No.1 Pages: 211-239
- NAID
  130004549258
- URL
  https://www.jstage.jst.go.jp/article/jssst/29/1/29_1_1_211/_pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700017
[Journal Article] 無限項書き換えシステムにおける性質に関する考察2011
- Author(s)
  岩見宗弘, 青戸等人
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1769 Pages: 153-157
- Data Source
  KAKENHI-PROJECT-21700017
[Journal Article] 無限項書き換えシステムにおける性質に関する考察2011
- Author(s)
  岩見宗弘, 青戸等人
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: No.1769 Pages: 153-157
- Data Source
  KAKENHI-PROJECT-21700017
[Journal Article] 左線形かつK-開発閉包な項書換えシステムの合流性に関する考察2010
- Author(s)
  岩見宗弘
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: No.1712 Pages: 156-161
- Data Source
  KAKENHI-PROJECT-21700017
[Journal Article] 左線形かつK-開発閉包な項書換えシステムの合流性に関する考察2010
- Author(s)
  岩見宗弘
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1712 Pages: 156-161
- Data Source
  KAKENHI-PROJECT-21700017
[Journal Article] 無限項書換えシステムにおける強頭部正規化可能性の反証手続き2010
- Author(s)
  岩見宗弘, 青戸等人
- Journal Title
  
  第12回プログラミングおよびプログラミング言語ワークショップ論文集
  
  Pages: 261-273
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700017
[Journal Article] 組合せ子の強収束性2009
- Author(s)
  岩見宗弘
- Journal Title
  
  第8回情報科学技術フォーラム講演論文集
  
  Pages: 251-258
- Data Source
  KAKENHI-PROJECT-21700017
[Presentation] Termination and Non-Ground Loop of Generalized Combinators2025
- Author(s)
  Munehiro Iwami
- Organizer
  61st TRS Meeting
- Data Source
  KAKENHI-PROJECT-22K11904
[Presentation] 一般的な組合せ子の停止性と非基礎ループ性2025
- Author(s)
  岩見宗弘
- Organizer
  第27回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-22K11904
[Presentation] Disproving Termination of O-like Combinators by Tree Automata2024
- Author(s)
  Munehiro Iwami
- Organizer
  60th TRS Meeting
- Data Source
  KAKENHI-PROJECT-22K11904
[Presentation] Preservation of Rationality in Infinitary Rewriting by Top-Down Tree Transducers2024
- Author(s)
  Munehiro Iwami and Takahito Aoto
- Organizer
  18th International Conference on Reachability Problems, RP 2024
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11904
[Presentation] 様々な組合せ子のω-強頭部正規化可能性の反証2023
- Author(s)
  岩見宗弘
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-22K11904
[Presentation] Non-Termination of Some Combinators2023
- Author(s)
  Munehiro Iwami
- Organizer
  59th TRS Meeting
- Data Source
  KAKENHI-PROJECT-22K11904
[Presentation] Rewriting of Rational Terms by Tree Transducer Revisited II2023
- Author(s)
  Munehiro Iwami
- Organizer
  59th TRS Meeting
- Data Source
  KAKENHI-PROJECT-22K11904
[Presentation] Rewriting of Rational Terms by Tree Transducer Revisited2023
- Author(s)
  Munehiro Iwami
- Organizer
  58th TRS Meeting
- Data Source
  KAKENHI-PROJECT-22K11904
[Presentation] Non-omega-Strong Head Normalization, Non-Ground Loop and Acyclic of Several Combinators2023
- Author(s)
  Munehiro Iwami
- Organizer
  59th TRS Meeting
- Data Source
  KAKENHI-PROJECT-22K11904
[Presentation] Rewriting of Rational Terms by Tree Transducer2022
- Author(s)
  Munehiro Iwami
- Organizer
  57th TRS Meeting
- Data Source
  KAKENHI-PROJECT-22K11904

1. NAKANO Keisuke

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Iwami Munehiro 岩見 宗弘

IWAMI Munehiro 岩見 宗弘

岩見 宗弘 イワミ ムネヒロ

Research Projects

Research Products

Co-Researchers

Automated Theorem Proving for Infinite Term Rewriting SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Proving confluence of higher-order term rewriting systems automaticallyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

高階項書換え系の停止性に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Author(s)

Journal Title

Data Source

[Journal Article] 木オートマトンと引数成長の概念を用いた組合せ子の停止性の反証2024

Author(s)

Journal Title

Data Source

[Journal Article] Disproving Termination of Non-erasing Sole Combinatory Calculus with Tree Automata2024

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (full version)2024

Author(s)

Journal Title

Data Source

[Journal Article] Disproving Termination of O-like Combinators by Tree Automata2024

Author(s)

Journal Title

Data Source

[Journal Article] いくつかの組合せ子の非停止性2023

Author(s)

Journal Title

Data Source

[Journal Article] 様々な組合せ子の非ω-強頭部正規化可能性・非基礎ループ性・非循環性2023

Author(s)

Journal Title

Data Source

[Journal Article] 様々な組合せ子のω-強頭部正規化可能性の反証2023

Author(s)

Journal Title

Data Source

[Journal Article] 正則項の木変換器による書き換え2022

Author(s)

Journal Title

Data Source

[Journal Article] 無限項書き換えシステムにおける強頭部正規化可能性および一般生成性の自動反証2012

Author(s)

Journal Title

NAID

URL

Data Source

[Journal Article] 無限項書き換えシステムにおける性質に関する考察2011

Author(s)

Journal Title

Data Source

[Journal Article] 無限項書き換えシステムにおける性質に関する考察2011

Author(s)

Journal Title

Data Source

[Journal Article] 左線形かつK-開発閉包な項書換えシステムの合流性に関する考察2010

Author(s)

Journal Title

Data Source

Iwami Munehiro 岩見宗弘

IWAMI Munehiro 岩見宗弘

岩見宗弘イワミムネヒロ