今井 敬吾
イマイ ケイゴ (Keigo Imai)
更新日: 11/04
基本情報
- 所属
- 岐阜大学 工学部 電気電子・情報工学科 情報コース 助教
- (兼任)人工知能研究推進センター
- (兼任)航空宇宙生産技術開発センター
- 学位
-
博士(情報科学)(2012年3月 名古屋大学)
- ORCID ID
https://orcid.org/0000-0003-1602-8473- Researcher ID
- I-3970-2014
- researchmap会員ID
- B000001022
- 外部リンク
計算機科学、とくにプログラミング言語の基礎理論が専門であり、関数型プログラミング言語とその産業活用、並行計算モデル、型理論 (特に振舞い型システム) に興味をもつ。企業では関数型プログラミング言語によるソフトウェア開発に取り組んだ。京都大学学術研究支援室において、研究支援業務および学内情報システムの設計・構築に携わった。博士（情報科学）。
主要な経歴
8-
2016年9月 - 現在
-
2019年3月 - 2019年9月
-
2019年2月 - 2019年9月
-
2013年12月 - 2016年8月
-
2010年4月 - 2013年11月
-
2009年4月 - 2010年3月
主要な委員歴
15-
2022年4月 - 現在
-
2021年4月 - 2021年9月
-
2017年4月 - 2020年3月
主要な論文
14-
TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 13243 379-386 2022年 査読有り
-
ECOOP 2020: 34th European Conference on Object-Oriented Programming 166 9:1-9:30 2020年 査読有り
-
PLACES 2020: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, co-located with ETAPS 2020, Dublin, Ireland 61-75 2020年 査読有り
-
FLOPS 2020: 15th International Symposium on Functional and Logic Programming 66-87 2020年 査読有り
-
Journal of Information Processing 27 431-444 2019年6月 査読有り
-
Science of Computer Programming 172 135-159 2018年 査読有り
主要な講演・口頭発表等
50-
第141回プログラミング研究発表会 2022年10月27日
-
WST 2022: 18th International Workshop on Termination 2022年8月12日
-
17PLACES 2022: 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, Munich, Germany 2022年4月3日 -
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022年3月8日
-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022年3月7日
-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022年3月6日
-
第137回プログラミング研究発表会 2022年1月12日
-
ML'21: ML Workshop 2021, co-located with ICFP 2021 2021年8月26日
-
ICE 2021: 14th Interaction and Concurrency Experience, co-located with DisCoTec 2021 2021年6月18日
-
第132回プログラミング研究発表会 2021年1月13日
-
第127回プログラミング研究発表会 2020年1月15日 情報処理学会プログラミング研究会
-
The 2019 Joint Workshop on Formal Methods, Shanghai, China 2019年12月12日
-
PLAS Group Seminar, School of Computing, University of Kent 2019年9月16日 招待有り
-
NII Shonan Meeting 149: Programming Languages for Distributed Systems (PL4DS)
-
PPL 2018: 第20回プログラミングおよびプログラミング言語ワークショップ 2018年3月6日 日本ソフトウェア科学会プログラミング論研究会
-
Dagstuhl Seminar 17051: Theory and Applications of Behavioural Types 2017年1月
-
PPLサマースクール2012 関数型言語ベースの先進的Webフレームワーク 2012年8月21日 日本ソフトウェア科学会 招待有り
-
次世代ソフトウェアの開発支援環境 (公益財団法人 科学技術交流財団) 2012年3月23日 招待有り
-
CUFP 2011: Commercial Users of Functional Programming 2011年8月
書籍等出版物
3-
オーム社 2013年 (ISBN: 9784274069116)
-
秀和システム 2011年6月 (ISBN: 479802998X)
-
毎日コミュニケーションズ 2007年5月 (ISBN: 4839923116)
主要なMISC
5-
情報管理 58(2) 83-91 2015年
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 109(40) 49-54 2009年5月14日
学術貢献活動
10主要な共同研究・競争的資金等の研究課題
6-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2021年4月 - 2026年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2021年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2020年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2017年4月 - 2022年3月
受賞
1所属学協会
4学歴
3-
2006年4月 - 2009年3月
-
2004年4月 - 2006年3月
-
2000年4月 - 2004年3月