今井敬吾

更新日: 18/12/12 10:06

研究者氏名	今井敬吾
ハンドル	keigoi
eメール	keigoigifu-u.ac.jp
URL	https://keigoimai.info/
所属	岐阜大学
部署	工学部
職名	助教
学位	博士(情報科学)(名古屋大学)
Twitter ID	keigoi
ORCID ID	0000-0003-1602-8473

プロフィール

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

研究キーワード

計算機科学(260) , プログラミング言語(71) , 関数プログラミング(12) , 型システム(14) , モデル検査(21) , 形式手法(36) , Haskell(1) , OCaml(1) , 並行理論(2) , π計算(4)

研究分野

情報学 / 情報学基礎理論 / プログラミング言語
情報学 / ソフトウェア / ソフトウェア工学

経歴

テキストで表示

2016年9月

現在

岐阜大学工学部電気電子・情報工学科情報コース助教

2013年12月

2016年8月

京都大学学術研究支援室特定専門業務職員 (URA)

2010年4月

2013年11月

有限会社ITプランニングソフトウェアエンジニア

2009年4月

2010年3月

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

2007年4月

2009年3月

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

2006年4月

2007年3月

名古屋大学情報科学研究科 COE研究アシスタント

学歴

テキストで表示

2006年4月

2009年3月

名古屋大学情報科学研究科情報システム学専攻博士課程（後期課程）

2004年4月

2006年3月

名古屋大学情報科学研究科情報システム学専攻博士課程（前期課程）

2000年4月

2004年3月

名古屋大学工学部物理工学科

論文

テキストで表示

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年 [査読有り]

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年 [査読有り]

Who Search for Research Grant for What and When?

Yusuke Yamamoto, Keigo Imai, Taketo Tsugehara

Information Engineering Express 2(1) 11-22 2016年 [査読有り]

Can We Understand Researcher Grant Needs Without Direct Communication?

Yusuke Yamamoto; Keigo Imai; Taketo Tsugehara

In Proceedings of 4th International Congress on Advanced Applied Informatics (IIAI-AAI 2015), Okayama, Japan 462-467 2015年7月 [査読有り]

A Session Type System with Subject Reduction

Keigo Imai,Shoji Yuen,Kiyoshi Agusa

IEICE Transactions 95-D(8) 2053-2064 2012年 [査読有り]

Session Type Inference in Haskell

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年 [査読有り]

動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング

横山哲郎, 今井敬吾, ZENG Gang, 冨山宏之, 高田広章, 結縁祥治

情報処理学会論文誌プログラミング 2(2) 54-69 2009年4月 [査読有り]

Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク

今井敬吾, 結縁祥治, 阿草清滋

情報処理学会論文誌 47(SIG16(PRO31)) 10-28 2006年10月 [査読有り]

書籍等出版物

テキストで表示

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

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

オーム社 2013年 ISBN:9784274069116

Scala実践プログラミング

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

秀和システム 2011年6月 ISBN:479802998X

入門OCaml 〜プログラミング基礎と実践理解〜

OCaml-Nagoya (担当:共著)

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

Misc

テキストで表示

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 169 2017年1月

京都大学URAネットワークにおける研究資金獲得支援　情報の収集・提供・分析

天野絵里子; 岡野恵子; 稲石奈津子; 今井敬吾

情報管理 58(2) 83-91 2015年1月

極性をもたないセッション型システム

今井敬吾, 結縁祥治, 阿草清滋

第12回プログラミングおよびプログラミング言語ワークショップ論文集 (PPL2010) 16-30 2010年3月 [査読有り]

Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築

伴潤, 今井敬吾, 結縁祥治

電子情報通信学会技術研究報告 109(41(KBSE2009 1-11)) 49-54 2009年5月

本稿では,プロセス計算の操作意味を定義するときに一般的に用いられる構造操作意味定義(SOS)によって定義されるラベル付き遷移系を実現するインタプリタを書換え論理の処理系であるMaudeによって実装する.SOS規則の前件に否定を含む場合の充足性検査として,Maudeのメタレベルの探索機能を用いることで,一般的なSOSを解釈するインタプリタを構築する.さらに,SOSから導出されるラベル付き遷移系上での項に対する強双模倣等価性検証器をMaudeによって実装し,SOSによって定義される動作仕様上で...

A full implementation of Session Types in Haskell

Keigo Imai, Shoji Yuen, Kiyoshi Agusa

第11回プログラミングおよびプログラミング言語ワークショップ論文集 (PPL2009) 44-56 2009年3月 [査読有り]