コードスプリント（最終日）

比較的暖かい日。起床は7時15分、出勤してコード書き。最終日だけあってさすがに疲労の色が濃い。様相論理のsatisfactionを定義すると、terminateしないことが明らかに。進捗報告で意見を募ると、どうやらsubstitutionの処理が原因らしい。今後の課題だ。ほかにD氏に変数処理についての初歩を教わる。
20時45分近くに退所、22時半近くに帰宅。