富岳使ったシミュレーションとは何だったのか