複数の静止画像(png, jpeg, pgm 等)から動画を生成するにはどうすればよいのでしょうか?