■

XPのインストールをしつつ，部屋に置いてあったルディ・ラッカー『四次元の冒険』（工作舎）を読む．こういった論理数学の話ってすごく面白い．専門に勉強するとなるとまた違うのだろうけど．