• さっさと出勤して論理学ゼミ。述語論理の解釈と、Treeの説明。今週は中間試験らしい。
• 翻訳を進める。
• 夕方ジム。
• なぜか疲れて10時頃に就寝。