8月後半振り返り

星取表

• 8月30日。都内数学科学生集合 (通称都数)で発表をする。

  8月総会がオンラインで開催されています！！
  発表者はGさんで、タイトルは『集合論のブール代数値モデルとハイティング代数値モデル』です。#tosuu2020aug pic.twitter.com/HU1TrDZ3lq

  — 都内数学科学生集合 (@tosuu_set) 2020年8月30日

  • みんなミュートにしている中zoomで発表するのは虚空に向かって喋っているような感じがした。
  • 直観主義集合論でこんなことも言えない！というような話が受けたようだ。
  • その後のオンライン飲み会(?)でサクラくんと久しぶりに話せたのもよかった。
  • 8月24日に発表練習をしたのだが、それのおかげでだいぶ発表の質がよくなったと思う。

• 8月28日。研究室セミナー。AbrahamのProper Forcing読み。自力で埋めれなかった行間を先生に埋めてもらって、なるほどそうすればよかったのかと納得した。

• 8月29日。 さゆんこさんとのオンライン飲み会。すき。