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

    (3 results)
  • Co-Researchers

    (6 People)
  •  項書換系の技術の定理証明支援系への応用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
  • 1.  五十嵐 淳 (40323456)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 2.  Suenaga Kohei (70633692)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 3.  関山 太朗 (80828476)
    # of Collaborated Projects: 1 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

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