内海 @u23mjag
横軸では無く縦軸の世界に
-
前原 和壽著『圏論入門』実況
81444pv 138 38 users 58 -
2018年圏論ツイート初め
5110pv 17 -
Proof Summit 2017
4802pv 18 1
-
黒木玄先生のモナド談義(#数楽)
10724pv 30 9 users -
数学基礎論を一人で勉強していて悩んだときの思い出
29683pv 71 28 users 3 -
随伴がなんなのか説明を試みる
15281pv 21 1 user -
f^-1と∪, ∩の交換と圏論について
14010pv 60 3 users -
圏論での積分(エンド)について
19880pv 43 4 users -
高卒社会人一年生(もうすぐ二年生)に「重さ」と「面積」と「体積」とは何かを教えている。
260468pv 4223 818 users 1549 -
Springerから本が色々無料DLできるようになったらしい
109187pv 766 279 users 459 -
グレブナー基底で嘘を見抜く
17784pv 135 28 users 14 -
集合論の公理と実在の多様性?
2490pv 9 -
Lebesgue可測な集合の階層を巡る探求
8657pv 30 4 users 3 -
(祝)解析概論アニメ出演
34149pv 206 8 users 18 -
【基礎の公理】∈の無限降下列を作るには従属選択公理ではなく可算選択公理があればよいか?
6933pv 39 1 user 1 -
第一回カラ宇か宙わ賢ず者オケ
4682pv 6 -
センター試験受験生への数学アドバイス
44939pv 845 96 users 87 -
集合論家DIkeさんと証明論家GLogさんの対話
3669pv 14 1 user -
宇宙賢者、フライドポテト暗算を開発する。
19863pv 280 12 users 5 -
宇宙賢者、ゴースト暗算をする
14115pv 138 9 users 2 -
THE IDEALM@STER ~相転移Pのプロデュース~ 「大学数学への回り道」
46973pv 134 6 users