単行本(実用) 数学 コンピュータサイエンスのための離散数学入門