2009-12-15 8ビットグレイスケール 便利ツール 16ビットのPGMをそのまま mogrify で PNG に変換すると無駄にサイズが大きくなってしまうので、以下のように、グレイスケールにして8ビット階調にすると良い。 $ mogrify.exe -type GrayScale -depth 8 -format png *.pgm なお、GIF (256色)に変換するとサイズはもっと小さくなるが、そのあとEPSに変換するとPNGでもGIFでも同じサイズ。まあ画像によるかも…