kururu.hatenablog.com
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
(元ネタ: アニオタが非オタの彼女にアニメ世界を軽く紹介するための10本) まあ、どのくらいの数の集合論... (元ネタ: アニオタが非オタの彼女にアニメ世界を軽く紹介するための10本) まあ、どのくらいの数の集合論オタがそういう彼女をゲットできるかは別にして、 「オタではまったくないんだが、しかし自分のオタ趣味を肯定的に黙認してくれて、 その上で全く知らない集合論の世界とはなんなのか、ちょっとだけ好奇心持ってる」 ような、ヲタの都合のいい妄想の中に出てきそうな彼女に、集合論のことを紹介するために 見せるべき10個の定理を選んでみたいのだけれど。 あー、こんな象が針の穴を通るより、買っていない宝くじで10億円当たるよりあり得ないシチュエーションってどうよ。もうこの後は普通に行きます。単に自分の集合論観を伝えられるような定理でそこそこ理解可能なものをピック G. Cantor: 集合論の始まり。少なくともKanamori先生によれば。 N. Aronszajn: Aronszajn treeは存在する
kururu.hatenablog.com
kururu.hatenablog.com
kururu.hatenablog.com
kururu.hatenablog.com
president.jp
togetter.com
qiita.com
togetter.com
togetter.com
note.com/spindoue
anond.hatelabo.jp
togetter.com
togetter.com
www8.cao.go.jp
www.toei-anim.co.jp
cogni.hatenadiary.org
2008/07/28 リンク