サーバーでの機械学習とかレイトレとかで, プレビューや中間の結果などを動画にしたい(連番画像を lossy 圧縮した感じでよい). サーバー上で作りたい. なるべくポータブルにやりたい.
ffmpeg とかめんどい(あと特殊なアーキテクチャのマシンで動かしているとかで ffmpeg とか動かない/コンパイルできないなど)
gif だとファイルサイズ大きいし...
mpeg などを考えます.
mpeg1
encode
jp_mpeg があります
decode
AVI
h.264
https://github.com/lieff/minih264
https://www.cardinalpeak.com/blog/worlds-smallest-h-264-encoder
TODO
- ogg 系とか webm 系を探してみる.