ファイルの連続描画にするか、動画ファイルを作るか

等高線図の時系列データがあるので、時間軸にそってそれらの図を並べて、アニメーション表示をしたい。
Matplotlibを使って図の描画を行うのであるが、このときアニメーション表示の仕方としては、

1. 図を描画するキャンバスを決めておいて、そこに描いては消し、描いては消しを繰り返す。
2. あらかじめ各瞬間の図をbmpファイルか何かで保存しておき、そのあとで一気に動画ファイルを作成する。

の２通りの方法があるようだ。

Matplotlibのexamplesで見つけたサンプルプログラムを分析することにする。

1.の方法のサンプル--- anim.py
2.の方法のサンプル--- movie_demo.py

まず、単純にダブルクリックして実行してみる。

1.anim.py --- 問題なく動く。
2.mivoe_demo.py --- mpgファイルができるはずなのにできていない。

2.の方法は問題ありそうだ。