mp4からのアニメーションGIFの作成方法

アニメーションGIFはかなりレガシーな形式ですが、Twitterに投稿できるようになるなど今でも使われ続けています。mp4の動画からアニメーションGIFを作成する方法をメモしておきます。動画形式はlibavで読めるものならmp4でなくてもできるはずです。 必要なソフトのインストール libav(ffmpegからフォーク…