複数画像を動画に変換するのはffmpegがあれば良いという意見もありそうだが，最近どうも僕のマシンでのffmpegの挙動がおかしいので，ImageJというソフトを用いる．
複数画像の読み込み
Macには，32bit版と64bit版とがあるが，32bit版でないと，動画変換してくれないかもしれない．
ImageJの32bit版を起動し，「File > Import > Image Sequence...」メニューを選択し，ファイルのあるディレクトリを指定する．
そうすると以下のようなウィンドウが出てくるので，「Number of images」と「File name contains:」に適宜記入して，stackとして読み込むために「Use virtual stack」にチェックを入れて「OK」とする．
そうすると，複数の画像の連続イメージとしてのstackが作成されるので，「File > Save as > QuickTime movie...」メニューを選択して，圧縮方式などを指定すればよし．