ＩＴの基礎となる離散数学 / 小豆畑隆／共著　渡邉正／共著