TeXが生成するdviファイルは当然バイナリですが，実際は普通にテキストにしたって問題ないようなもの，つまり機械語とかになってるわけでもなく，要は中間コード，仮想コードのようなものです．実際，dvioutの大島先生が，dviファイルの可視化やページ独立性…