研究者
J-GLOBAL ID:200901055787039500
更新日: 2009年02月09日
二木 厚吉
フタツギ コウキチ | Futatsugi Kokichi
所属機関・部署:
職名:
教授
ホームページURL (1件):
http://www.jaist.ac.jp/~kkgi/thisyear/soj/00043soj.html
研究キーワード (6件):
並列協調型言語などの新しいタイプの計算機言語の設計/開発とそれに基づくソフトウェアの構成法
, 宣言型言語
, 形式仕様言語
, 言語設計学
, フォーマルメソッド
, ソフトウェア科学・工学
競争的資金等の研究課題 (1件):
- ソフトウェア科学・工学,フォーマルメソッド,言語設計学;形式仕様言語,宣言型言語,並列協調型言語などの新しいタイプの計算機言語の設計/開発とそれに基づくソフトウェアの構成法
学歴 (3件):
- - 1975 東北大学 工学研究科 電気及通信工学専攻
- - 1972 東北大学 工学研究科 電気及通信工学専攻
- - 1970 東北大学 工学部 電気工学科
学位 (3件):
- 工学士 (東北大学)
- 工学修士 (東北大学)
- 工学博士 (東北大学)
前のページに戻る