数値計算屋さんの雑記，メモ．
雑な計算で見た目がそれっぽいしか言えないと思う．ちゃんと計算できているかは系の第1積分（保存量）等を調べる必要があるがそこまでするほどの精度持ってないので確認していない．
シングルコアで計算するなら2^15体程度が限界か．
あえて8K解像度にしている．見るときは（8Kが再生できる環境はほぼ無いから）画質が落ちるが1点の星が潰れて集団でもやっとした白色になることを期待しているため．
Youtubeの動画の扱いを調べたが8Kまではいけるらしい．公式で調べたわけではないがH.265じゃないと8Kまで対応してくれないっぽい（詳しくは調べてください）．
なのでエンコードは連番pngファイルをffmpegで以下の通り実行した．当たり前だがH.264よりずっと重い処理になる．
$ ffmpeg -r 60 -i %05d.png -c:v hevc -r 60 n_2_15.mp4