alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
ペガサス
2030pv 12 -
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
20839pv 151 73 users 10 -
第二回ひらいずみセミナー(1日目)
5394pv 11
-
センター試験に「自然数」が参戦 ! !
101671pv 896 169 users 27 -
alg_d「選択公理をいかにして使ってしまうか」
14043pv 30 -
ひらいずみセミナー(2日目)
5885pv 12 -
数学クラスタによる地図記号講座
7212pv 70 1 user 6 -
代数幾何学を教えて欲しい
22202pv 21 3 users -
天空の城ラピュタTL #数学クラスタ
20482pv 36 1 user -
第一回選択公理オフ
5879pv 22 2 users -
鍵アカなのに間違えてフォロワーをブロックしちゃった、ぴよぴよ…
14668pv 11 -
映画けいおん ! TL (数学クラスタ近傍)
8478pv 16 1 -
有限文字列の有限列の有限列。
7803pv 13 2 users -
数学クラスタによる数学女子学園第一話実況
79788pv 300 34 users 6 -
ふぇぇ
1852pv 8 -
2013年選択公理の日・第四回選択公理オフ
7874pv 23 -
選択公理理解してません
4020pv 12 2 users -
複素 数太郎
9159pv 14 -
はわわ守備表示
1379pv 2 -
@mszk_p ミスターとの茶番を一々トゥギャってたらキリがないんだよ
1330pv 7 -
alg_dがKUに来たという設定
2605pv 7 -
有用なことをいったろう
654pv 1 -
ささくれ先輩の真実
940pv 1 -
俺のヘヮヘがこんなにヘヮヘなワヘイヘイ
1703pv 4 -
ワヘイへイによる"猿でもできる☆あまちゅあトゥギャ☆講座"
1190pv 5