【議論】キタサンとマヤノが重なる確率を計算してみたぞw