タカピコ @takapiko
KNCT E科3年になれた猫を愛する紳士 /数学/プログラミング/TRPG/アイマス/菊地真/アニメ/ゲーム/osu!/料理/マンガ/ skype:taka_0819 Tumblr http://takapiko.tumblr.com
-
東ロボくんの生みの親《新井紀子》教授の間違いが明らかになった日。人間は人工知能に読解力でも負けつつある
154102pv 1966 505 users 1236 -
『第6回 プログラマのための数学勉強会』のまとめ #maths4pg
12362pv 20 8 users 42 -
alg_dによる「選択公理⇒Zornの補題」の概略
12754pv 63 2 users
-
開被覆を添え字付き集合族で定義するという話から、到達不可能基数の利用とか
3023pv 11 2 users -
【自分用まとめ】モデル理論に関する雑感とそれに続く議論
11569pv 13 -
メタ定理の証明はどこでなされているか?
9654pv 11 1 user -
計算論家トリイロさんと集合論家DIkeさんの対話
2873pv 9 2 users -
κ+κ=κの証明、どこに選択公理を使っている?
7689pv 30 -
k1ito「代数学の基本定理でみる数学の世界」#kansaimath
23842pv 49 19 users 1 -
#数学徒死亡カルタ
9651pv 31 2 users 1