本位田 真一（ほんいでん　しんいち）
1978 年　早稲田大学大学院理工学研究科博士前期課程 修了
1978 年　株式会社 東芝
現　在　　国立情報学研究所 教授・東京大学大学院情報理工学系研究科 教授　工学博士

監修者・著者紹介（※は監修者）

大須賀 昭彦（おおすが あきひこ）（※）
1981 年　上智大学理工学部数学科 卒業
1981 年　株式会社 東芝
1985 年〜 1989 年　（財）新世代コンピュータ技術開発機構（ICOT）
1995 年　工学博士（早稲田大学）
現　在　電気通信大学大学院情報システム学研究科 教授
IEEE Computer Society Japan Chapter Chair、人工知能学会理事、日本ソフトウェア科学会理事などを歴任。
ソフトウェア工学、人工知能の研究に従事。

長谷川 哲夫（はせがわ てつお）
1987 年　早稲田大学大学院理工学研究科電気工学修士課程 修了
現　在　　株式会社 東芝　ソフトウエア技術センター
ソフトウェア工学、自律分散システム、仮想化技術などの研究開発に従事。

田原 康之（たはら やすゆき）
1991 年　東京大学大学院理学系研究科修士課程 修了
1991 年　株式会社 東芝
2003 年　国立情報学研究所
現　在　電気通信大学大学院情報システム学研究科 准教授　博士（情報科学）
エージェント技術、ソフトウェア工学の研究に従事。
特に、エージェント指向開発方法論、モデル検査技術、および要求分析技
術に興味を持つ。

磯部 祥尚（いそべ よしなお）
1992 年　芝浦工業大学大学院電気工学専攻修士課程 修了
1992 年　通商産業省工業技術院電子技術総合研究所
現　在　　独立行政法人 産業技術総合研究所主任研究員　工学博士
形式手法による並行システムの検証に関する研究に従事。