|
職名 |
准教授 |
|
研究室住所 |
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月-継続中
日本ソフトウェア科学会 日本国
担当授業科目（学内） 【 表示 ／ 非表示 】
-
2025年度 コンピュータ工学演習Ⅰ
-
2025年度 ソフトウェア情報学総論【コンピュータ工学】
-
2025年度 プロジェクト演習Ⅰ（岩見クラス）
-
2025年度 プロジェクト演習Ⅱ（岩見クラス）
-
2025年度 項書き換えシステム特論
担当経験のある授業科目(学外) 【 表示 ／ 非表示 】
-
島根大学 理工学論
2024年04月-2024年07月 -
島根大学 記号論理学
2024年04月-2024年07月 -
島根大学 アルゴリズム基礎
2023年10月-2024年02月 -
島根大学 コンピュータサイエンス研究演習
2023年10月-2024年02月 -
島根大学 基礎データ構造演習
2023年10月-2024年02月
指導学生数及び学位記授与者数 【 表示 ／ 非表示 】
-
2024年度
卒業研究指導
: 0人
研究指導：博士（前期）課程
: 0人
研究指導：博士（後期）課程
: 0人
学位記授与者数：博士（前期）課程
: 0人
学位記授与者数：博士（後期）課程
: 0人
論文 【 表示 ／ 非表示 】
-
非消去かつ非消滅な組合せ子に対する逆書き換えの停止性と合流性
岩見 宗弘
日本ソフトウェア科学会第42回大会講演論文集 1b-3-R 1 - 7 2025年09月
研究論文（研究会，シンポジウム資料等）
単著 日本語
-
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月
研究論文（研究会，シンポジウム資料等）
単著 日本語
研究発表 【 表示 ／ 非表示 】
-
Disproving Termination of S-like Combinators by Tree Automata
国内会議 62nd TRS Meeting (Aichi Prefectural University) 口頭（一般）
2025年09月 -
Non-Termination and Non-Ground loop of Generalized Combinators
国際会議 61st TRS Meeting (Yamashiro-onsen Yunokuni Tensyo) 口頭（一般）
2025年03月 -
小学生を対象とした少人数制オンラインScratchプログラミングにおける 学習要因の調査と提案
国内会議 第27回プログラミングおよびプログラミング言語ワークショップ (ホテル明山荘) ポスター（一般）
2025年03月 -
一般的な組合せ子の停止性と非基礎ループ性
国内会議 第27回プログラミングおよびプログラミング言語ワークショップ (ホテル明山荘) ポスター（一般）
2025年03月 -
Disproving Termination of O-like Combinators by Tree Automata
国内会議 60th TRS Meeting (AIST Tokyo Waterfront Annex) 口頭（一般）
2024年10月
学術関係受賞 【 表示 ／ 非表示 】
-
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月-2025年03月 -
高階項書換えシステムの合流性自動検証に関する研究
若手研究(B)
2009年04月-2011年03月
共同研究希望テーマ 【 表示 ／ 非表示 】
-
定理自動証明に基づくプログラム検証
産学連携、民間を含む他機関等との共同研究等を希望する 受託研究
-
プログラミング教育
産学連携、民間を含む他機関等との共同研究等を希望する 受託研究
-
項書き換えシステムと定理自動証明に関する研究
大学等の研究機関との共同研究を希望する
学会における役職等 【 表示 ／ 非表示 】
-
2007年-継続中
Association for Computing Machinery (ACM) 会員
-
2003年-継続中
情報処理学会 会員
-
1999年-継続中
電子情報通信学会 会員
-
1997年-継続中
日本ソフトウェア科学会 会員
学会における活動 【 表示 ／ 非表示 】
-
2024年12月-継続中
情報処理学会 東北支部，支部委員
-
2022年01月-2022年02月
第24回プログラミングおよびプログラミング言語ワークショップ
-
2021年09月
55th TRS meeting
-
2021年02月
論理・言語・代数系と計算機科学の周辺領域
-
2019年10月
第70回電気・情報関連学会中国支部連合大会