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