pdfファイルに高解像度の画像を埋め込むと，ファイルサイズが無駄に大きくなります．この場合，以下のスクリプトで画像の解像度を下げると，効率よくファイルが圧縮できます．コマンドラインで実行できるので，複数のpdfファイルを一括で変換することも可能…