Research theme for competitive and other funds (3)：
2024 - 2029 項書換系の技術の定理証明支援系への応用
2020 - 2025 Research on software contracts for highly interoperable software modules
2019 - 2024 IoT システムのための形式検証手法の深化
Papers (10)：
Mirai Ikebuchi, Andres Erbsen, Adam Chlipala. Certifying derivation of state machines from coroutines. Proceedings of the ACM on Programming Languages. 2022. 6. POPL. 1-31
Mirai Ikebuchi. A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods. Logical Methods in Computer Science. 2022. 18. 3
Mirai Ikebuchi. Applications of Homological Algebra to Equational Theories. 2022
Mirai Ikebuchi. A Homological Condition on Equational Unifiability. 46th International Symposium on Mathematical Foundations of Computer Science(MFCS). 2021. 61-16
Mirai Ikebuchi. A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods. CoRR. 2020. abs/2002.11942
KIMURA Daisuke, TATSUTA Makoto, AL AMEEN Mahmudul Faisal, IKEBUCHI Mirai, NAKAZAWA Koji. Bi-Abduction in Separation Logic with Arrays and Lists for Program Analysis. Computer Software. 2024. 41. 1. 1_50-1_67
