ffmpeg というモジュールを使って変換できます。ffmpeg による一発変換だとファイルサイズが大きくなりすぎるので、一旦パレットを生成してファイルサイズを抑制します。 (2016年12月追記) 本記事のノウハウをそのまま GUI ツールとして実装しました。(Windo…

avi や mp4 等をアニメーションGIFに変換する