前回のあらすじ その前に計算の高速化の試み event-Bの判定プログラム 前回のあらすじ 東京大学2023年の数学入試問題で出題された確率の問題を「ありとあらゆる手段」で理解してしまおうという試みを、ここしばらく行なっている。 問題の概要を再確認してお…