2012-07-02 メも:学校のCentOSでtex Gnome エディターでtexファイルを作る。 名前を付けて保存し、そのときのメニューから日本語コードをEUC-jpに選ぶ。 platex ファイル名でタイプセット。 pxdvi ファイル名でdviを見える化。 dvipdfmx ****.dviで、dviがpdfになる。