単行本(実用) 数学 離散数学 コンピュータサイエンスの基礎数学