入力ファイル
DVI
- フルネーム: TeX Text Document (TeX Device Independent File Format)
- デベロッパー: N/A
出力ファイル
TEXI
- フルネーム: TEX
- デベロッパー: LaTeX Project Development Team
DVI ファイルとは何ですか?
DVI ( . [ ⏩ ] DVI ファイル拡張子
TEXIファイルとは何ですか?
[ ⏩ ] TEXI ファイル拡張子
どうやってDVIファイルをTEXIファイルへ変換しますか?
正常にDVIファイルからTEXIファイルに変換するには、リストにあるアプリケーションのいずれかをインストールする必要があります。プログラムをインストール後、そのプログラムを開き、そこから変換を行いたいファイル(ファイル名.DVI)を選択します。次に、リストから目的となるファイル形式を選択、この場合はTEXI(通常はコンバータによりいくつかの異なる形式に変換可能なため、可能性をよく確認すること - TEXIよりもっと相応しい形式に変換できるかもしれないので)。
ファイル変換とは何ですか?
データの変換処理は通常、ある程度まで自動化されています。特定プログラムの特定の成果ファイルは、次のアプリケーションにとってはそのまま入力ファイルとなります。もしそうなっていない場合は、手動で例えばDVIファイルからTEXIファイルへ変換することにより、プロセスを少しだけ手助けしなければいけません。データ構造を対応させるには、適切なコンバータを使用することが大切です。DVIファイルからTEXIファイルへ変換させるプログラムは、コードの差異を補完したり、他のアプリケーションが理解できるよう忠実な翻訳を施す、ある意味で「バイナリコード翻訳機」と呼べるものです。私たちユーザーにとっての目に見える変化は、ファイル拡張子が変わることぐらいです(ファイル変換後はDVIファイルからTEXIファイルへと変わる)。プログラムにとっては、その差ははるかに高いレベルにあります - アプリケーションがその新しいTEXIファイルを開くことができるかできないか、という。
DVIファイルからTEXIファイルへの他の変換方法
DVIファイルの変換