研究者紹介
写真



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

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

Confluence of Orthogonal Nominal Rewriting Systems Revisited.[Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA 2015),LIPIcs 36,(2015),301-317]Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama


A Translation of Intersection and Union Types for the λμ-Calculus.[Proceedings of the 12th Asian Symposium on Programming Languages and Systems (APLAS 2014),LNCS 8858,(2014),120-139]Kentaro Kikuchi, Takafumi Sakurai


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


Strong Normalisation of Cut-Elimination that Simulates β-Reduction.[Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2008),LNCS 4962,(2008),380-394]Kentaro Kikuchi, Stéphane Lengrand


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