• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

岩見 宗弘  Iwami Munehiro

ORCIDORCID連携する *注記
研究者番号 70314614
その他のID
所属 (現在) 2025年度: 岩手県立大学, ソフトウェア情報学部, 准教授
所属 (過去の研究課題情報に基づく) *注記 2022年度 – 2023年度: 島根大学, 学術研究院理工学系, 准教授
2009年度 – 2011年度: 島根大学, 総合理工学部, 講師
2000年度: 島根大, 総合理工学部, 助手
審査区分/研究分野
研究代表者
小区分60010:情報学基礎論関連 / 情報学基礎 / 計算機科学
キーワード
研究代表者
無限項書換えシステム / 項書換えシステム / 定理自動証明 / 非循環性 / 非循環性・非停止性 / 非基礎ループ性 / 非ω-強頭部正規化可能性 / 組合せ子 / 木変換器 / 正則項 … もっと見る / 無限項書き換えシステム / 項書き換えシステム / 一般生成性 / 生成性 / 強収束性 / 強頭部正規化可能性 / 合流性 / 高階項書換えシステム 隠す
  • 研究課題

    (3件)
  • 研究成果

    (18件)
  •  無限項書換えシステムに対する定理自動証明の研究研究代表者

    • 研究代表者
      岩見 宗弘
    • 研究期間 (年度)
      2022 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60010:情報学基礎論関連
    • 研究機関
      島根大学
  •  高階項書換えシステムの合流性自動検証に関する研究研究代表者

    • 研究代表者
      岩見 宗弘
    • 研究期間 (年度)
      2009 – 2011
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      島根大学
  •  高階項書換え系の停止性に関する研究研究代表者

    • 研究代表者
      岩見 宗弘
    • 研究期間 (年度)
      2000
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      島根大学

すべて 2024 2023 2022 2012 2011 2010 2009

すべて 雑誌論文 学会発表

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

    • 著者名/発表者名
      岩見宗弘,中野圭介
    • 雑誌名

      第26回プログラミングおよびプログラミング言語ワークショップ発表予稿集

      巻: C1-18 ページ: 1-15

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22K11904
  • [雑誌論文] 様々な組合せ子の非ω-強頭部正規化可能性・非基礎ループ性・非循環性2023

    • 著者名/発表者名
      岩見宗弘
    • 雑誌名

      情報処理学会論文誌プログラミング

      巻: Vol. 16, No. 3 ページ: 14-27

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22K11904
  • [雑誌論文] いくつかの組合せ子の非停止性2023

    • 著者名/発表者名
      岩見宗弘
    • 雑誌名

      日本ソフトウェア科学会 第40回大会講演論文集

      巻: 51-R ページ: 1-6

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-22K11904
  • [雑誌論文] 様々な組合せ子のω-強頭部正規化可能性の反証2023

    • 著者名/発表者名
      岩見宗弘
    • 雑誌名

      第143回情報処理学会プログラミング研究会発表資料

      巻: 2022-5-(9) ページ: 1-15

    • データソース
      KAKENHI-PROJECT-22K11904
  • [雑誌論文] 正則項の木変換器による書き換え2022

    • 著者名/発表者名
      岩見宗弘
    • 雑誌名

      日本ソフトウェア科学会第39回大会講演論文集

      巻: PPL(1), 2-L ページ: 1-9

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-22K11904
  • [雑誌論文] 無限項書き換えシステムにおける強頭部正規化可能性および一般生成性の自動反証2012

    • 著者名/発表者名
      岩見宗弘, 青戸等人
    • 雑誌名

      コンピュータソフトウェア

      巻: Vol.29, No.1 ページ: 211-239

    • NAID

      130004549258

    • URL

      https://www.jstage.jst.go.jp/article/jssst/29/1/29_1_1_211/_pdf

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700017
  • [雑誌論文] 無限項書き換えシステムにおける性質に関する考察2011

    • 著者名/発表者名
      岩見宗弘, 青戸等人
    • 雑誌名

      数理解析研究所講究録

      巻: 1769 ページ: 153-157

    • データソース
      KAKENHI-PROJECT-21700017
  • [雑誌論文] 無限項書き換えシステムにおける性質に関する考察2011

    • 著者名/発表者名
      岩見宗弘, 青戸等人
    • 雑誌名

      京都大学数理解析研究所講究録

      巻: No.1769 ページ: 153-157

    • データソース
      KAKENHI-PROJECT-21700017
  • [雑誌論文] 左線形かつK-開発閉包な項書換えシステムの合流性に関する考察2010

    • 著者名/発表者名
      岩見宗弘
    • 雑誌名

      京都大学数理解析研究所講究録

      巻: No.1712 ページ: 156-161

    • データソース
      KAKENHI-PROJECT-21700017
  • [雑誌論文] 左線形かつK-開発閉包な項書換えシステムの合流性に関する考察2010

    • 著者名/発表者名
      岩見宗弘
    • 雑誌名

      数理解析研究所講究録

      巻: 1712 ページ: 156-161

    • データソース
      KAKENHI-PROJECT-21700017
  • [雑誌論文] 無限項書換えシステムにおける強頭部正規化可能性の反証手続き2010

    • 著者名/発表者名
      岩見宗弘, 青戸等人
    • 雑誌名

      第12回プログラミングおよびプログラミング言語ワークショップ論文集

      ページ: 261-273

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700017
  • [雑誌論文] 組合せ子の強収束性2009

    • 著者名/発表者名
      岩見宗弘
    • 雑誌名

      第8回情報科学技術フォーラム講演論文集

      ページ: 251-258

    • データソース
      KAKENHI-PROJECT-21700017
  • [学会発表] Rewriting of Rational Terms by Tree Transducer Revisited2023

    • 著者名/発表者名
      Munehiro Iwami
    • 学会等名
      58th TRS Meeting
    • データソース
      KAKENHI-PROJECT-22K11904
  • [学会発表] 様々な組合せ子のω-強頭部正規化可能性の反証2023

    • 著者名/発表者名
      岩見宗弘
    • 学会等名
      第25回プログラミングおよびプログラミング言語ワークショップ
    • データソース
      KAKENHI-PROJECT-22K11904
  • [学会発表] Rewriting of Rational Terms by Tree Transducer Revisited II2023

    • 著者名/発表者名
      Munehiro Iwami
    • 学会等名
      59th TRS Meeting
    • データソース
      KAKENHI-PROJECT-22K11904
  • [学会発表] Non-omega-Strong Head Normalization, Non-Ground Loop and Acyclic of Several Combinators2023

    • 著者名/発表者名
      Munehiro Iwami
    • 学会等名
      59th TRS Meeting
    • データソース
      KAKENHI-PROJECT-22K11904
  • [学会発表] Non-Termination of Some Combinators2023

    • 著者名/発表者名
      Munehiro Iwami
    • 学会等名
      59th TRS Meeting
    • データソース
      KAKENHI-PROJECT-22K11904
  • [学会発表] Rewriting of Rational Terms by Tree Transducer2022

    • 著者名/発表者名
      Munehiro Iwami
    • 学会等名
      57th TRS Meeting
    • データソース
      KAKENHI-PROJECT-22K11904

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi