ムービーのGIF変換

動画を切り出し連番のBMPで出力。
出力したBMPを256色に変換しつつ全グラフィックを統一パレットに。
出力したBMPからGIFを生成して最適化。
動画からそのまま切り出しているので68枚。
※上のGIFアニメは256色のパレット1枚しか持っていません。

くーでるか