比較的暖かい日。起床は7時15分、出勤してコード書き。最終日だけあってさすがに疲労の色が濃い。様相論理のsatisfactionを定義すると、terminateしないことが明らかに。進捗報告で意見を募ると、どうやらsubstitutionの処理が原因らしい。今後の課題だ。ほ…