池渕未来

イケブチミライ | Ikebuchi Mirai

所属機関・部署：
競争的資金等の研究課題 (3件)：

論文 (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

MISC (2件)：

KIMURA Daisuke, TATSUTA Makoto, AL AMEEN Mahmudul Faisal, IKEBUCHI Mirai, NAKAZAWA Koji. Bi-Abduction in Separation Logic with Arrays and Lists for Program Analysis. コンピュータソフトウェア. 2024. 41. 1. 1_50-1_67
池渕, 未来. 項書換による証明付き最適化. 第61回プログラミング・シンポジウム予稿集. 2020. 2020. 19-22

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

池渕 未来