ffmpeg というとても便利なビデオエンコーダがある。 デジカメで撮ったムービーのなかから一部分だけ抜き出して形式を変えて保存なんてことが簡単にできる。 この一部分だけ抜き出すというのは、時間を指定するのだけど、指定方法に癖がある。 ココの記事が…