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

二木 厚吉

フタツギ コウキチ  (Kokichi Futatsugi)
更新日: 2009/02/10
  • ホーム
  • 研究キーワード
  • 研究分野
  • 学歴
  • 共同研究・競争的資金等の研究課題

基本情報

所属
北陸先端科学技術大学院大学 情報科学研究科 情報科学専攻 教授
学位
工学士(東北大学)
工学修士(東北大学)
工学博士(東北大学)

J-GLOBAL ID
200901055787039500
researchmap会員ID
5000087719

外部リンク
http://www.jaist.ac.jp/~kkgi/thisyear/soj/00043soj.html

研究キーワード

  6
  • 並列協調型言語などの新しいタイプの計算機言語の設計/開発とそれに基づくソフトウェアの構成法 
  • 宣言型言語 
  • 形式仕様言語 
  • 言語設計学 
  • フォーマルメソッド 
  • ソフトウェア科学・工学 

研究分野

  1
  • 情報通信 / ソフトウェア /  

学歴

  3
  • - 1975年
    東北大学, 工学研究科, 電気及通信工学専攻 
  • - 1972年
    東北大学, 工学研究科, 電気及通信工学専攻 
  • - 1970年
    東北大学, 工学部, 電気工学科 

共同研究・競争的資金等の研究課題

  1
  • ソフトウェア科学・工学,フォーマルメソッド,言語設計学;形式仕様言語,宣言型言語,並列協調型言語などの新しいタイプの計算機言語の設計/開発とそれに基づくソフトウェアの構成法 

メニュー

マイポータル
2017 researchmap
Japan Science and Technology Agency