GIFアニメを、HTML5のvideoタグで表示

1.GIFアニメ
↓ファイルサイズは、329kBです。



2.WebMなどに変換
WebM・ogv・MP4の3形式。
いずれも、おおむね100kB。