名前: 本田 日時: 2008-09-24 14:59:59 IPアドレス: 61.194.13.* >>52027 ACMのProceedingですか? timenrrはTimesRomanのはずなので， dviファイル中のtimenrrをptmr7tあたりに置換すればできるかもしれません． 例えばdvispcでテキスト化して， 文字列を置換して，もういちどdviに戻してdvipdfmx．
この書き込みへの返事：