2020/08/04

今日はダメだった

• 12:00: 起きる、二度寝
• 14:00: 起きる、二度寝
• 16:00: 起きる
• 16:00-16:30: うどんを食べる
• 16:30-19:00: だらだら読書、ほとんど集中してない
• 19:00-20:00: 夕食
• 20:00-21:00: 少しジョギングした、あと風呂
• 21:00-23:00: だらだらしてた
• 23:00-24:30: 英語の勉強

謎時間が超多かった、無駄がおおい。無駄謎時間の解消は長年の課題だが、解消するのにTwitterをやめるのが有用であることが知られている。

位相空間にも原点(生成系？)的な概念が存在するんじゃないかと思っていたが、どうやら開基という名前で知られているらしい。概念に名前がついて整理されているのは嬉しいことだが、松坂集合の解説がよくわからん。