復習
研究についてのモチベーションが落ちているので，基本的なことを復習しておくために，『論理学をつくる』(戸田山 和久. 名古屋大学出版会, 2000)などを読んでいた…
20040812
XFree86 to Xorg
学校の院生室の空調は盆休みが明けないと復旧しないよう1なので，自宅作業用マシンのX WindowをXFree86からXorgに変更した．Xのライブラリを使っているプログラムも再コンパイル．ついでにpTeXと関連プログラムも最新版に… 昨日も昼までは良かったが，その後，生温かい風しか出てこなくなった． ↩︎ ...