9:50起床。今日予定されてたzoomのミーティングが10:00～だと思って急いで入ったら10:30～であれ？ってなりながら30分間眠くてぼーっとしてたらミーティングが始まってた。10:30～11:15くらいまでzoomミーティング。なんかそんなに固い感じの雰囲気のやつで…

9:30起床。飯を食って少しゆっくりする。 10:30～12:30で位相空間論のレポートをやろうと思ってたけど、ふと問題に出てたUrysohn's lemmaや距離化可能性に関するきちんとした証明を改めて追ってみたくなったので斎藤毅「集合と位相」の8.4を改めて読んだり、…