厳密には、♂になる確率(7/8)*色違いになる確率(1/64)で7/512じゃないだろうか