富岳で9000年かかるような計算式をどうやって作ってるんかね