GIFをMP4に変換
GIFをドラッグしてShiftを押し、MP4の上で離します。アニメーションが動画になり、たいていGIFよりずっと小さくなるので、Instagramに投稿したりプレゼンに入れたりできます。
GIFをMP4に変換する方法
- 1
デスクトップやフォルダから、GIFファイルをドラッグし始めます。
- 2
つかんだままShiftキーを1回押します。ファイルの周りに、変換できる形式ごとの「惑星」が輪になって現れます。
- 3
MP4の惑星の上でファイルを離します。少しすると、元のファイルの隣にMP4のコピーができます。

MP4にする理由
InstagramやTikTok、多くの編集ソフトはGIFを受け付けず、MP4を求めます。しかもGIFを動画にすると、80〜90%小さくなることがよくあります。
MP4の惑星はGIFファイルのときだけ表示されます。ほかの画像には変換するアニメーションがないからです。
PlanetOSはこれらをすべてお使いのコンピュータ上で処理します。ファイルがアップロードされることはなく、インターネットに接続していなくても使えます。
よくある質問
MP4はループ再生されますか?
MP4自体は1回再生です。ほとんどのSNSアプリやプレーヤーは、短い動画を自動で繰り返し再生します。
音声はありますか?
いいえ、GIFには音声がありません。