ソフトウェア科学基礎_最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座)