午前は晴れ。8時15分に起床、郵便局によってから出勤。昼食はカキフライ弁当、満足。午前・午後と論文読み、昨日の課題をやり直すと、ずっと簡単だった。夕方は談話会、Agdaのcore language（候補）について。19時に帰宅しようとしたが、ついつい飲むグルー…