研究者
J-GLOBAL ID:201101088268275003
更新日: 2011年02月28日
小林 健一
Kobayashi Kenichi
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署:
株式会社豆蔵
株式会社豆蔵 について
「株式会社豆蔵」ですべてを検索
研究キーワード (7件):
形式手法
, 数理的手法
, Functional Programming
, Computational Theory
, Formal Methods
, 関数型言語
, 計算理論
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM