![北陸先端科学技術大学院大学 [JAIST] - 研究者総覧](images/info_01.gif)
| 研究室 |
| 情報研究棟IS Building II 7F |
| TEL：0761-51-1255 |
研究室ホームページ |
| Japanese | English |
| リポジトリ公開資料 |
| 共同研究等のお問い合わせは， 産学官連携総合推進センター |
二木 厚吉 （フタツギ コウキチ） 特任教授
ソフトウェア検証研究センター
■学位
東北大学工学士 (1970)，東北大学工学修士 (1972)，東北大学工学博士 (1975)
■職歴
通商産業省工業技術院電子技術総合研究所研究員 (1975)，スタンフォード研究所客員研究員(1983-84)，電子技術総合研究所ソフトウェア部言語処理研究室長 (1985)，同所情報アーキテクチャ部言語システム研究室長 (1988)，同所首席研究官 (1992)
北陸先端科学技術大学院大学情報科学研究科長(併任)(2001-2003）
■専門分野
ソフトウェア科学・工学，フォーマルメソッド，言語設計学；形式仕様言語，宣言型言語，並列協調型言語などの新しいタイプの計算機言語の設計/開発とそれに基づくソフトウェアの構成法
■研究テーマのキーワード
フォーマルメソッド，形式仕様言語，設計言語，システム検証，ソフトウェア工学
■研究課題
形式仕様言語(formal specification languages)の研究
解析や検証が可能なように要求仕様，設計仕様などを記述し得る形式仕様言語の設計法，意味定義法，処理系の構成法などについて研究する。VMD/ZやOBJなどの言語を発展させた仕様言語を開発し，形式仕様に基づく設計法，解析法，検証法などの体系化を目指す。
並列協調型言語(concurrent and cooperative programming languages)の研究
協調問題解決を実現するための計算機言語を研究する。関数型言語，並列論理型言語，代数仕様言語，並行オブジェクト指向言語などの次に来るべき言語の開発を目指す。
言語設計法(methodology for language design)の研究
計算機言語の定義法，設計法とそのための理論，ツールや環境について研究する。システム設計法の基礎科学としての言語設計学の体系化を目指す。
■研究業績
◇著書
- CAFE: An Industiral-Strength Algebraic Formal Method，Kokichi Futatsugi, Aataru Nakagawa, Tetsuo Tamai, editors，Elsevier，2000，xiv+194 pages
◇発表論文
- Automating Invariant Verification of Behavioral Specifications，Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, and Kokichi Futatsugi ，In Proceedings of The Sixth IEEE International Conference on Quality Software (QSIC2006)，pp. 49-56，Oct. 2006
- モジュラーな代数仕様言語のための項書き換えシステム,，中村正樹 二木厚吉，コンピュータソフトウェア ，Vol. 23，No. 3，pp. 35-50，JULY 2006
- A Behavioral Specification of Imperative Programming Languages，Nakamura, M., Watanabe, M., Futatsugi, K.，IEICE Transactions on Fundamentals of Electronics, Communications ancComputer Sciences，Vol. E89-A，No. 6，pp. 1558-1565，JUNE 2006
◇講演発表
- 代数仕様言語CafeOBJ と証明支援系Coq によるSTSプロトコルの形式化と検証，原光太朗, 緒方和博, 中村正樹, 二木厚吉，情報科学技術フォーラム FIT2004，4-Sep
- STSプロトコルの形式化と検証によるCafeOBJとCoqの比較，原光太朗，緒方和博，中村正樹，二木厚吉，電子情報通信学会技術研究報告，信学術報，2005
- 項書き換えシステムにおける可簡約演算子とその応用，中村正樹, 二木厚吉，情報科学技術レターズ vol.3 (FIT2004)
■担当講義
関数プログラミング(E)，関数プログラミング
■学外活動
◇その他の国際・国内貢献等
- 第９回書換論理ワークショップ，ステアリング委員会委員プログラム委員会委員，2012/03/24 - 2012/03/25
- The 4th International Conference on Theory and Practice of Electronic Governance (ICEGOV2010)，プログラム委員，2010/10/25 - 2010/10/28
- 32th International Conference on Software Engineering (ICSE 2010), New Ideas and Emerging Results Track，プログラム委員，2010/05/02 - 2010/05/08
■賞等
- 日本ソフトウェア科学会フェロー，2009
■共同研究等希望テーマ
- 形式仕様言語(formal specification languages)の研究
- コンポーネントベースソフトウェア開発
- システム信頼性・安全性