{{flash.message}}
researchmap
  • 日本語 | English
  • 新規登録
  • ログイン
アバター

今井 敬吾

イマイ ケイゴ  (Keigo Imai)
更新日: 04/22
  • ホーム
  • 経歴
  • 委員歴
  • 論文
  • 講演・口頭発表等
  • 書籍等出版物
  • MISC
  • 学術貢献活動
  • 共同研究・競争的資金等の研究課題
  • 受賞
  • 研究分野
  • 研究キーワード
  • 所属学協会
  • 学歴

研究キーワード

  10
  • 計算機科学 
  • プログラミング言語 
  • モデル検査 
  • 形式手法 
  • Haskell 
  • OCaml 
  • π計算 
  • 型理論 
  • 並行理論 
  • 関数プログラミング 
マイポータルへ

メニュー

マイポータル

共著者の一覧

まだ共著者が1人も登録されていません。
アバター
{{coauthor.Related.name_str}}

{{coauthor.Related.last_modified}} 更新

フォロー一覧

まだ誰もフォローしていません。
アバター
{{follow.Related.user_name_ja}}

{{follow.Related.modified}} 更新

2017 researchmap
利用規約
Japan Science and Technology Agency