リタマラの確率どうこうの検証ってどんなんだったっけ