レビューア公募『数学ガールの秘密ノート／数列の広場』

問い カラーのPNGファイルをグレイスケールのEPSに変換したい。 答え ImageMagickのconvertコマンドで -type Grayscale オプションを使えばよい。 詳細 次のコマンドラインを実行します。 $ convert input.png -type Grayscale output.eps