KIKUCHI Kentaro

J-GLOBAL         Last updated: Oct 24, 2019 at 18:28
 
Avatar
Name
KIKUCHI Kentaro
Affiliation
Tohoku University
Section
Research Institute of Electrical Communication Systems & Software Division Software Construction Laboratory
Job title
Assistant Professor
Research funding number
40396528

Research Interests

 
 

Research Areas

 
 

Awards & Honors

 
Sep 2017
日本ソフトウェア科学会第21回研究論文賞, 日本ソフトウェア科学会
Winner: 佐藤 洸一,菊池 健太郎,青戸 等人,外山 芳人
 

Published Papers

 
Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value
Makoto Hamana, Tatsuya Abe, Kentaro Kikuchi
Science of Computer Programming, in press.      2019   [Refereed]
Kentaro Kikuchi, Takahito Aoto, Isao Sasano
Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, PPDP 2019, Porto, Portugal, October 7-9, 2019.   13:1-13:14   2019   [Refereed]
Makoto Hamana, Kentaro Kikuchi
Proceedings of the 7th International Workshop on Confluence (IWC 2018)   70-70   Jul 2018
ACPH: System Description for CoCo 2017
Kouta Onozawa, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Proceedings of the 6th International Workshop on Confluence (IWC 2017)   70-70   Sep 2017
Confluence by Strong Commutation with Disjoint Parallel Reduction
Kentaro Kikuchi
Participant's Proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017)      Sep 2017   [Refereed]
Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)   LNAI 10483 115-131   Sep 2017   [Refereed]
ACPH: System Description for CoCo 2016
Kouta Onozawa, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Proceedings of the 5th International Workshop on Confluence (IWC 2016)   76-76   Sep 2016
Nrbox: System Description for CoCo 2016
Takahito Aoto, Kentaro Kikuchi
Proceedings of the 5th International Workshop on Confluence (IWC 2016)   87-87   Sep 2016
A Rule-Based Procedure for Equivariant Nominal Unification
Takahito Aoto, Kentaro Kikuchi
Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR 2016)      Jun 2016   [Refereed]
Takahito Aoto, Kentaro Kikuchi
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)   LNAI 9706 173-182   Jun 2016   [Refereed]

Conference Activities & Talks

 
篠埜功
日本ソフトウェア科学会第35回大会   29 Aug 2018   
伊藤佑太, 外山芳人
平成28年度 電気関係学会東北支部連合大会   30 Aug 2016   
高階書き換えシステムの合流性自動検証ツール
小野沢倖太, 青戸等人, 外山芳人
第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)   7 Mar 2016   
項書き換えシステムの基底合流性の自動検証
神野祐磨, 青戸等人, 外山芳人
第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)   7 Mar 2016   
青戸等人, 外山芳人
日本ソフトウェア科学会第32回大会   8 Sep 2015   
神野祐磨, 青戸等人, 外山芳人
平成27年度 電気関係学会東北支部連合大会   27 Aug 2015   
小野沢倖太, 青戸等人, 外山芳人
平成27年度 電気関係学会東北支部連合大会   27 Aug 2015   
帰納的定理自動証明のための項書き換えシステム自動変換
佐藤洸一, 青戸等人, 外山芳人
第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)   5 Mar 2014   
名目書き換えシステムの合流性について
鈴木貴樹, 青戸等人, 外山芳人
第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)   5 Mar 2014   
Non-deterministic CPS-translation for lambda-mu calculus
第30回記号論理と情報科学研究集会 (SLACS 2013)   24 Sep 2013