2007-10-16 ■ いつもCは6時に起きるが、本日は目が覚めたら7時だったが、それでも7時13分の電車に飛び乗ったそうだ。家から駅まで歩いて15分、いったいどうやったんだろうか。 起床は8時、病院に行って健康診断結果を受け取ってから出勤。Agda2のインストールの続きをするが、NtemacsのUnicodeフォント設定がうまくいかない。あきらめてコード書き。21時45分に帰宅。夕食はインゲンのミートソースパスタ。食後録画した「水曜どうでしょう」を見る。 画像は病院のある駅の風景。