alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
NEW GAME!に出演した @titech_Hi2Mi 氏
5674pv 13 -
2016年7月13日のalg_d
1265pv 7 -
2016年6月19日のルール追加
2747pv 3
-
天才ぴあのん先生のネコでもわかるcategorical logic
5172pv 3 1 user -
魔法少女「無限ゲームと優先法」+α
2942pv 14 -
【2016GW】何も決まっていないオフ会
4941pv 8 -
第五回ひらいずみセミナー
4287pv 7 -
第一回カラ宇か宙わ賢ず者オケ
4675pv 6 -
カラか奇わ声ずオケ
1685pv 2 -
カラ宇か宙わ賢ず者オケ(たぶん3億回目)
3034pv 6 -
「無限、ってめちゃいっぱいある」からの全単射: R→R^2
23223pv 27 3 users 1 -
スラステ復活祭
1731pv 3 -
alg_d「公理追加型数学」
21430pv 18 -
第八回関西すうがく徒のつどい ルール追加編
5225pv 6 -
j_tGAP「巨大基数入門~可測基数を巡って~」
6382pv 9 -
2016年2月8日の京幌TL
1099pv -
数学クラスタによる大人のピタゴラスイッチ実況2016年
51512pv 44 15 users 110 -
数学クラスタによる大人のピタゴラスイッチ実況2015年
192332pv 254 55 users 369 -
ルール追加年越し2015→2016
5189pv 6 -
Springerから本が色々無料DLできるようになったらしい
109099pv 766 279 users 459 -
alg_d「(なんか長いタイトルのやつ)」
25581pv 25 1 -
第-20回 電気・水追加オフ
8196pv 14 -
ark「五色定理・七色定理」
9153pv 17 7 -
第七回関西すうがく徒のつどい ルール追加二次会
8003pv 9 1 user 3 -
waheywey「曲線と曲面の代数幾何学」
8050pv 13 1 user 2