animation.FuncAnimcation() を使うと速くなる?? 実は全然分かっていない。
Python 2 のときは、これを使って確かに速くなったのだけど、 Python 3 では、これを使わなくても十分速くて、 このプログラムでは違いが見い出せない。 でも、一応 Python 3 でも動くので、このまま載せておく。