菊池 健太郎

J-GLOBALへ         更新日: 18/09/28 19:20
 
アバター
研究者氏名
菊池 健太郎
 
キクチ ケンタロウ
URL
http://db.tohoku.ac.jp/whois/detail/296f4a677092c96123fa579a2188c3bb.html
所属
東北大学
部署
電気通信研究所 システム・ソフトウェア研究部門
職名
助教
科研費研究者番号
40396528

プロフィール

研究業績についての説明が以下のページから見られます。
http://www.riec.tohoku.ac.jp/~kxe/setsumei.html

研究キーワード

 
 

研究分野

 
 

受賞

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

論文

 
The System SOL version 2018
Makoto Hamana, Kentaro Kikuchi
Proceedings of the 7th International Workshop on Confluence (IWC 2018)   70-70   2018年7月
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   2017年9月
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)      2017年9月   [査読有り]
Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems
Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)   LNAI 10483 115-131   2017年9月   [査読有り]
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   2016年9月
Nrbox: System Description for CoCo 2016
Takahito Aoto, Kentaro Kikuchi
Proceedings of the 5th International Workshop on Confluence (IWC 2016)   87-87   2016年9月
A Rule-Based Procedure for Equivariant Nominal Unification
Takahito Aoto, Kentaro Kikuchi
Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR 2016)      2016年6月   [査読有り]
Nominal Confluence Tool
Takahito Aoto, Kentaro Kikuchi
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)   LNAI 9706 173-182   2016年6月   [査読有り]
Critical Pair Analysis in Nominal Rewriting
Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science (SCSS 2016)   EPiC 39 156-168   2016年3月   [査読有り]
Correctness of Context-Moving Transformations for Term Rewriting Systems
Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015)   LNCS 9527 331-345   2015年12月   [査読有り]

講演・口頭発表等

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