蟆 @patho_logic
数学(集合論みたいなものの周辺)の研究してるはず.オペラいきたい.へっぽこランナー.駅伝部(私設)所属。自転車部は一時休部中.
-
Springerから本が色々無料DLできるようになったらしい
109110pv 766 279 users 459 -
インドの軍事パレード(?)がちょっと独特すぎた「見たことない兵器多過ぎ」「まるでサーカスだ」と話題に
106682pv 1311 121 users 4522 -
ヒモを使ってヒラメキ開拓! 新作ボードゲーム「ライデマイスター」 制作の道のりから感想まで
20612pv 360 2 users 38
-
風立ちぬの計算尺が動くシーンに興奮する人たち
110266pv 546 39 users 490 -
佐藤賢一先生による「閏月」解説
21060pv 227 25 users 6 -
関孝和の「改暦」伝説と渋川春海
27644pv 179 16 users 39 -
(祝)解析概論アニメ出演
34117pv 206 8 users 18 -
Thompson群と文脈自由言語
2267pv 20 2 users -
MM祭り
5809pv 26 -
cabal seminarの話に至る経緯
2046pv 11 -
Spring Topology行ってきたよ報告
2267pv 13 1 user -
東京教育大1960-1970年代数学基礎論
3797pv 15 2 users 1 -
集合論家DIkeさんと証明論家GLogさんの対話
3656pv 14 1 user -
ウナギを食べ尽くすのではなく、資源回復を
57883pv 1013 120 users 116 -
応用哲学会ゆるきゃら問題
6064pv 57 -
コンビニに、さとり世代の新人が舞い降りた。
2067228pv 32249 1748 users 8447 -
二階算術と集合論での決定性
3315pv 14 -
Inner model theory seminar.
3033pv 18 1 user 1 -
Boolean valued second order logic
2163pv 27 1 user -
ダジャレ数学クラスタ死亡かるた
7085pv 52 2 users -
2012年選択公理の日
11025pv 37 2 users -
学会開催校の恨み
60901pv 382 37 users 263 -
伊藤俊一氏による中世日本荘園史概説
11415pv 22 -
収束列が取れるか。単射と全射から全単射が作れるか。
11786pv 64 4 users -
数学できるかわず先生 ! ! ! ! ! !
18262pv 96 3 users