菊池 健太郎
キクチ ケンタロウ (Kentaro Kikuchi)
更新日: 2024/07/12
基本情報
- 所属
- 東北大学 電気通信研究所
- 学位
-
博士（情報科学）(北陸先端科学技術大学院大学)
- 研究者番号
- 40396528
- J-GLOBAL ID
- 200901014984944500
- researchmap会員ID
- 5000043184
研究分野
2論文
42-
Proceedings of the 19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022) LNCS 13572 255-271 2022年 査読有り
-
Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) LIPIcs 213 49:1-49:15 2021年 査読有り
-
Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021) LNCS 12819 386-404 2021年 査読有り
-
Proceedings of the 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020) LNCS 12561 56-73 2021年 査読有り
-
Proceedings of the 9th International Workshop on Confluence (IWC 2020) 81-81 2020年6月
-
Sci. Comput. Program. 187 102322-102322 2020年 査読有り
-
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年 査読有り
-
Proceedings of the 7th International Workshop on Confluence (IWC 2018) 70-70 2018年7月
-
Proceedings of the 6th International Workshop on Confluence (IWC 2017) 70-70 2017年9月8日
-
Participant's Proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017) 2017年9月8日 査読有り
-
Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) LNAI 10483 115-131 2017年 査読有り
-
Proceedings of the 5th International Workshop on Confluence (IWC 2016) 76-76 2016年9月8日
-
Proceedings of the 5th International Workshop on Confluence (IWC 2016) 87-87 2016年9月8日
-
Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR 2016) 2016年6月25日 査読有り
-
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science (SCSS 2016) EPiC 39 156-168 2016年3月27日 査読有り
-
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016) LNAI 9706 173-182 2016年 査読有り
-
Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015) LNCS 9527 331-345 2015年12月 査読有り
-
Proceedings of the 4th International Workshop on Confluence (IWC 2015) 39-39 2015年8月2日
-
Proceedings of the 4th International Workshop on Confluence (IWC 2015) 48-48 2015年8月2日
-
Participant's Proceedings of the 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015) 3-7 2015年7月2日 査読有り
主要な講演・口頭発表等
26-
日本ソフトウェア科学会第38回大会 2021年9月2日
-
日本ソフトウェア科学会第37回大会 2020年9月10日
-
日本ソフトウェア科学会第35回大会 2018年8月29日
-
日本ソフトウェア科学会第32回大会 2015年9月8日
-
平成27年度 電気関係学会東北支部連合大会 2015年8月27日