動画ファイルの変換にはffmpegという強力なツールがあって、普段、ぼくもffmpegを使ってる。たいていの変換はこれでできちゃうのですごく便利なんだが、サブタイトルを焼き込むんだったらmencoderが便利だ。
