2017-11-30 PDFデータを画像ファイルに変換。 ubuntu xpdf をインストールしていることが前提。 $ pdfimages input.pdf out -j オプションをつけると、JPGで出力されるらしいけど、なぜか僕の環境では無理で、拡張子が pbm で出力される…。