菊池 健太郎
キクチ ケンタロウ (Kentaro Kikuchi)
更新日: 03/26
基本情報
- 所属
- 東北大学 電気通信研究所
- 学位
-
博士（情報科学）(北陸先端科学技術大学院大学)
- 研究者番号
- 40396528
- ORCID iD
https://orcid.org/0009-0008-5927-3616- J-GLOBAL ID
- 200901014984944500
- researchmap会員ID
- 5000043184
研究分野
2論文
43-
Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2025, Denver, CO, USA, 21 January 2025. 43-53 2025年 査読有り
-
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日
講演・口頭発表等
40-
第28回プログラミングおよびプログラミング言語ワークショップ (PPL 2026) 2026年3月11日
-
第28回プログラミングおよびプログラミング言語ワークショップ (PPL 2026) 2026年3月9日
-
第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 2025年3月5日
-
第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 2025年3月5日
-
日本ソフトウェア科学会第41回大会 2024年9月10日 招待有り
-
第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024年3月5日
-
第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024年3月5日
-
第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024年3月5日
-
第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024年3月5日
-
第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024年3月5日
-
日本ソフトウェア科学会第40回大会 2023年9月13日
-
第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023年3月6日
-
第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023年3月6日
-
第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023年3月6日
-
日本ソフトウェア科学会第38回大会 2021年9月2日
-
日本ソフトウェア科学会第37回大会 2020年9月10日
-
第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 2020年3月2日
-
日本ソフトウェア科学会第35回大会 2018年8月29日
-
平成28年度 電気関係学会東北支部連合大会 2016年8月30日
-
第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016) 2016年3月7日