作成 2008.8.22
最終改訂 2008.8.22
ここでは dviout を用いて画像に変換する方法を紹介します。dviout は画像を作成することが 出来ますが、BMP 形式しかサポートしておらず、BMP 形式は容量が大きいので、 「ペイント」と「GIMP」を使って gif 形式の画像を作成します。 今回使用するソフトは全て無料で使えます。
dviout を起動して、dvi ファイルを表示させます。 「Option」→「Setup Parameters」→「Resolution」で 600 dpi に設定します。 拡大率を調節して dpi: x=600dpi/4 に設定します。これがちょうど良い大きさのようです。
「Display」→「Region」→「On」に設定して、範囲を指定できるようにします。
「Shift + 左クリック」と「Shift + 右クリック」で範囲を指定した後、 「File」→「Save as image」で指定した範囲をクリップボードにコピーします。 「画像をクリップボードへ貼り込むときの形式」として BMP を選択します。 ここでクリップボードに貼り込まれた画像は 1 pixel = 32 bit 画像です。
クリップボードに貼り込まれた 1 pixel = 32 bit の BMP 形式の画像を、gif に変換するために 以下のような手順を踏みます。
Gimp は 1 pixel = 24 bit の BMP 画像しか取り込むことが出来ません。従って、 「ペイント」を利用して、32 bit → 24 bit の変換を行います。
「スタート」→「アクセサリ」→「ペイント」で「ペイント」を起動します。 「ファイル」→「新規」を選択し、「編集」→「貼り付け」で画像を貼り付けた後、 直ちに「編集」→「コピー」でクリップボードへコピーします。 これで、クリップボードの BMP 画像は 24 bit になります。
Gimp で「ファイル」→「取り込み」→「クリップボードから」と操作して 画像を取り込み、「保存」で gif 形式で保存します。その際、「インデックス画像に 標準設定で自動変換する(デフォルト)」を選んで、「エクスポート」します。
クリップボードに貼り付けられている画像の縦横のピクセル数や 1 ピクセル あたりの bit 数は私の Web サイトで 公開している このソフト で 確認できます。