こどものイベントのたびにムービーを撮っている。撮りためたテープを見やすいように小さいサイズにエンコードしてたのだけど、最近のPCは性能が良いので大きいサイズでエンコードし直そうとして。 ちょっと待て、どの動画ファイルがどのサイズか分からねえ。…