alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
NEW GAME!に出演した @titech_Hi2Mi 氏
5674pv 13 -
2016年7月13日のalg_d
1265pv 7 -
2016年6月19日のルール追加
2748pv 3
-
2016年6月18日深夜の剣舞TL
1608pv 2 -
天才ぴあのん先生のネコでもわかるcategorical logic
5173pv 3 1 user -
位相空間論は良いものだぞ 何しろ入門書読み終えたらその日から論文読むフェイズに入れる
10411pv 35 2 users -
位相空間への一般化は当然の一般化と言われ、圏への一般化は無意味な抽象化となじられる所以がわからない
15165pv 38 2 users 1 -
魔法少女「無限ゲームと優先法」+α
2944pv 14 -
【2016GW】何も決まっていないオフ会
4942pv 8 -
第五回ひらいずみセミナー
4289pv 7 -
圏論での積分(エンド)について
19738pv 43 4 users -
第一回カラ宇か宙わ賢ず者オケ
4678pv 6 -
カラか奇わ声ずオケ
1687pv 2 -
カラ宇か宙わ賢ず者オケ(たぶん3億回目)
3037pv 6 -
「無限、ってめちゃいっぱいある」からの全単射: R→R^2
23240pv 27 3 users 1 -
スラステ復活祭
1733pv 3 -
となりの圏遊会
4876pv 25 -
alg_d「公理追加型数学」
21536pv 18 -
第八回関西すうがく徒のつどい ルール追加編
5225pv 6 -
j_tGAP「巨大基数入門~可測基数を巡って~」
6385pv 9 -
2016年2月8日の京幌TL
1101pv -
数学クラスタによる大人のピタゴラスイッチ実況2016年
51528pv 44 15 users 110 -
数学クラスタによる大人のピタゴラスイッチ実況2015年
192361pv 254 55 users 369 -
ルール追加年越し2015→2016
5190pv 6 -
Springerから本が色々無料DLできるようになったらしい
109110pv 766 279 users 459