■

だんだん寒くなる。起床は9時、出勤してコード書き。様相述語論理の部分で 原始述語と and の場合の処理が完了。Not の処理で型があわず、悩む。打ち合わせ後、前勤務校の源泉徴収票を電話で送ってもらうように手配してから、17時に退所。
帰宅は21時半。夕食はマッシュポテトと貰い物のオージービーフ。

画像はマッシュポテトの山盛り。