JPEGファイルの解像度をまとめて変更したいから、いろいろソフトウェアを探してみた話し