メンバー紹介 - 磯部 祥尚, 櫻庭 健年, 田口 研治, 田原 康之, 粂野 文洋, 田中 譲 (監修): ソフトウェア科学基礎—最先端のソフトウェア開発に求められる数理的基礎，近代科学社 (2008.09)