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

監修者・訳者紹介（※は監修者）
石川　冬樹（いしかわ　ふゆき）（※）
2007 年　東京大学大学院 情報理工学系研究科博士課程 修了　博士（情報理工学）
現　在　　国立情報学研究所 アーキテクチャ科学研究系 准教授・電気通信大学大学院情報学専攻 客員准教授
形式手法を主としたソフトウェア工学、およびサービスコンピューティングの研究に従事。

土肥　拓生（どい　たくお）
2008 年　東京大学大学院 情報理工学系研究科博士課程 単位取得の上退学
2016 年　電気通信大学大学院 情報システム学研究科博士課程 修了　博士（工学）
現　在　　ライフマティックス株式会社 執行役員 CTO / 国立情報学研究所 特任准教授
トップエスイープロジェクトを始めとして、アジャイル開発の教育に従事

前澤　悠太（まえざわ　ゆうた）
2015 年　東京大学大学院 情報理工学系研究科博士課程 修了　博士（情報理工学）
2015 年　国立情報学研究所 特任助教
現　在　　株式会社Udzuki 代表取締役
ソフトウェアテスト・デバッグの自動化に関する研究に従事

末永　俊一郎（すえなが　しゅんいちろう）
1999 年　東北大学大学院 理学研究科地球物理学専攻 修了
1999 年　株式会社 東芝
現　在　　ライフマティックス株式会社 代表取締役社長　博士（情報学）