For the audio browser usersMove to the content area日本語EnglishSign up

Keigo Imai

Following
Delete
Ogawa Kiyoshi04/21, updated
Delete
IKEGAMI Daisuke2018/01, updated

Keigo Imai

J-GLOBAL         Last updated: Apr 14, 2019 at 19:40
 
Avatar
Name
Keigo Imai
Nickname
keigoi
E-mail
keigoigifu-u.ac.jp
URL
https://keigoimai.info/
Affiliation
Gifu University
Section
Faculty of Engineering
Degree
Doctor of Information Science(Nagoya University)
Twitter ID
keigoi
ORCID ID
0000-0003-1602-8473

Profile

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 Areas

 
 

Academic & Professional Experience

Plain Text 
 
Sep 2016
 - 
Today
Assistant Professor, Department of Electrical, Electronic and Computer Engineering, Gifu University
 
Dec 2013
 - 
Aug 2016
Program-Specific Specialist Administrator (URA), Research Administration Office, Kyoto University
 
Apr 2010
 - 
Nov 2013
Software Engineer, IT Planning, Inc.
 
Apr 2009
 - 
Mar 2010
Researcher, Center for Embedded Systems (NCES), Nagoya University
 
Apr 2007
 - 
Mar 2009
Research Assistant, Center for Embedded Systems (NCES), Nagoya University
 
Apr 2006
 - 
Mar 2007
COE Research Assistant, Graduate School of Information Science, Nagoya University
 

Education

Plain Text 
 
Apr 2006
 - 
Mar 2009
Department of Information Engineering (Doctoral Course), Graduate School of Information Science, Nagoya University
 
Apr 2004
 - 
Mar 2006
Department of Information Engineering (Master Course), Graduate School of Information Science, Nagoya University
 
Apr 2000
 - 
Mar 2004
Department of Physical Science and Engineering, School of Engineering, Nagoya University
 

Published Papers

Plain Text 
 
Lightweight linearly-typed programming with lenses and monads
Keigo Imai, Jacques Garrigue
Journal of Information Processing   (to appear)    2019   [Refereed]
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   Feb 2019   [Refereed]
Keigo Imai, Nobuko Yoshida, Shoji Yuen
Science of Computer Programming   172 135-159   2018   [Refereed]
Keigo Imai, Nobuko Yoshida, Shoji Yuen
COORDINATION 2017: Coordination Models and Languages (Lecture Notes in Computer Science, volume 10319)   99-118   2017   [Refereed]
Yusuke Yamamoto, Keigo Imai, Taketo Tsugehara
Information Engineering Express   2(1) 11-22   2016   [Refereed]
Yusuke Yamamoto; Keigo Imai; Taketo Tsugehara
In Proceedings of 4th International Congress on Advanced Applied Informatics (IIAI-AAI 2015), Okayama, Japan   462-467   Jul 2015   [Refereed]
Keigo Imai,Shoji Yuen,Kiyoshi Agusa
IEICE Transactions   95-D(8) 2053-2064   2012   [Refereed]
Keigo Imai,Shoji Yuen,Kiyoshi Agusa
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010.   74-91   2010   [Refereed]
Tetsuo Yokoyama, Keigo Imai, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada, Shoji Yuen
IPSJ Transactions on Programming   2(2) 54-69   Apr 2009   [Refereed]
IMAI KEIGO, YUEN SHOJI, AGUSA KIYOSHI
IPSJ Transactions on Programming (PRO)   47(SIG16(PRO31)) 10-28   Oct 2006   [Refereed]

Books etc

Plain Text 
 
型システム入門 : プログラミング言語と型の理論 (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 (Part:Joint Translation)
Ohmsha   2013   ISBN:9784274069116
Scala実践プログラミング (Pragmatic programming in Scala)
Satoshi Ogasawara, Tomohito Ozaki, Takashi Seki, Kota Mizushima, Keigo Imai (Part:Joint Work)
SHUWA SYSTEM CO.,LTD   Jun 2011   ISBN:479802998X
入門OCaml (Introduction to OCaml)
OCaml-Nagoya (Part:Joint Work)
Mainichi Communications Inc.   May 2007   ISBN:4839923116

Misc

Plain Text 
 
Eriko Amano; Keiko Okano; Natsuko Inaishi; Keigo Imai
JOURNAL OF INFORMATION PROCESSING AND MANAGEMENT   58(2) 83-91   Jan 2015

Conference Activities & Talks

Plain Text 
 
Oleg Kiselyov, Keigo Imai
IFIP Working Group 2.11, Eighteenth Meeting   7 Jun 2018   
Keigo Imai; Shoji Yuen; Nobuko Yoshida
Dagstuhl Seminar 17051: Theory and Applications of Behavioural Types   Jan 2017   
Keigo Imai
JSSST PPL summer school 2012   21 Aug 2012   
Keigo Imai
Commercial Users of Functional Programming (CUFP 2011)   Aug 2011   
Jun Ban, Keigo Imai, Shoji Yuen
Technical Committee on Software Science (SIG-SS)   22 May 2009   IEICE
This paper presents a general implementation by Maude of labelled transition systems specified by SOS (structural operational semantics) with negative premises. The search mechanism of the 'meta-level' in Maude eases the checking of negative premi...
A full implementation of Session Types in Haskell
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
The 11th JSSST Workshop on Programming and Programming Languages (PPL2009)   Mar 2009   
An i/o typed framework for network programming in Haskell based on Localized pi-calculus (Poster)
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
The Third Asian Symposium on Programming Languages and Systems (APLAS 2005)   Nov 2005   

Research Grants & Projects

Plain Text 
 
Japan Society for the Promotion of Science: Grant-in-Aid for Young Scientists (B)
Project Year: Apr 2017 - Mar 2021    Investigator(s): Keigo IMAI
研究コミュニティ分析に基づく研究戦略立案ツールキットの構築 (Development of research strategy toolkit based on research community analysis)
The Institute of Statistical Mathematics: Research Collaboration Project
Project Year: Apr 2016 - Mar 2017    Investigator(s): Yasuhiro Nagai

Committee Memberships

Plain Text 
 
Apr 2017
 - 
Today
IPSJ Transactions on Programming  Editorial committee