• 梅雨前線の影響で九州地方北部に線状降水帯が発生。朝倉や日田で大きな被害が出ている。
• 蒸し暑いのでバスで行こうかと思ったが、家を出ると、歩けないほどでもないと感じていつものように1.5kmほど歩く。
• 真理論ゼミは3年生が意欲を見せて訳読。久しぶりに一階述語論理を使って説明したのですこし緊張した。
• モリーナゼミ。読みにくいところを相談しながら読む。最近、某助教の調子がいい。
• 第4回M1グランプリを鑑賞。