4月前半振り返り

星取表: f:id:fujidig:20200416151159p:plain

やはりしんどい日が多い。特に4月3日と4月11日は一日中寝込んでいた。
Kunen "Random and Cohen Reals" ゼミを終える。最終回 (4/12)は画質の関係でzoomのオンラインホワイトボードを使ってやった。
Baumgartner "Iterated Forcing" を読んでいて、P ⊗ \dot{Q}がまず集合になっているのか分からんとぼやいていたら、TwitterでGapさんとBannoさんに教えて頂いた。教えていただいた渕野先生の講義ノートはとても参考になりそう。

Iterated Forcing、まずこのテンソル積みたいなやつ(P ⊗ \dot{Q})が集合になってくれるのか？ってところでうんうん唸っていたのだが、Kunenを見たら第二成分をdom(\dot{Q})に制限していた。
— でぃぐ (@fujidig) 2020年4月8日

4月10日は大学院新入生のガイダンスがあり、その後指導教員に会った。
- ガイダンスは15分ほどで終了した。終了後、学生証をもらった
- 指導教員に会って、研究科で学生に貸与しているノートPCをもらう。
- 院生室の鍵ももらった。院生室をKhr研の学生と同じ部屋に変えてもらうことができた。

大学から貸与されたMacBookです… pic.twitter.com/i0qzFmaOVw
— でぃぐ (@fujidig) 2020年4月10日

Descriptive Set Theoryの演習問題解きを再開した。
その中で解決できなかった問題をmathoverflowに投稿したら一瞬で回答が返ってきた。すごい
- ただしmathoverflowは専門家向けのフォーラムだったみたいでMath Stack Exchangeを使うのが正解だったみたいだ。今後そうする。
- 連続微分できるというのを積分の言葉で書けるの天才か？となった
- Minkowskiのクエスチョンマーク関数という面白い関数も初めて知った