1280x720のテレビで見るのに、1920x1080でエンコするのって
サイズと時間の無駄?