教育研究活動データベース

日本語に切り替えるswitch to english

京都大学の教員等を検索

詳細条件で検索組織別に探す

池渕 未来

イケブチ ミライ

情報学研究科 情報学専攻コンピュータ工学講座 助教

池渕 未来
list
    Last Updated :2026/06/29

    基本情報

    学部兼担

    • 工学部

    全学メールアドレス

    • 全学メールアドレス

      ikebuchi.mirai.4zkyoto-u.ac.jp

    学位

    • 2017年03月31日
      名古屋大学修士（理学）
    • 2021年10月13日
      マサチューセッツ工科大学博士（学術）

    出身学校・専攻等

    • 筑波大学, 理工学群数学類, 卒業

    ID,URL

    researchmap URL

    list
      Last Updated :2026/06/29

      研究

      論文

      • Cohomology of small Cartesian closed categories
        Mirai Ikebuchi
        Journal of Pure and Applied Algebra, 2026年04月, 査読有り, 筆頭著者
      • Homological Invariants of Higher-Order Equational Theories
        Mirai Ikebuchi
        2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025年06月23日, 査読有り, 筆頭著者
      • Cyclic proofs and size-change termination.
        Mirai Ikebuchi
        Theor. Comput. Sci., 2025年
        この論文にアクセスする：
      • Bi-Abduction in Separation Logic with Arrays and Lists for Program Analysis
        KIMURA Daisuke; TATSUTA Makoto; AL AMEEN Mahmudul Faisal; IKEBUCHI Mirai; NAKAZAWA Koji
        コンピュータ ソフトウェア, 2024年01月25日
      • Certifying derivation of state machines from coroutines.
        Mirai Ikebuchi; Andres Erbsen; Adam Chlipala
        Proceedings of the ACM on Programming Languages, 2022年
      • A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods.
        Mirai Ikebuchi
        Logical Methods in Computer Science, 2022年
      • Applications of Homological Algebra to Equational Theories.
        Mirai Ikebuchi
        2022年
      • A Homological Condition on Equational Unifiability.
        Mirai Ikebuchi
        46th International Symposium on Mathematical Foundations of Computer Science(MFCS), 2021年
      • A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods.
        Mirai Ikebuchi
        CoRR, 2020年
      • On properties of B-terms.
        Mirai Ikebuchi; Keisuke Nakano 0001
        Logical Methods in Computer Science, 2020年
      • On properties of B-terms.
        Mirai Ikebuchi; Keisuke Nakano 0001
        CoRR, 2019年
      • A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods.
        Mirai Ikebuchi
        4th International Conference on Formal Structures for Computation and Deduction(FSCD), 2019年
      • On Repetitive Right Application of B-Terms.
        Mirai Ikebuchi; Keisuke Nakano 0001
        3rd International Conference on Formal Structures for Computation and Deduction(FSCD), 2018年
      • On repetitive right application of B-terms.
        Mirai Ikebuchi; Keisuke Nakano 0001
        CoRR, 2017年

      MISC

      • 項書換による証明付き最適化
        池渕, 未来
        第61回プログラミング・シンポジウム予稿集, 2020年01月10日

      講演・口頭発表等

      • 等式理論のホモロジー
        池渕未来
        RIMS共同研究（公開型） 数理論理学とその応用 (SAML 2026), 2026年06月23日, 招待有り
      • Lawvere代数理論のホモロジーと等式論理
        池渕未来
        信州トポロジーセミナー, 2026年06月08日
      • Homological Methods to Rewriting and Equational Theories
        Mirai Ikebuchi
        Between Mathematical Logic and Computer Science Celebrating Assaf Kfoury's career, 2026年06月04日, 招待有り
      • Homology of equational theories
        Mirai Ikebuchi
        Continuity, Computability, Constructivity From Logic to Algorithms (CCC 2026), 2026年05月28日, 招待有り
      • Invitation to Finite Derivation Type
        Mirai Ikebuchi
        63rd TRS Meeting, 2026年03月19日
      • ホモロジー的等式論理
        池渕未来
        ロジックウィンタースクール2026, 招待有り
      • Homological Invariants of Higher-Order Equational Theories
        Mirai Ikebuchi
        第28回プログラミングおよびプログラミング言語ワークショップ PPL 2026, 2026年03月12日
      • 北大数論セミナー
        池渕未来
        2025年09月05日
      • Principles of Programming and Verification Seminar, Boston University
        Mirai Ikebuchi
        2025年03月03日
      • MIT Topology Seminar
        Mirai Ikebuchi
        2025年03月03日
      • トップカンファレンス・トップ論文誌特別講演（PPL）
        池渕未来
        日本ソフトウェア科学会第39回大会, 2022年09月01日, 招待有り
      • CMU Logic Seminar
        Mirai Ikebuchi
        2020年12月03日
      • Homological Methods in Rewriting
        Mirai Ikebuchi
        15th Workshop Computational Logic and Applications, 2020年10月12日, 招待有り

      受賞

      • 2007年06月30日
        Best Paper Awards by Junior Researchers（ICFSCD)

      外部資金：科学研究費補助金

      • 項書換系の技術の定理証明支援系への応用
        若手研究
        小区分60050:ソフトウェア関連
        京都大学
        池渕 未来
        自 2024年04月01日, 至 2029年03月31日, 交付
        項書換え系;証明支援系;循環証明;自動定理証明;定理証明支援系
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24K20758/
      • 高相互運用性を持つソフトウェアモジュールのためのソフトウェア契約の研究
        基盤研究(A)
        中区分60:情報科学、情報工学およびその関連分野
        京都大学
        五十嵐 淳
        自 2020年04月01日, 至 2025年03月31日, 交付
        プログラミング言語;プログラム検証;相互運用性;ソフトウェア契約;ソフトウエア契約
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20H00582/
      • IoT システムのための形式検証手法の深化
        基盤研究(B)
        小区分60050:ソフトウェア関連
        京都大学
        末永 幸平
        自 2019年04月01日, 至 2024年03月31日, 完了
        ハイブリッドシステム;モデル検査;プログラム検証;形式検証;ブラックボックス検査;モニタリング;PDR;IoT;強化学習;機械学習;形式手法
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19H04084/
      • AIを含むソフトウェアのための形式検証手法
        基盤研究(A)
        中区分60:情報科学、情報工学およびその関連分野
        京都大学
        末永 幸平
        自 2025年04月01日, 至 2030年03月31日, 交付
        形式検証;人工知能;ソフトウェア
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25H01113/
      list
        Last Updated :2026/06/29

        教育

        担当科目

        • 自 2026年04月01日, 至 2027年03月31日
          計算機科学のための数学演習
          9131, 前期, 工学部, 2
        • 自 2026年04月01日, 至 2027年03月31日
          計算機科学実験及演習３
          9084, 前期, 工学部, 4
        • 自 2025年04月01日, 至 2026年03月31日
          計算機科学のための数学演習
          9131, 前期, 工学部, 2
        • 自 2025年04月01日, 至 2026年03月31日
          計算機科学実験及演習３
          9084, 前期, 工学部, 4
        • 自 2024年04月01日, 至 2025年03月31日
          計算機科学のための数学演習
          9131, 前期, 工学部, 2
        • 自 2024年04月01日, 至 2025年03月31日
          計算機科学実験及演習３
          9084, 前期, 工学部, 4

        ページ上部へ戻る