研究者紹介
写真



著書論文等全件
氏名
菊池 健太郎
KIKUCHI Kentaro
所属
電気通信研究所
システム・ソフトウェア研究部門
コンピューティング情報理論研究室
大学院担当
大学院情報科学研究科
情報基礎科学専攻

職名
助教
研究分野
  • ソフトウエア
  • 情報学基礎
全件表示
研究キーワード
プログラム理論
所属学会
  • 日本ソフトウェア科学会
  • 情報処理学会
全件表示
主要論文

Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems.[Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017),LNAI 10483,(2017),115-131]Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama


Correctness of Context-Moving Transformations for Term Rewriting Systems.[Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015),LNCS 9527,(2015),331-345]Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama


Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended λ-Calculus.[Proceedings of the 22nd Annual Conference of the European Association for Computer Science Logic (CSL 2013),LIPIcs 23,(2013),395-414]Kentaro Kikuchi


Call-by-Name Reduction and Cut-Elimination in Classical Logic.[Annals of Pure and Applied Logic,153(1-3),(2008),38-65]Kentaro Kikuchi


Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi.[Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA 2007),LNCS 4533,(2007),257-272]Kentaro Kikuchi


全件表示
学術関係受賞
  • 日本ソフトウェア科学会第21回研究論文賞(2017)
全件表示
ホームページ
http://www.riec.tohoku.ac.jp/~kxe/index-j.html
データ更新日
2020.03.26
Englishこのページのトップへ
copyright(c)2005 Tohoku University