最近、動画相互変換に対応する無料サービスとかが
増えてきたけど、どういう仕組みになってるのかな？
データを解析して逐一変換？？
それとも何か出来合いの（有料？）ライブラリっぽいのを
サーバに組み込んでるのか？