alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
直観主義,背理法と否定の導入
16199pv 33 1 user -
平泉散歩会という案
1079pv 3 -
かわずさんの就職活動【3月中旬】
5190pv 15
-
phase__tr (alg_cI) について
1685pv 3 -
ひらいずみセミナー(1日目)
5311pv 12 -
がんばれalg_d きらきらドゥー中 ~僕がアルゴドゥーになった理由~
9567pv 82 3 users -
2012年02月12日深夜の数学クラスタ
4263pv 11 -
数学クラスタによる数学女子学園第三話実況
8308pv 33 16 users -
数学クラスタによる数学女子学園第二話実況
18486pv 48 9 users -
数学クラスタをハッタリで論破していけ
2902pv 12 -
真面目ツイッタラーアルゴドゥー
3556pv 5 -
ひらいずみセミナーと関西すうがく徒のつどいの概要
6446pv 18 1 user -
空リプはやめよう
10234pv 20 -
微分ヤクザPによる直積分講座
8495pv 9 2 users -
数学クラスタによるオフ会の開き方講座
10695pv 22 1 user -
ことりちゃんのニセモノに注意?!
3610pv 8 -
みんなでおみくじを引きました。
7319pv 5 -
実数解と萌えと数学的証明
5089pv 20 1 user -
大根を丸かじりするかわず先生
4533pv 21 -
多様体さんゴメンなさい
3831pv 6 -
10月12日は選択公理の日?
8599pv 53 -
ことりちゃんのお兄さん見てるぅ~~~? (^o^)
6415pv 40 -
数学クラスタを分類するリストを作成
6865pv 18 1 user -
鶏アイコンTL
3974pv 4 -
第一回オフヒヒwww会
17851pv 45 2 users