3/10
記事を書いた。
ランダム強制法はKnasterの性質を満たす (The random forcing satisfies the | Mathlog
3/13
最近同じ部屋のJ氏とよく数学の議論をしている。 一緒に何か示せたと思ったら、思わぬところでミスをしていた。
3/14
記事を書いた。
3/18
新しいノートを執筆開始。
3/20
最近暖かくなってきていてよい。
ワークショップは一つだけ講演を聴いた。バナッハタルスキ絡みの問題の話。面白かった。
Michael Hrušákに今考えようとしている問題について話したら、それはHrušákたちがすでに(7年前に)解いた問題だったらしい。速攻で解答されてしまった。
3/21
ワークショップの開催中は豪華なスナックが用意されるので良い。
同僚がPTfgの話を聞きたいというので話した。
その流れでPTfgのノートを更新 (→ https://fujidig.github.io/202301-ptfg/ptfg.pdf)。