>>305
そのシミュレーションによる証明はどの論文で読める?とても興味がある