標本空間が有限集合であるという前提を
受け入れることはなかなか難しい