備忘録も兼ねてwmvファイルを効率良くmp4ファイルに変換する方法を書きます。有料ツールは使わず、無料ツールで実現しています。