動画ファイルの拡張子とは？MP4・AVIなどの形式の違いや、用途別のおすすめ、変換方法を初心者向けにわかりやすく解説。