Keigo Imai

Profile Information

Affiliation: 岐阜大学工学部助教

Degree: Doctor of Information Science(Nagoya University)

External link: https://keigoimai.info/

Research interests: Programming language theory, Concurrency theory, Type theory, Industrial use of functional programming languages, Embedded software,
Research strategy and bibliometrics. Once I was in industry and did job using functional programming languages (OCaml and Haskell). 3-year experience in Research Administration Office, Kyoto University.

Research Interests

Research Areas

Research History

9 2016 - Present

Gifu University Department of Electrical, Electronic and Computer Engineering Assistant Professor
12 2013 - 8 2016

Kyoto University Research Administration Office Program-Specific Specialist Administrator (URA)
4 2010 - 11 2013

IT Planning, Inc. Software Engineer
4 2009 - 3 2010

Nagoya University Center for Embedded Systems (NCES) Researcher
4 2007 - 3 2009

Nagoya University Center for Embedded Systems (NCES) Research Assistant

Education

4 2006 - 3 2009

Nagoya University Graduate School of Information Science Department of Information Engineering (Doctoral Course)
4 2004 - 3 2006

Nagoya University Graduate School of Information Science Department of Information Engineering (Master Course)
4 2000 - 3 2004

Nagoya University School of Engineering Department of Physical Science and Engineering

Papers

Session Types without Sophistry (System Description)

Oleg Kiselyov, Keigo Imai

FLOPS 2020: International Symposium on Functional and Logic Programming (LNCS, to appear) 4 2020 Peer-reviewed
Lightweight linearly-typed programming with lenses and monads

Keigo Imai, Jacques Garrigue

Journal of Information Processing 27 431 - 444 6 2019 Peer-reviewed
Towards Bidirectional Synchronization between Communicating Processes and Session Types

Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu

SFDI2019: Second Workshop on Software Foundations for Data Interoperability (In proceedings of 2019 IEEE International Conference on Big Data and Smart Computing (BigComp)) 1 - 5 2 2019 Peer-reviewed
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 Peer-reviewed
Session-ocaml: a Session-based Library with Polarities and Lenses

Keigo Imai, Nobuko Yoshida, Shoji Yuen

COORDINATION 2017: Coordination Models and Languages (Lecture Notes in Computer Science, volume 10319) 99 - 118 2017 Peer-reviewed

Books and Other Publications

型システム入門 : プログラミング言語と型の理論 (A Japanese translation of "Types and Programming Languages" (B. C. Pierce))

Benjamin C. Pierce, Eijiro Sumii, Yusuke Endo, Masahiro Sakai, Keigo Imai, Yusuke Kuroki, Yoshihiro Imai, Takafumi Saikawa, Takeo Imai(Role: Joint translator)

Ohmsha 2013 (ISBN: 9784274069116)
Scala実践プログラミング (Pragmatic programming in Scala)

Satoshi Ogasawara, Tomohito Ozaki, Takashi Seki, Kota Mizushima, Keigo Imai(Role: Joint author)

SHUWA SYSTEM CO.,LTD 6 2011 (ISBN: 479802998X)
入門OCaml (Introduction to OCaml)

OCaml-Nagoya(Role: Joint author)

Mainichi Communications Inc. 5 2007 (ISBN: 4839923116)

Misc.

Research funding support service by Kyoto University Research Administrator network : Collection, analysis, and provision of information

AMANO Eriko, OKANO Keiko, INAISHI Natsuko, IMAI Keigo

Journal of Information Processing and Management 58(2) 83 - 91 2015

Presentations

セッション型、簡潔に (ポスター)

オレッグキセリョーヴ, 今井敬吾

第 21 回プログラミングおよびプログラミング言語ワークショップ (PPL 2019) (to appear) 3 6, 2019
レンズとモナドを用いた軽量な線形型付きプログラミング

今井敬吾, Jacques Garrigue

第121回プログラミング研究発表会 11 1, 2018 情報処理学会プログラミング研究会
Session types without sophistry

Oleg Kiselyov, Keigo Imai

IFIP Working Group 2.11, Eighteenth Meeting 6 7, 2018
ソフトウェアの信頼性を高める定理証明支援系の応用事例について

今井敬吾

オープンソースカンファレンス 2018 Nagoya 5 19, 2018 オープンソースカンファレンス実行委員会
Session-ocaml: a session-based library with polarities and lenses (PPL カテゴリ2)

Keigo Imai, Nobuko Yoshida, Shoji Yuen

第20回プログラミングおよびプログラミング言語ワークショップ 3 6, 2018 日本ソフトウェア科学会プログラミング論研究会

Awards

9 2010

組込みシステム技術に関するサマーワークショップ(SWEST12) ベストポスター賞

今井敬吾

Research Projects

メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング (Session-typed programming in unreliable communication environment)

Japan Society for the Promotion of Science Grant-in-Aid for Young Scientists (B)

Keigo IMAI
研究コミュニティ分析に基づく研究戦略立案ツールキットの構築 (Development of research strategy toolkit based on research community analysis)

The Institute of Statistical Mathematics Research Collaboration Project

Yasuhiro Nagai

Professional Memberships

Committee Memberships

4 2017 - Present

IPSJ Transactions on Programming Editorial committee