2020/08/31
よく働いた
2020/08/29
- 9:00: 脳が興奮して寝られない、なんか食って寝るかとカップ麺を食べる
- -22:00: 寝てた
- 22:00-24:00: 夕食を食べたり英単語を覚えたり
- 24:00-4:00: 友人とAPEX, 途中で飽きがきてぼんやりしてた
- 4:00-7:00: カガクチョップ読んでた、可愛いキャラクターが雑に死ぬのがよい
- 7:00-8:30: コンビニ言ったり英語勉強してたり
- 8:30-9:00: firefoxの設定いじってたらめっちゃ時間立ってた、変更が適用されなくて死
- 9:30: 前仕事中に寝てしまったのでその分の進捗を出す
- 12:00: けっこう大変だった、昼飯を食べる
- 12:30: かき氷を家族で食べに行くらしい
- 16:30: めっちゃ遠かったし熱くてしんどくなった、寝る
Cのtypeof演算子の挙動最悪では……
2020/08/27
日記は書き溜めていたが、iPad内に手書きで貯めていたのでどうやって公開するか悩んでいる。
2020/08/10
- 朝まで友人とAPEXしていたので起きたのは夕方だった
- Unrailedを4人でした、愉快だったが少し疲れた
- 寝た、風呂も入らずに
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をやめるのが有用であることが知られている。
位相空間にも原点(生成系?)的な概念が存在するんじゃないかと思っていたが、どうやら開基という名前で知られているらしい。概念に名前がついて整理されているのは嬉しいことだが、松坂集合の解説がよくわからん。