×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
今井 敬吾
イマイ ケイゴ (Keigo Imai)
更新日: 2020/10/15
経歴
研究キーワード
研究分野
論文
講演・口頭発表等
書籍等出版物
MISC
委員歴
学術貢献活動
共同研究・競争的資金等の研究課題
受賞
所属学協会
学歴
アバターの編集
アバターの削除
公開
研究者のみに公開
決定
キャンセル
研究キーワード
10
型理論
π計算
並行理論
計算機科学
プログラミング言語
関数プログラミング
モデル検査
形式手法
Haskell
OCaml
メニュー
マイポータル
共著者の一覧
まだ共著者が1人も登録されていません。
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} 更新
もっとみる
フォロー一覧
まだ誰もフォローしていません。
{{follow.Related.user_name_ja}}
{{follow.Related.modified}} 更新
もっとみる