離散数学の本質は酸っぱいブドウだっけ