みんな寝ている中で無駄にがんばったので、こっそり帰って仮眠をとる。それから、戻ってくると後輩に見つかったのでTeXをgifに変換するのを手伝ってみた。えーっと手伝い過ぎかな、でも次回からはソフトをインストールして放置できるからそれはそれでOKかな…

昨晩からごにょごにょしていてふと、RedHatでTeXをする方法を発見。ただし、管理者が適切に設定していたらこんなことはしなくて済むんだよね。それにしても、dviファイルを表示するソフトがxdvi,pxdvi,kdviと入っているのに、日本語が表示できるようになって…