簡単に動画をGIFに変換できるアプリ「Stacc」を使ってみました。FFmpegやGifoxなど同様のアプリは色々ありますが、圧倒的に使い勝手が良いのでおすすめです。