スマホで動画撮ったら拡張子が.3gpになっていて、これをmp4に変換したいなと思ったらFFmpegで簡単に変換できたのでメモ。