Ikebuchi, Mirai(Graduate School of Informatics, Department of Informatics) | Activity Database on Education and Research, Kyoto University

Ikebuchi, Mirai

Graduate School of Informatics, Department of Informatics Assistant Professor

Last Updated :2025/06/20

Basic Information

Faculty

Faculty of Engineering

Email Address

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

Academic Degree

31 Mar. 2017
名古屋大学修士（理学）

13 Oct. 2021
マサチューセッツ工科大学博士（学術）

Academic Resume (Undergraduate School/Majors)

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

ID,URL

J-Global ID
202401016882332992

researchmap URL

https://researchmap.jp/mikebuchi

Last Updated :2025/06/20

Research

Papers

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
Computer Software, 25 Jan. 2024

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

Awards

30 Jun. 2007
Best Paper Awards by Junior Researchers（ICFSCD)

External funds: Kakenhi

項書換系の技術の定理証明支援系への応用
Grant-in-Aid for Early-Career Scientists
Basic Section 60050:Software-related
Kyoto University
池渕未来
From 01 Apr. 2024, To 31 Mar. 2029, Granted
定理証明支援系;項書換え系
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24K20758/

Research on software contracts for highly interoperable software modules
Grant-in-Aid for Scientific Research (A)
Medium-sized Section 60:Information science, computer engineering, and related fields
Kyoto University
五十嵐淳
From 01 Apr. 2020, To 31 Mar. 2025, Granted
プログラミング言語;プログラム検証;相互運用性;ソフトウェア契約;ソフトウエア契約
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20H00582/

Enhancement of Formal Verification for IoT Systems
Grant-in-Aid for Scientific Research (B)
Basic Section 60050:Software-related
Kyoto University
Kohei Suenaga
From 01 Apr. 2019, To 31 Mar. 2024, Project Closed
ハイブリッドシステム;モデル検査;プログラム検証;形式検証;ブラックボックス検査;モニタリング;PDR;IoT;強化学習;機械学習;形式手法
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19H04084/

Last Updated :2025/06/20

Education

Teaching subject(s)

From 01 Apr. 2025, To 31 Mar. 2026
Mathematics in Practice for Computer Science
9131, Spring, Faculty of Engineering, 2

From 01 Apr. 2025, To 31 Mar. 2026
Computer Science Laboratory and Exercise 3
9084, Spring, Faculty of Engineering, 4

From 01 Apr. 2024, To 31 Mar. 2025
Mathematics in Practice for Computer Science
9131, Spring, Faculty of Engineering, 2

From 01 Apr. 2024, To 31 Mar. 2025
Computer Science Laboratory and Exercise 3
9084, Spring, Faculty of Engineering, 4

ページ上部へ戻る