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

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

京都大学の教員等を検索

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

池渕 未来

イケブチ ミライ

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

池渕 未来
list
    Last Updated :2025/05/02

    基本情報

    学部兼担

    • 工学部

    全学メールアドレス

    • 全学メールアドレス

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

    学位

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

    出身学校・専攻等

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

    ID,URL

    researchmap URL

    list
      Last Updated :2025/05/02

      研究

      論文

      • 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

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

      受賞

      • 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日, 交付
        プログラム検証;形式検証;IoT;モデル検査;PDR;強化学習;機械学習;ハイブリッドシステム;形式手法
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19H04084/
      list
        Last Updated :2025/05/02

        教育

        担当科目

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

        ページ上部へ戻る