こっちはsmall Dowker spaceです。また耳が生えました。
Notices by くるる (kururu@mstdn.jp)
-
Embed this notice
くるる (kururu@mstdn.jp)'s status on Tuesday, 18-Apr-2023 14:45:09 JST くるる
-
Embed this notice
くるる (kururu@mstdn.jp)'s status on Tuesday, 18-Apr-2023 14:38:15 JST くるる
異世界で強制法を使ってsub-Ostaszewski spaceを作っている集合論者の女の子です。なんか強制法を使う集合論者には耳が生えるみたいです。
-
Embed this notice
くるる (kururu@mstdn.jp)'s status on Friday, 16-Dec-2022 23:33:16 JST くるる
たまにこっちも使わないと忘れる。
-
Embed this notice
くるる (kururu@mstdn.jp)'s status on Friday, 16-Dec-2022 23:32:52 JST くるる
@hyuki そういえば師匠が一度"Math is triviality after triviality"とか言ってました。質問されたことが自明で質問者が恥ずかしがっていたときに、そういう自明の積み重ねが大きい数学につながっていくんだよということで。まさに結城さんがおっしゃっていることですね。
-
Embed this notice
くるる (kururu@mstdn.jp)'s status on Wednesday, 23-Nov-2022 11:57:58 JST くるる
@hyuki はい、こちらをフォローしました。ちょっとまだMastodonの使い方がよくわかってないのですが、ひとまずよろしくお願いいたします。
-
Embed this notice
くるる (kururu@mstdn.jp)'s status on Wednesday, 23-Nov-2022 11:53:25 JST くるる
twidere入れてみた。テスト。