そういえばいつの間にか〆切が延長していることに気づいた金曜日（昨日日記参）．やれやれ．仕事では引き続きツール労．たぶんもう少ししたら，LaTeX労になりそうな気がしてくる感じ（出力次第だけど）．ちなみに世の中は三連休という悪質な噂が流れているが…