シリーズ監修者

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

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

萩谷　昌己（はぎや　まさみ）（※）
1982 年　東京大学大学院理学系研究科修士課程修了
東京大学大学院情報理工学系研究科教授　理学博士
形式的手法，理論計算機科学の研究に従事。
計算モデル、形式的検証、プログラミング言語、分子コンピューティングに興味を持つ。

吉岡　信和（よしおか　のぶかず）
1998 年　北陸先端科学技術大学院大学情報科学研究科博士後期課程修了
1998 年　株式会社東芝
国立情報学研究所准教授・総合研究大学院大学准教授　博士（情報科学）
ソフトウェア工学、形式手法、セキュリティソフトウェア工学、セキュリティパターンの研究・教育に従事。

青木　利晃（あおき　としあき）
1999 年　北陸先端科学技術大学院大学情報科学研究科博士後期課程修了
北陸先端科学技術大学院大学安心電子社会研究センター特任准教授　博士（情報科学）
ソフトウェア工学・科学、形式手法、形式検証の研究に従事。
オブジェクト指向開発、組込みシステム開発に興味を持つ。

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