p5.js Web Editorを使って図を作成し、gif形式で保存しようと思ったら、意外とどうすればいいのか分からなかったのでここにメモしておく。 editor.p5js.org saveGifという関数が用意されており、これをkeyPressedやmousePressedに入れた状態でPreviewを実行…