研究者
J-GLOBAL ID：201101042577681644   更新日: 2024年04月01日

今井 敬吾

イマイ ケイゴ | Imai Keigo
所属機関・部署：
株式会社ディー・エヌ・エー

株式会社ディー・エヌ・エー について


ホームページURL (1件)： https://keigoimai.info/
研究分野 (2件)： 情報学基礎論 ,  ソフトウェア
研究キーワード (10件)： 計算機科学 ,  プログラミング言語 ,  モデル検査 ,  形式手法 ,  Haskell ,  OCaml ,  π計算 ,  型理論 ,  並行理論 ,  関数プログラミング
競争的資金等の研究課題 (6件)：
  • 2021 - 2026 データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
  • 2021 - 2025 セッション型の埋め込みに基づく実用的な並行分散計算
  • 2020 - 2024 真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践
  • 2017 - 2022 メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
  • 2016 - 2017 研究コミュニティ分析に基づく研究戦略立案ツールキットの構築
全件表示
論文 (14件)：
  • Keigo Imai, Julien Lange, Rumyana Neykova. Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 13243. 2022. 379-386
  • Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen. Multiparty Session Programming with Global Protocol Combinators. ECOOP 2020: 34th European Conference on Object-Oriented Programming, Leibniz International Proceedings in Informatics. 2020. 166. 9:1-9:30
  • Shunsuke Kimura, Keigo Imai. Fluent Session Programming in C#. PLACES 2020: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, co-located with ETAPS 2020, Dublin, Ireland, Electronic Proceedings in Theoretical Computer Science. 2020. 314. 61-75
  • Oleg Kiselyov, Keigo Imai. Session Types Without Sophistry (System Description). FLOPS 2020: 15th International Symposium on Functional and Logic Programming, Lecture Notes in Computer Science. 2020. 12073. 66-87
  • Keigo Imai, Jacques Garrigue. Lightweight linearly-typed programming with lenses and monads. Journal of Information Processing. 2019. 27. 431-444
もっと見る
MISC (7件)：
もっと見る
書籍 (3件)：
  • 型システム入門 : プログラミング言語と型の理論
    オーム社 2013 ISBN:9784274069116
  • Scala実践プログラミング
    秀和システム 2011 ISBN:479802998X
  • 入門OCaml 〜プログラミング基礎と実践理解〜
    毎日コミュニケーションズ 2007 ISBN:4839923116
講演・口頭発表等 (51件)：
  • OCaml におけるプレースホルダ式によるアドホック多相の実現
    (第143回プログラミング研究発表会 2023)
  • 有界な余帰納的定義による非同期マルチパーティセッション型の無限トレース意味論
    (第141回プログラミング研究発表会 2022)
  • The System SOL version 2022
    (WST 2022: 18th International Workshop on Termination 2022)
  • Polymorphic Multiparty Session Handlers in OCaml
    (PLACES 2022: 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, Munich, Germany 2022)
  • 文脈自由マルチパーティセッション型の実装 (ポスター)
    (PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022)
もっと見る
学歴 (3件)：
  • 2006 - 2009 名古屋大学 情報科学研究科 情報システム学専攻 博士課程(後期課程)
  • 2004 - 2006 名古屋大学 情報科学研究科 情報システム学専攻 博士課程(前期課程)
  • 2000 - 2004 名古屋大学 工学部 物理工学科
学位 (1件)：
  • 博士(情報科学) (名古屋大学)
経歴 (9件)：
  • 2023/08 - 現在 株式会社ディー・エヌ・エー
  • 2016/09 - 2023/07 岐阜大学 工学部 電気電子・情報工学科 情報コース 助教
  • 2019/03 - 2019/09 ブルーネル・ユニバーシティ・ロンドン 客員研究員
  • 2019/02 - 2019/09 インペリアルカレッジロンドン Department of Computing 客員研究員
  • 2013/12 - 2016/08 京都大学 学術研究支援室 特定専門業務職員 (URA)
全件表示
委員歴 (21件)：
  • 2022/04 - 現在 情報処理学会 プログラミング研究会 幹事
  • 2022/04 - 現在 IPSJ-PRO: 情報処理学会論文誌プログラミング (PRO) 編集委員
  • 2024 - COORDINATION 2024: 26th International Conference on Coordination Models and Languages Artefact Evaluation Committee Member
  • 2024 - PPL 2024: 第26回プログラミングおよびプログラミング言語ワークショップ 組織副委員長
  • 2024 - FACS 2024: 20th International Conference on Formal Aspects of Component Software プログラム委員
全件表示
受賞 (2件)：
  • 2022/03 - 第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022) 【学生の受賞】PPL 2022 ポスター賞(学生の部) OCamlのための構文上の穴を用いたアドホック多相のプリプロセッサによる実装
  • 2010/09 - 組込みシステム技術に関するサマーワークショップ(SWEST12) ベストポスター賞
所属学会 (4件)：
情報処理学会 ,  ACM ,  電子情報通信学会 ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM