名前: 山脇 日時: 2002-05-22 00:05:18 IPアドレス: 130.34.97.*
>>8555 nideさん御回答頂き有り難うございました． 早速dvi2ttyを試してみました． dvi2tty xxx.dvi | \ perl -e 'undef $/; $_=<>; s/\*\n \*|\n| |_{2,}|\f//g; s/[^ -~]/./g;print' | \ wc -c を実行したところ，私が8545で示した面倒な方法で数えた場合と 全く同じ結果が得られました． 当方の実行環境は， Debian GNU/Linux (sid) dvi2tty 5.1-13 ptex-bin 3.0.1+0.04-11 です．有り難うございました．
この書き込みへの返事：