• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Ikebuchi Mirai  池渕 未来

ORCIDConnect your ORCID iD *help
Researcher Number 70961796
Other IDs
Affiliation (Current) 2026: 京都大学, 情報学研究科, 助教
Affiliation (based on the past Project Information) *help 2023 – 2025: 京都大学, 情報学研究科, 助教
Review Section/Research Field
Principal Investigator
Basic Section 60050:Software-related
Except Principal Investigator
Medium-sized Section 60:Information science, computer engineering, and related fields / Basic Section 60050:Software-related
Keywords
Principal Investigator
定理証明支援系 / 自動定理証明 / 循環証明 / 証明支援系 / 項書換え系
Except Principal Investigator
形式検証 / プログラム検証 / ソフトウェア / 人工知能 / 形式手法 … More / 機械学習 / 強化学習 / IoT / PDR / モニタリング / ブラックボックス検査 / モデル検査 / ハイブリッドシステム / ソフトウエア契約 / ソフトウェア契約 / 相互運用性 / プログラミング言語 Less
  • Research Projects

    (4 results)
  • Research Products

    (7 results)
  • Co-Researchers

    (7 People)
  •  AIを含むソフトウェアのための形式検証手法

    • Principal Investigator
      末永 幸平
    • Project Period (FY)
      2025 – 2029
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Review Section
      Medium-sized Section 60:Information science, computer engineering, and related fields
    • Research Institution
      Kyoto University
  •  項書換系の技術の定理証明支援系への応用Principal Investigator

    • Principal Investigator
      池渕 未来
    • Project Period (FY)
      2024 – 2028
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Kyoto University
  •  Research on software contracts for highly interoperable software modules

    • Principal Investigator
      五十嵐 淳
    • Project Period (FY)
      2020 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Review Section
      Medium-sized Section 60:Information science, computer engineering, and related fields
    • Research Institution
      Kyoto University
  •  Enhancement of Formal Verification for IoT Systems

    • Principal Investigator
      Suenaga Kohei
    • Project Period (FY)
      2019 – 2023
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Kyoto University

All 2025 2024

All Presentation

  • [Presentation] Homological methods to higher-order equational theories2025

    • Author(s)
      池渕未来
    • Organizer
      Boston University Principles of Programming and Verification
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24K20758
  • [Presentation] Homological study of equational logic2025

    • Author(s)
      池渕未来
    • Organizer
      第6回理研AIP 数学系合同セミナー
    • Invited
    • Data Source
      KAKENHI-PROJECT-24K20758
  • [Presentation] Quillen cohomology of small cartesian closed categories2025

    • Author(s)
      池渕未来
    • Organizer
      MIT Topology Seminar
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24K20758
  • [Presentation] Quillen Homology of Algebraic Theories and its Application2024

    • Author(s)
      池渕未来
    • Organizer
      京都大学 微分トポロジーセミナー
    • Data Source
      KAKENHI-PROJECT-24K20758
  • [Presentation] Homological Application of Higher-order Rewriting2024

    • Author(s)
      池渕未来
    • Organizer
      60th TRS meeting
    • Data Source
      KAKENHI-PROJECT-24K20758
  • [Presentation] Quillen homology for equational theories2024

    • Author(s)
      池渕未来
    • Organizer
      数理・情報研究交流会
    • Data Source
      KAKENHI-PROJECT-24K20758
  • [Presentation] Quillen homology for equational theories2024

    • Author(s)
      池渕未来
    • Organizer
      数理・情報系研究集会 @ 愛媛大学
    • Data Source
      KAKENHI-PROJECT-24K20758
  • 1.  五十嵐 淳 (40323456)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 2.  Suenaga Kohei (70633692)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  関山 太朗 (80828476)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  田邉 裕大 (30985198)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  松下 祐介 (41003875)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  海野 広志 (80569575)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  和賀 正樹 (00899007)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

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?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi