GIFアニメーションなどGIFファイルのファイルサイズを削減「GIFmicro」(1/2)