ぴあのん @piano2683
小山高専助教←京大数理研ポスドク/数学基礎論/モデル理論/圏論/トポス新人類志望/S2S/栃高112回卒/数理の翼30,34,36,37,伊計島(N)2020,2022/湧源/ピアノ/チューバ/合唱/アニメ/凪あす/さよ朝/きらら/FGO/シャニマス/日本酒/ツイートの大半は趣味関連です/アイコンは #ゆる女子メーカー
-
【雑まとめ】分類トポスとモデル理論の話
2356pv 7 -
ぴあのんさんバ美肉する
2582pv 4 -
前原 和壽著『圏論入門』実況
80958pv 138 38 users 58
-
【雑談ログ】Twitterトポス談義
3212pv 10 1 user -
@alg_d 先生によるformal category theory入門
9439pv 4 1 user -
elementary submodel、モデル理論っぽい集合論
3913pv 2 -
「第8回関西すうがく徒のつどい関連まとめ」のまとめ
1310pv 7 -
ぴあのん『続・闇空間Rの性質』@第8回関西すうがく徒のつどい #kansaimath
10937pv 30 2 users -
足立恒雄先生による「幾何学の公理系」と「数学基礎論」に関する連ツイまとめ
18623pv 38 22 users 16 -
数学と公理的集合論ZFC
13907pv 27 -
【自分用まとめ】数学とロジック
6055pv 5 -
圏論の本についてのFAQ+α+β
36901pv 67 7 users 1 -
mr_konnさんによる「イデアルとデデキント切断」の話
2957pv 13 -
【自分用まとめ】モデル理論に関する雑感とそれに続く議論
11530pv 13 -
強制法におけるジェネリックフィルターとアフィンスキームにおけるジェネリックポイント
3687pv 16 1 -
全ての素数の積が偶数なのが納得がいかない数学徒たち
122361pv 519 31 users 463 -
第5回関西すうがく徒のつどい2日目(講義編) #kansaimath
11202pv 19 5 -
第5回関西すうがく徒のつどい2日目(雑談編) #kansaimath
3385pv 16 -
第5回関西すうがく徒のつどい1日目(講義編) #kansaimath
8930pv 24 -
第5回関西すうがく徒のつどい1日目(雑談編) #kansaimath
5372pv 16 -
深夜ピアノ談義
3431pv 6