指定されたディレクトリの PNG 画像を連番ファイル名にリネームしたあげく、ffmpeg を使って MP4 動画に変換してしまう Python コード。encode.py とでも名前を付けて python encode hoge fooのように使えば、hoge ディレクトリの PNG 画像から foo.mp4 がで…

ffmpeg を使って、指定したフレームレートの MP4 を連番 PNG からつくる。 ffmpeg -r 10 -i %03d.png -r 10 -vcodec libx264 out.mp4

以下の URL から media9 パッケージをダウンロードする。 http://tug.ctan.org/tex-archive/install/macros/latex/contrib/media9.tds.zip zip ファイルの中身を C:\w32tex\share\texmf に入れる。ls-R を使っていなければインストール終わり。使っていれば …