スマートフォンで撮影した動画をMacにコピーしたら、3gp形式だった。 ブラウザ上でHTML5の video タグで再生するために mp4 形式の動画ファイルが欲しい訳で。mp4 に変換する方法をぐぐってみた。先生は、いろんなアプリをおすすめしてくれるけど、どれがい…