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

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



２．WebMなどに変換
WebM・ogv・MP4の３形式。
いずれも、おおむね100kB。