今井敬吾 (Keigo Imai) - マイポータル

基本情報

所属: 岐阜大学工学部電気電子・情報工学科情報コース助教
: (兼任)人工知能研究推進センター
: (兼任)航空宇宙生産技術開発センター

学位: 博士(情報科学)(2012年3月名古屋大学)

ORCID ID: https://orcid.org/0000-0003-1602-8473
Researcher ID: I-3970-2014
researchmap会員ID: B000001022

外部リンク: https://keigoimai.info/

計算機科学、とくにプログラミング言語の基礎理論が専門であり、関数型プログラミング言語とその産業活用、並行計算モデル、型理論 (特に振舞い型システム) に興味をもつ。企業では関数型プログラミング言語によるソフトウェア開発に取り組んだ。京都大学学術研究支援室において、研究支援業務および学内情報システムの設計・構築に携わった。博士（情報科学）。

主要な経歴

2016年9月 - 現在

岐阜大学工学部電気電子・情報工学科情報コース助教
2019年3月 - 2019年9月

ブルーネル・ユニバーシティ・ロンドン客員研究員
2019年2月 - 2019年9月

インペリアルカレッジロンドン Department of Computing 客員研究員
2013年12月 - 2016年8月

京都大学学術研究支援室特定専門業務職員 (URA)
2010年4月 - 2013年11月

有限会社ITプランニングソフトウェアエンジニア
2009年4月 - 2010年3月

名古屋大学情報科学研究科附属組込みシステム研究センター (NCES) 研究員

もっとみる

研究キーワード

研究分野

主要な論文

Multiparty Session Programming with Global Protocol Combinators

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

ECOOP 2020: 34th European Conference on Object-Oriented Programming 166 9:1-9:30 2020年査読有り
Fluent Session Programming in C#

Shunsuke Kimura, Keigo Imai

PLACES 2020: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Dublin, Ireland 61-75 2020年査読有り
Session Types Without Sophistry (System Description)

Oleg Kiselyov, Keigo Imai

Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings (Lecture Notes in Computer Science Book 12073) 66-87 2020年査読有り
Lightweight linearly-typed programming with lenses and monads

Keigo Imai, Jacques Garrigue

Journal of Information Processing 27 431-444 2019年6月査読有り
Session-ocaml: a Session-based Library with Polarities and Lenses (extended version)

Keigo Imai, Nobuko Yoshida, Shoji Yuen

Science of Computer Programming 172 135-159 2018年査読有り

もっとみる

主要な講演・口頭発表等

Verifying Multiparty Communication Protocols using ML Type Systems

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

ML Workshop 2021 (ML'21), co-located with ICFP 2021 2021年8月26日
Multiparty Session Programming with Global Protocol Combinators (oral communication)

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

14th Interaction and Concurrency Experience (ICE 2021), co-located with DisCoTec 2021 2021年6月18日
混合選択とタイムアウトで拡張されたマルチパーティセッション型の軽量検査

今井敬吾

第132回プログラミング研究発表会情報処理学会プログラミング研究会 2021年1月13日
A Preliminary Study on Locally Concurrent Multiparty Session Types

Keigo Imai

第127回プログラミング研究発表会 2020年1月15日情報処理学会プログラミング研究会
Fully Static Multiparty Session Programming with Global Protocol Combinators

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

The 2019 Joint Workshop on Formal Methods, Shanghai, China 2019年12月12日
Global Protocol Combinators: static structural multiparty sessions over simply-typed channels

Keigo Imai

PLAS Group Seminar, School of Computing, University of Kent 2019年9月16日招待有り
Session Type Implementations in Functional Programming Languages

Keigo Imai

NII Shonan Meeting 149: Programming Languages for Distributed Systems (PL4DS)
Session types without sophistry

Oleg Kiselyov, Keigo Imai

IFIP Working Group 2.11, Eighteenth Meeting 2018年6月7日
Session-ocaml: a session-based library with polarities and lenses (Dagstuhl seminar 17501)

Keigo Imai, Shoji Yuen, Nobuko Yoshida

Dagstuhl Seminar 17051: Theory and Applications of Behavioural Types 2017年1月
OCamlで構築するモダンWeb: 型付きHTML5プログラミングの実際

今井敬吾

PPLサマースクール2012 関数型言語ベースの先進的Webフレームワーク 2012年8月21日日本ソフトウェア科学会招待有り
Haskell DSL による複数プラットホーム・複数言語コード生成

今井敬吾

次世代ソフトウェアの開発支援環境 (公益財団法人科学技術交流財団) 2012年3月23日招待有り
HTML5 web application development in OCaml

Keigo Imai

CUFP 2011: Commercial Users of Functional Programming 2011年8月

もっとみる

書籍等出版物

型システム入門 : プログラミング言語と型の理論

Benjamin C. Pierce, 住井英二郎, 遠藤侑介, 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男 (担当:共訳)

オーム社 2013年 (ISBN: 9784274069116)
Scala実践プログラミング

小笠原啓, 尾崎智仁, 関隆, 水島宏太, 今井敬吾 (担当:共著)

秀和システム 2011年6月 (ISBN: 479802998X)
入門OCaml 〜プログラミング基礎と実践理解〜

OCaml-Nagoya (担当:共著)

毎日コミュニケーションズ 2007年5月 (ISBN: 4839923116)