English page

岩見 宗弘

E-mail: munehiro [at] cis [.] shimane-u [.] ac [.] jp

研究室
1号館情報科学棟2階206号室

担当授業
情報科学C4(前期), 情報科学C5(前期), 基礎データ構造演習(前期), 記号論理学(後期), コンピュータサイエンス研究実習(後期), 卒業研究(通年), 理論計算学特論(後期, 大学院), 特別研究(通年),セミナー(通年)

オフィスアワー
水曜日 16:15~17:45

研究分野
項書換えシステム, 関数・論理型プログラミング言語, 定理自動証明システム

研究内容
等式による証明をリダクションにより効率的に実現するための基礎が書換えシステムの理論である。本研究室では、書換えシステムの様々な性質の解析を通じて、プログラミング言語の基礎的研究を進めている。
○項書換えシステムの性質(合流性、停止性等)の解析とその応用
○関数・論理型プログラミング言語
○定理自動証明システム
○プログラム変換・合成・検証

研究室について(学内アクセスのみ)

博士論文
    "Termination of higher-order rewrite systems," 北陸先端科学技術大学院大学, 情報科学研究科, 1999.

査読付き論文
  1. M. Iwami, M. Sakai and Y. Toyama,
    "An improved recursive decomposition ordering for higher-order rewrite systems,"
    IEICE Transactions on Information and Systems, Vol.E81-D, No.9, pp.988-996, 1998.
  2. M. Iwami and Y. Toyama,
    "Simplification ordering for higher-order rewrite systems,"
    IPSJ Transactions on Programming, Vol.40, No.SIG 4 (PRO 3), pp.1-10, 1999.
  3. M. Iwami,
    "Persistence of termination for non-overlapping term rewriting systems,"
    Proc. of 1st International Forum on Information and Computer Technology, Shizuoka University, Japan, pp.198-202, 2003.
  4. M. Iwami,
    "Persistence of termination of term rewriting systems with ordered sorts,"
    Proc. of 5th JSSST Workshop on Programming and Programming Languages, Shizuoka, Japan, pp.47-56, 2003.
  5. M. Iwami,
    "Persistence of termination for locally confluent overlay term rewriting systems,"
    Proc. of IASTED International Conference on Artificial Intelligence and Applications
    as part of the 22nd IASTED International Multi-Conference on APPLIED INFORMATICS,
    Innsbruck, Austria, ACTA Press, pp.529-534, 2004.
  6. M. Iwami,
    "An improved recursive decomposition ordering for term rewriting systems revisited,"
    Advances in Logic Based Intelligent Systems, Frontiers in Artificial Intelligence and its Applications, vol. 132,
    (Proc. of 5th Congress on Logic Applied to Technology, University of Hyogo, Japan), IOS Press, pp.18-25, 2005.
  7. M. Iwami,
    "Confluence of left-linear and K-development closed term rewriting systems,"
    IEICE Transactions on Information and Systems, Vol.J90-D, No.10, pp.2932-2935, 2007, (in Japanese).
  8. M. Iwami,
    "Acyclicity of combinator L,"
    Forum on Information Technology 2007 (FIT 2007), Information Technology Letters, Vol.6, pp.25-26, 2007, (in Japanese).
  9. M. Iwami,
    "On the acyclic and related properties of combinators,"
    IPSJ Transactions on Programming, Vol.2, No. 2, pp.97-104, 2009, (in Japanese).
  10. 岩見宗弘, 青戸等人,
    "無限項書き換えシステムにおける強頭部正規化可能性の反証手続 き,"
    第12回プログラミングおよびプログラミング言語ワークショップ 論文集, pp.261-273, 2010.
  11. 岩見宗弘, 青戸等人,
    "無限項書き換えシステムにおける強頭部正規化可能性および一般 生成性の自動反証,"
    コンピュータソフトウェア, Vol.29, No.1, pp.211-239, 2012.
  12. T. Aoto and M. Iwami,
    "Termination of Rule-Based Calculi for Uniform Semi-Unification",
    Proc. 7th International Conference on Language and Automata Theory and Applications,
    LATA 2013, Bilbao, Spain, LNCS 7810, pp.56-67, Springer-Verlag, 2013. [doi:10.1007/978-3-642-37064-9_7]
  13. M. Iwami,
    "Uniform Semi-Unification and Anchored Semi-Unification",
    Informal Proc. of 29th International Workshop on Unification, Warsaw, Poland, p.25, 2015.

