Rchr
J-GLOBAL ID：200901014984944500
Update date: Feb. 01, 2024
Kikuchi Kentaro
キクチ ケンタロウ | Kikuchi Kentaro
Affiliation and department：
Research field (2)：
Software
, Information theory
Papers (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
ｍore...
Lectures and oral presentations (26)：
-
アトム変数を用いた名目単一化の実装
(日本ソフトウェア科学会第38回大会 2021)
-
名目書き換えにおける強可換性を用いた合流性証明
(日本ソフトウェア科学会第37回大会 2020)
-
項書き換えシステムにおける局所十分完全性の証明法
(第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 2020)
-
無限のデータを含む等式に対する帰納的定理証明
(日本ソフトウェア科学会第35回大会 2018)
-
完備化手続きにおける関数記号導入の戦略
(平成28年度 電気関係学会東北支部連合大会 2016)
ｍore...
Professional career (1)：
- PhD (Japan Advanced Institute of Science and Technology)
Return to Previous Page
