今井 敬吾
イマイ ケイゴ (Keigo Imai)
更新日: 07/07
基本情報
- 所属
- 岐阜大学 工学部 電気電子・情報工学科 情報コース 助教
- (兼任) 人工知能研究推進センター
- (兼任) 航空宇宙生産技術開発センター
- 学位
-
博士(情報科学)(2012年3月 名古屋大学)
- ORCID ID
https://orcid.org/0000-0003-1602-8473- Researcher ID
- I-3970-2014
- 外部リンク
計算機科学、とくにプログラミング言語の基礎理論が専門であり、関数型プログラミング言語とその産業活用、並行計算モデル、型理論 (特に振舞い型システム) に興味をもつ。企業では関数型プログラミング言語によるソフトウェア開発に取り組んだ。京都大学学術研究支援室において、研究支援業務および学内情報システムの設計・構築に携わった。博士（情報科学）。
経歴
7-
2016年9月 - 現在
-
2019年2月 - 2019年9月
-
2013年12月 - 2016年8月
-
2010年4月 - 2013年11月
-
2009年4月 - 2010年3月
論文
13-
ECOOP 2020: 34th European Conference on Object-Oriented Programming (to appear) 2020年 査読有り
-
PLACES 2020: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Dublin, Ireland 61 - 75 2020年 査読有り
-
FLOPS 2020: International Symposium on Functional and Logic Programming (LNCS, to appear) 2020年 査読有り
-
Journal of Information Processing 27 431 - 444 2019年6月 査読有り
-
Science of Computer Programming 172 135 - 159 2018年 査読有り
講演・口頭発表等
37-
PLAS Group Seminar, School of Computing, University of Kent 2019年9月16日 招待有り
-
NII Shonan Meeting 149: Programming Languages for Distributed Systems (PL4DS)
-
IFIP Working Group 2.11, Eighteenth Meeting 2018年6月7日
-
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日
委員歴
4-
2017年4月 - 現在
-
2020年 - 2020年
学術貢献活動
7共同研究・競争的資金等の研究課題
2受賞
1所属学協会
4学歴
3-
2006年4月 - 2009年3月
-
2004年4月 - 2006年3月
-
2000年4月 - 2004年3月