Mac上で動画をGifに変換する必要があり、どういった方法があるのか調べると、FFmpegというソフトが良いらしいことが判明。ただし、このソフトはインストールも実際の操作もコマンドラインを使うことになる。Macではターミナルを使うことになるのだが、僕はコード書くことなどまずないので、ターミナルの作業には少なからず抵抗感がある。だが、興味はあったのだろう。とりあえずFFmpegを使ってみることにした…