モンティホールはシミュレーションで証明されたとか聞くんだが、どんなアルゴリズムだったんだろう
納得いってない