シリーズ監修者

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

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

田中　譲（たなか　ゆずる）（※）
1974 年　京都大学大学院工学研究科修士課程修了
現　在　　北海道大学大学院情報科学研究科教授　工学博士
　　　　　知識メディア、知識連携の研究に従事。

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

粂野　文洋（くめの　ふみひろ）
1990年　早稲田大学大学院理工学研究科数学専攻修士課程修了
現　在　　株式会社三菱総合研究所情報技術研究センター主任研究員・国立情報学研究所特任准教授
　　　　　自動推論、エージェント技術、自己適応型ソフトウェアアーキテクチャ、形式手法ツールの応用等に興味を持つ。

櫻庭　健年（さくらば　たけとし）
1983年　東北大学大学院博士課程数学専攻前期課程修了
1983年　株式会社日立製作所
現　在　　株式会社日立製作所システム開発研究所
　　　　　オペレーティングシステム、情報セキュリティの研究に従事。
　　　　　情報プラットフォームのセキュリティ機能に興味を持つ。

田口　研治（たぐち　けんじ）
2001年　スウェーデン王国ウプサラ大学計算機科学博士号
現　在　　国立情報学研究所特任教授
　　　　　形式手法の研究と教育に従事。
　　　　　現在は、安全要求工学、形式仕様とテスティングに興味を持つ。

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