|
職名 |
准教授 |
|
研究室住所 |
020-0693 岩手県滝沢市巣子152-52岩手県立大学ソフトウェア情報学部 |
|
メールアドレス |
|
|
ホームページ |
岩見 宗弘 (イワミ ムネヒロ)
IWAMI Munehiro
|
|
|
出身大学院 【 表示 ／ 非表示 】
-
1994年04月-1996年03月
北陸先端科学技術大学院大学 情報科学研究科 修士課程 修了 日本国
-
1996年04月-1999年03月
北陸先端科学技術大学院大学 情報科学研究科 博士課程 修了 日本国
取得学位 【 表示 ／ 非表示 】
-
東海大学 - 学士(理学) 大学評価・学位授与機構
-
北陸先端科学技術大学院大学 - 修士(情報科学) 大学評価・学位授与機構
-
北陸先端科学技術大学院大学 - 博士(情報科学) 課程
学外略歴 【 表示 ／ 非表示 】
-
1999年04月-2007年
島根大学 総合理工学部 助手
-
2007年-2008年
島根大学 総合理工学部 助教
-
2008年-2012年
島根大学 総合理工学研究科 講師
-
2012年-2018年
島根大学 総合理工学研究科 准教授
-
2018年-2024年09月
島根大学 学術研究院 理工学系 准教授
所属学会・委員会 【 表示 ／ 非表示 】
-
2007年04月-継続中
Association for Computing Machinery (ACM) 日本国
-
2003年04月-継続中
情報処理学会 日本国
-
1999年04月-継続中
電子情報通信学会 日本国
-
1997年08月-継続中
日本ソフトウェア科学会 日本国
担当経験のある授業科目(学外) 【 表示 ／ 非表示 】
-
島根大学 理工学論
2024年04月-2024年07月 -
島根大学 記号論理学
2024年04月-2024年07月 -
島根大学 アルゴリズム基礎
2023年10月-2024年02月 -
島根大学 コンピュータサイエンス研究演習
2023年10月-2024年02月 -
島根大学 基礎データ構造演習
2023年10月-2024年02月
論文 【 表示 ／ 非表示 】
-
Disproving Termination of O-like Combinators by Tree Automata
Munehiro Iwami, Keisuke Nakano
Non-SRC Posters, APLAS 2024, extended abstract 1 - 4 2024年10月
研究論文（その他学術会議資料等）
共著 英語
-
一般的な組合せ子の非ω-強頭部正規化可能性・停止性・非基礎ループ性
岩見宗弘
日本ソフトウェア科学会第41回大会講演論文集 1c-2-R 1 - 13 2024年09月
研究論文（研究会，シンポジウム資料等）
単著 日本語
-
木オートマトンと引数成長の概念を用いた組合せ子の停止性の反証
岩見宗弘，中野圭介
第26回プログラミングおよびプログラミング言語ワークショップ発表予稿集 C1-18 1 - 15 2024年
研究論文（研究会，シンポジウム資料等）
共著 日本語
-
Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata
Keisuke Nakano and Munehiro Iwami
Proc. of the 28th International Conference on Implementation and Application of Automata, CIAA 2024, Akita, Japan, LNCS 15015 261 - 275 2024年
研究論文（国際会議プロシーディングス）
共著 英語
DOI： 10.1007/978-3-031-71112-1_19
研究発表 【 表示 ／ 非表示 】
-
Disproving Termination of O-like Combinators by Tree Automata
国内会議 60th TRS Meeting (AIST Tokyo Waterfront Annex) 口頭（一般）
2024年10月 -
Non-Termination of Some Combinators
国内会議 59th TRS Meeting (ニューウェルシティ出雲) 口頭（一般）
2024年09月 -
Non-omega-Strong Head Normalization, Non-Ground Loop and Acyclic of Several Combinators
国内会議 59th TRS Meeting (ニューウェルシティ出雲) 口頭（一般）
2024年09月 -
Preservation of Rationality in Infinitary Rewriting by Top-Down Tree Transducers
国際会議 18th International Conference on Reachability Problems (RP 2024) (Vienna, Austria) 口頭（一般）
2024年09月 -
Preservation of Rationality in Infinitary Rewriting by Top-Down Tree Transducers
国際会議 18th International Conference on Reachability Problems (RP 2024) (Vienna, Austria) 口頭（一般）
2024年09月
学術関係受賞 【 表示 ／ 非表示 】
-
Audience Award, Non-SRC Poster, APLAS 2024
2024年10月24日 22nd Asian Symposium on Programming Languages and Systems 国際学会・会議・シンポジウム等の賞 日本国
受賞者： Munehiro Iwami, Keisuke Nakano
科研費（文科省・学振）獲得実績 【 表示 ／ 非表示 】
-
無限項書換えシステムに対する定理自動証明の研究
基盤研究(C)
2022年04月-継続中 -
高階項書換えシステムの合流性自動検証に関する研究
若手研究(B)
2009年04月-2011年03月
共同研究希望テーマ 【 表示 ／ 非表示 】
-
プログラミング教育
産学連携、民間を含む他機関等との共同研究等を希望する 受託研究
-
定理自動証明に基づくプログラム検証
産学連携、民間を含む他機関等との共同研究等を希望する 受託研究
-
項書き換えシステムと定理自動証明に関する研究
大学等の研究機関との共同研究を希望する
学会における役職等 【 表示 ／ 非表示 】
-
2007年-継続中
Association for Computing Machinery (ACM) 会員
-
2003年-継続中
情報処理学会 会員
-
1999年-継続中
電子情報通信学会 会員
-
1997年-継続中
日本ソフトウェア科学会 会員
学会における活動 【 表示 ／ 非表示 】
-
2022年01月-2022年02月
第24回プログラミングおよびプログラミング言語ワークショップ
-
2021年09月
55th TRS meeting
-
2021年02月
論理・言語・代数系と計算機科学の周辺領域
-
2019年10月
第70回電気・情報関連学会中国支部連合大会
-
2017年12月
14th International Symposium on Functional and Logic Programming(FLOPS2018),