■

午前はよく晴れ、暖かい。しかし日が暮れるととても寒い。
起床は9時、最近この時間が標準になってしまった。出勤してコード書き。型チェックに何度か失敗し、その度にKtさんに泣きつく。とりあえず、やっと、暫定的に述語論理はパスするが、今度は様相論理部分で派手にコケる。20時半に退所、22時に帰宅。
夕食は今日も力そば、食中ドストエフスキーの短編の話で盛り上がる。やっぱり「現代を題材に取った暴露小説のプラン」が最高だよね。