研究者
J-GLOBAL ID:200901014984944500   更新日: 2024年07月12日

菊池 健太郎

キクチ ケンタロウ | Kikuchi Kentaro
所属機関・部署:
研究分野 (2件): ソフトウェア ,  情報学基礎論
論文 (42件):
  • 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の登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る