名前: yy 日時: 2010-03-10 18:06:40 IPアドレス: 221.254.225.*
>>54704 返信が遅くなり，すみません。 作っていただいたテスト用バイナリを試してみました。 要求と生成の両方で DPI が一致し，上手くいきます。 どうもありがとうございます。 ところで，cmr12.3096pk の方が正しいということですが，これはどうやって確かめるのですか? 600 * (43/10) * (\@xivpt/10) * (10/12) = 3096（ここで \@xivpt = 14.4） のような計算が根拠ということで良いでしょうか。 ちなみに，次のソース: \documentclass[43pt]{jsarticle} \usepackage{txfonts} \pagestyle{empty} \begin{document} \huge a \end{document} から得られる dviファイルで自動生成されるPKフォントは， 解像度 600 の下で， dviout では rtxptmr.5351pk であり，dvipsk では rtxptmr.5350pk です。 上の計算法によると 600 * (43/10) * (\@xxpt/10) * (10/10) = 5350.92（ここで \@xxpt = 20.74） なので，どちらも正しい（十分近似している）ということで良いでしょうか。
この書き込みへの返事：