MarriageTheorem @MarriageTheorem
-
和算〜江戸時代の連中は、なんちゅう計算をそろばんでしとるんだ〜
123284pv 789 87 users 397 -
部分構造について
1413pv 5 -
Lebesgue可測な集合の階層を巡る探求
8665pv 30 4 users 3
-
強制法におけるジェネリックフィルターとアフィンスキームにおけるジェネリックポイント
3704pv 16 1 -
数学クラスタによる数学女子学園第一話実況
79806pv 300 34 users 6 -
選択公理bot成長のキセキ
8264pv 27 3 users -
数学クラスタによる大人のピタゴラスイッチ実況2015年
192613pv 254 55 users 369 -
Consequences of the Axiom of Choice
1992pv 8 1 user -
【基礎の公理】∈の無限降下列を作るには従属選択公理ではなく可算選択公理があればよいか?
6939pv 39 1 user 1 -
全ての素数の積が偶数なのが納得がいかない数学徒たち
122798pv 519 31 users 463 -
alg_dがルール追加大富豪に挑戦した話 ~革命したくない?~
33319pv 138 8 users 10 -
第5回関西すうがく徒のつどい2日目(講義編) #kansaimath
11227pv 19 5 -
第5回関西すうがく徒のつどい2日目(雑談編) #kansaimath
3408pv 16 -
第5回関西すうがく徒のつどい1日目(講義編) #kansaimath
8983pv 24 -
第5回関西すうがく徒のつどい1日目(雑談編) #kansaimath
5408pv 16 -
Thompson群と文脈自由言語
2271pv 20 2 users -
開核・閉包が部分空間で「単純に切り取れる」ための条件
2586pv 4 -
何回で満点とれる?【ちょまど問題に挑む人々】
115997pv 446 63 users 36 -
大学入試の数学で高校で習っていないことを使うと減点されるか?
50714pv 120 11 users 9 -
数学科と教育学部の断絶の問題
3763pv 15 1 user -
連続体の定義可能な整列順序づけと連続体仮説の関係について
3982pv 10 -
数学における「正答例」の扱い方
5426pv 48 15 users 35 -
Spring Topology行ってきたよ報告
2272pv 13 1 user -
2013年選択公理の日・第四回選択公理オフ
7879pv 23 -
mr_konn氏による決定性公理オフ実況
8371pv 18 1 user