その他の論文
  1. M. Iwami, M. Sakai and Y. Toyama,
    "Termination of higher-order rewrite systems,"
    Proc. the Joint Conf. of Hokuriku Chapters of Institutes of Electrical Engineers, Japan, E-28, pp.314, 1995 (in Japanese).
  2. M. Iwami, M. Sakai and Y. Toyama,
    "On the termination of higher order rewrite systems,"
    Technical Report of IEICE, COMP95-85, pp.113-122, 1996 (in Japanese).
  3. M. Iwami, M. Sakai and Y. Toyama,
    "Termination of higher-order rewrite systems,"
    Proc. LA Symp., Summer, pp.55-60, 1996 (in Japanese).
  4. M. Iwami, M. Sakai and Y. Toyama,
    "An improved recursive decomposition ordering for higher-order rewrite systems,"
    Technical Report of IEICE, COMP96-73, pp.17-24, 1997.
  5. M. Iwami and Y. Toyama,
    "On the persistency of termination of term rewriting systems with ordered sorts,''
    Proc. 14th Conf. on Japan Society for Software Science and Technology, pp.357-360, 1997 (in Japanese).
  6. M. Iwami and Y. Toyama,
    ``Simplification ordering for higher-order rewrite systems,''
    Research Report, IS-RR-98-0024F, School of Information Science, JAIST, 1998.
  7. M. Iwami and Y. Toyama,
    "Simplification ordering and higher-order recursive path ordering,"
    LA Symp., Summer, pp.11-1-11-6, 1999.
  8. M. Iwami,
    "Persistence of termination for locally confluent overlay term rewriting systems,"
    LA Symp., Summer, pp.23-1-23-8, 2003.
  9. M. Iwami,
    "Persistence of termination for non-overlapping term rewriting systems",
    RIMS, No. 1366, pp. 91-99, 2004.
  10. M. Iwami,
    "Persistence of termination for overlay term rewriting systems",
    RIMS, No. 1375, pp. 240-246, 2004.
  11. M. Iwami,
    "An improved recursive decomposition ordering for term rewriting systems revisited,"
    RIMS, No. 1426, pp.126-132, 2005.
  12. 岩見宗弘,
    "組合せ子の強収束性,"
    第8回情報科学技術フォーラム講演論文集, pp.251-258, 2009.
  13. 岩見宗弘,
    "左線形かつK-開発閉包な項書換えシステムの合流性に関する考察,"
    RIMS, No. 1712, pp.156-161, 2010.
  14. 岩見宗弘, 青戸等人,
    "無限項書き換えシステムにおける性質に関する考察,"
    RIMS, No. 1769, pp.153-157, 2011.
  15. T. Aoto and M. Iwami,
    "Uniform Semi-Unification,"
    RIMS, No. 1915, pp.161-165, 2014.
  16. 岩見宗弘,
    "半単一化問題の比較について,"
    日本ソフトウェア科学会第32回大会論文集, PPL6-4, 6ページ, 2015.
  17. 岩見宗弘,
    "一意半単一化問題とアンカー付き半単一化問題の比較,"
    RIMS, No. 1964, pp. 167-171, 2015.
  18. 岩見宗弘,
    "単一化閉包に基づく単一化について,"
    日本ソフトウェア科学会第33回大会論文集, PPL4-3, 6ページ, 2016.

所属学会
    日本ソフトウェア科学会
    電子情報通信学会
    情報処理学会
    European Association for Theoretical Computer Science (EATCS)
    Association for Computing Machinery (ACM)

研究集会
    36th TRS meeting, February 27-29, 2012, Shimane University
    24th TRS meeting, April 2-4, 2004, Shimane University
    25th TRS meeting, November 26-27, 2004, Mie University

略歴
    学士(理学), 東海大学 理学部 数学科, 1994.
    修士(情報科学), 北陸先端科学技術大学院大学 情報科学研究科, 1996.
    博士(情報科学), 北陸先端科学技術大学院大学 情報科学研究科, 1999.
    助手, 島根大学 総合理工学部 数理・情報システム学科, 1999-2007.
    助教, 島根大学 総合理工学部 数理・情報システム学科, 2007-2008.
    講師, 島根大学 総合理工学部 数理・情報システム学科, 2008-2012.
    講師, 島根大学 大学院総合理工学研究科 情報システム学領域, 2012.
    准教授, 島根大学 大学院総合理工学研究科 情報システム学領域, 2012-.

リンク
    Researchers in Rewriting
    TRS Meeting
    Rewriting Researchers Forum
    東北大学 電気通信研究所 コンピューティング情報理論(外山研究室)
    新潟大学 工学部 情報工学科 (青戸研究室)
    名古屋大学 工学部 情報工学科 (酒井・関研究室)
    独立行政法人 日本学術振興会
    独立行政法人 産業技術総合研究所 関西センター
    人工知能学会
    日本数学会
    京都大学数理解析研究所
    国立情報学研究所
    Research Institute for Symbolic Computation (RISC)
    ゲーデル学会
    株式会社 友隣社
    ACIS
    AISB
    IASTED
    IEEE
    IFIP
    ISAI
情報分野ホームページへ
Last modified: Mar. 17, 2017.
Munehiro Iwami