ちゅーん @its_out_of_tune
プログラマ/日曜作曲家/興味・関心の方向は複素三次元ベクトルです
-
LogicCafe #0 #logic_cafe
1388pv 3 -
数学的対象を知らずに圏論を学ぶ事に関するあれこれ
5957pv 7 -
CCCと直和がどうのこうの
2311pv 9
-
ちゅーんさんがF代数頑張る!!
2245pv 10 -
随伴とカリー化とStateモナド
2874pv 6 1 user -
ちゅーんさんがみょんさんにyoneda functorを教わるTL
7879pv 13 -
まとめ主がひたすら圏論入門するTL
6367pv 3 3 users -
プログラミングと数学のお話
3881pv 6 1 user -
数学TLまとめ その2 平行線公理の話
3613pv 5 -
ちゅーん vs 島田俊輔 掛け算問題のローカルディベート
1991pv 3 1 user -
数学TLまとめ その1
1630pv 6 -
とある日の数学TL
1827pv 5