菊池健太郎

キクチケンタロウ | Kikuchi Kentaro

所属機関・部署：

研究分野 (2件)：ソフトウェア , 情報学基礎論

論文 (41件)：

Kentaro Kikuchi. Ground Confluence and Strong Commutation modulo Alpha-Equivalence in Nominal Rewriting. Proceedings of the 19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022). 2022. LNCS 13572. 255-271
Kentaro Kikuchi, Takahito Aoto. Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems. Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). 2021. LIPIcs 213. 49:1-49:15
Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto. A Proof Method for Local Sufficient Completeness of Term Rewriting Systems. Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021). 2021. LNCS 12819. 386-404
Kentaro Kikuchi, Takahito Aoto. Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables. Proceedings of the 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020). 2021. LNCS 12561. 56-73
Makoto Hamana, Kentaro Kikuchi, Date Yao Faustin Dieudonne, Kazuki Fuju. The System SOL version 2020. Proceedings of the 9th International Workshop on Confluence (IWC 2020). 2020. 81-81

講演・口頭発表等 (26件)：

アトム変数を用いた名目単一化の実装
(日本ソフトウェア科学会第38回大会 2021)
名目書き換えにおける強可換性を用いた合流性証明
(日本ソフトウェア科学会第37回大会 2020)
項書き換えシステムにおける局所十分完全性の証明法
(第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 2020)
無限のデータを含む等式に対する帰納的定理証明
(日本ソフトウェア科学会第35回大会 2018)
完備化手続きにおける関数記号導入の戦略
(平成28年度電気関係学会東北支部連合大会 2016)

学位 (1件)：

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

菊池 健太郎