0625名無しさん@お腹いっぱい。垢版 | 大砲2022/12/29(木) 20:38:39.12 間違えて ファイル.tex を削除してしまいました。 ファイル.dvi は残っているのですが、これを tex ファイルに変換は出来ないんでしたっけ?