ファイル形式を直接変換する
FileConvertを使うと，ImportおよびExportでサポートされる形式間の変換ができる．
ファイルサイズを小さくするためにWAVファイルをMP3に変換する．
圧縮してスペースを節約するためにTIFF画像をJPEGに変換する．
JPEGの圧縮を使うと，圧縮による不自然な結果にはなるがファイルサイズを小さくすることができる．
FileConvertを使って多数のファイルを簡単に変換することもできる．ディレクトリ dir には100個のPNGファイルが含まれている．FileSystemMapを使って，これらのPNGファイルをJPEGに変換する．
新しいファイルを保存する新しいディレクトリを作成する．
ファイルを変換する．
JPEGファイルの合計サイズ．
