×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
小林 健一
Kenichi Kobayashi
更新日: 2011/02/28
ホーム
研究キーワード
基本情報
所属
株式会社豆蔵
J-GLOBAL ID
201101088268275003
researchmap会員ID
B000004249
株式会社豆蔵所属
形式手法、関数型言語に興味を持つ
研究キーワード
7
形式手法
Functional Programming
Computational Theory
Formal Methods
関数型言語
計算理論
数理的手法
メニュー
マイポータル
研究ブログ
資料公開
フォロー一覧
まだ誰もフォローしていません。
{{follow.Related.user_name_ja}}
{{follow.Related.modified}} 更新
もっとみる