Search for faculty members
Ikebuchi, Mirai
Graduate School of Informatics, Department of Informatics Assistant Professor
list
Last Updated :2026/08/20
Basic Information
Faculty
Email Address
Email Address
ikebuchi.mirai.4z
kyoto-u.ac.jp
Academic Degree
Academic Resume (Undergraduate School/Majors)
ID,URL
J-Global ID
researchmap URL
list
Last Updated :2026/08/20
Research
Papers
- Cohomology of small Cartesian closed categoriesMirai IkebuchiJournal of Pure and Applied Algebra, Apr. 2026, Peer-reviewed, Lead author
- Homological Invariants of Higher-Order Equational TheoriesMirai Ikebuchi2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 23 Jun. 2025, Peer-reviewed, Lead author
- Cyclic proofs and size-change termination.Mirai IkebuchiTheor. Comput. Sci., 2025
- Bi-Abduction in Separation Logic with Arrays and Lists for Program AnalysisKIMURA Daisuke; TATSUTA Makoto; AL AMEEN Mahmudul Faisal; IKEBUCHI Mirai; NAKAZAWA KojiComputer Software, 25 Jan. 2024
- Certifying derivation of state machines from coroutines.Mirai Ikebuchi; Andres Erbsen; Adam ChlipalaProceedings of the ACM on Programming Languages, 2022
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods.Mirai IkebuchiLogical Methods in Computer Science, 2022
- Applications of Homological Algebra to Equational Theories.Mirai Ikebuchi2022
- A Homological Condition on Equational Unifiability.Mirai Ikebuchi46th International Symposium on Mathematical Foundations of Computer Science(MFCS), 2021
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods.Mirai IkebuchiCoRR, 2020
- On properties of B-terms.Mirai Ikebuchi; Keisuke Nakano 0001Logical Methods in Computer Science, 2020
- On properties of B-terms.Mirai Ikebuchi; Keisuke Nakano 0001CoRR, 2019
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods.Mirai Ikebuchi4th International Conference on Formal Structures for Computation and Deduction(FSCD), 2019
- On Repetitive Right Application of B-Terms.Mirai Ikebuchi; Keisuke Nakano 00013rd International Conference on Formal Structures for Computation and Deduction(FSCD), 2018
- On repetitive right application of B-terms.Mirai Ikebuchi; Keisuke Nakano 0001CoRR, 2017
Misc.
Presentations
- 等式理論のホモロジー池渕未来RIMS共同研究（公開型） 数理論理学とその応用 (SAML 2026), 23 Jun. 2026, Invited
- Lawvere代数理論のホモロジーと等式論理池渕未来信州トポロジーセミナー, 08 Jun. 2026
- Homological Methods to Rewriting and Equational TheoriesMirai IkebuchiBetween Mathematical Logic and Computer Science Celebrating Assaf Kfoury's career, 04 Jun. 2026, Invited
- Homology of equational theoriesMirai IkebuchiContinuity, Computability, Constructivity From Logic to Algorithms (CCC 2026), 28 May 2026, Invited
- Invitation to Finite Derivation TypeMirai Ikebuchi63rd TRS Meeting, 19 Mar. 2026
- ホモロジー的等式論理池渕未来ロジックウィンタースクール2026, Invited
- Homological Invariants of Higher-Order Equational TheoriesMirai Ikebuchi第28回プログラミングおよびプログラミング言語ワークショップ PPL 2026, 12 Mar. 2026
- 北大数論セミナー池渕未来05 Sep. 2025
- Principles of Programming and Verification Seminar, Boston UniversityMirai Ikebuchi03 Mar. 2025
- MIT Topology SeminarMirai Ikebuchi03 Mar. 2025
- トップカンファレンス・トップ論文誌特別講演（PPL）池渕未来日本ソフトウェア科学会第39回大会, 01 Sep. 2022, Invited
- CMU Logic SeminarMirai Ikebuchi03 Dec. 2020
- Homological Methods in RewritingMirai Ikebuchi15th Workshop Computational Logic and Applications, 12 Oct. 2020, Invited
Awards
External funds: Kakenhi
- Foundations of Programming Languages and Systems for Highly Dependable Software Code GenerationGrant-in-Aid for Scientific Research (A)Medium-sized Section 60:Information science, computer engineering, and related fieldsKyoto University五十嵐 淳From 01 Apr. 2026, To 31 Mar. 2030, Grantedプログラミング言語;プログラム合成;メタプログラミング;プログラム検証
- 項書換系の技術の定理証明支援系への応用Grant-in-Aid for Early-Career ScientistsBasic Section 60050:Software-relatedKyoto University池渕 未来From 01 Apr. 2024, To 31 Mar. 2029, Granted項書換え系;証明支援系;循環証明;自動定理証明;定理証明支援系
- Research on software contracts for highly interoperable software modulesGrant-in-Aid for Scientific Research (A)Medium-sized Section 60:Information science, computer engineering, and related fieldsKyoto University五十嵐 淳From 01 Apr. 2020, To 31 Mar. 2025, Grantedプログラミング言語;プログラム検証;相互運用性;ソフトウェア契約;ソフトウエア契約
- Enhancement of Formal Verification for IoT SystemsGrant-in-Aid for Scientific Research (B)Basic Section 60050:Software-relatedKyoto UniversityKohei SuenagaFrom 01 Apr. 2019, To 31 Mar. 2024, Project Closedハイブリッドシステム;モデル検査;プログラム検証;形式検証;ブラックボックス検査;モニタリング;PDR;IoT;強化学習;機械学習;形式手法
- AIを含むソフトウェアのための形式検証手法Grant-in-Aid for Scientific Research (A)Medium-sized Section 60:Information science, computer engineering, and related fieldsKyoto University末永 幸平From 01 Apr. 2025, To 31 Mar. 2030, Grantedソフトウェア検証;AI安全性;形式仕様;ブラックボックス検査;形式検証;人工知能;ソフトウェア
list
Last Updated :2026/08/20
Education
Teaching subject(s)
- From 01 Apr. 2026, To 31 Mar. 2027Mathematics in Practice for Computer Science9131, Spring, Faculty of Engineering, 2
- From 01 Apr. 2026, To 31 Mar. 2027Computer Science Laboratory and Exercise 39084, Spring, Faculty of Engineering, 4
- From 01 Apr. 2025, To 31 Mar. 2026Mathematics in Practice for Computer Science9131, Spring, Faculty of Engineering, 2
- From 01 Apr. 2025, To 31 Mar. 2026Computer Science Laboratory and Exercise 39084, Spring, Faculty of Engineering, 4
- From 01 Apr. 2024, To 31 Mar. 2025Mathematics in Practice for Computer Science9131, Spring, Faculty of Engineering, 2
- From 01 Apr. 2024, To 31 Mar. 2025Computer Science Laboratory and Exercise 39084, Spring, Faculty of Engineering, 4
