21/08/25(水)21:40:00 圏論と... のスレッド詳細
削除依頼やバグ報告は メールフォーム にお願いします。個人情報、名誉毀損、侵害等については積極的に削除しますので、 メールフォーム より該当URLをご連絡いただけると助かります。
画像ファイル名:1629895200274.jpg 21/08/25(水)21:40:00 No.839126400
圏論という分野を最近知ったのだけれども 何も分からん…
1 21/08/25(水)21:40:46 No.839126772
そうだね
2 21/08/25(水)21:42:49 No.839127834
20年前くらいに勉強してたけど特に分からんかった
3 21/08/25(水)21:43:14 No.839128026
群論もわからん
4 21/08/25(水)21:43:52 No.839128337
俺も何がなにやら
5 21/08/25(水)21:44:01 No.839128418
圏論は圏論専門に研究してる大学教授以外誰もわからん分野だと言っていい
6 21/08/25(水)21:45:17 No.839129018
色々調べても関手でシコシコして対象に射する事以上の理解は出来なかった…
7 21/08/25(水)21:46:21 No.839129577
宇宙際タイヒミュラー理論とか理解するのに必要な理論なんでしょ？
8 21/08/25(水)21:48:33 No.839130598
集合論とはどう違うの？
9 21/08/25(水)21:52:50 No.839132554
圏論で対象の仕様を書く 集合論でのその対象の実装が複数あったりする 圏論で証明を書くとその証明は実装に依存しない みたいな
10 21/08/25(水)21:54:27 No.839133330
難しいという印象しかない
11 21/08/25(水)21:55:28 No.839133794
激強プログラマが駆使するイメージ
12 21/08/25(水)21:55:45 No.839133920
https://www.is.s.u-tokyo.ac.jp/isnavi/logic07.html これのオチが面白かった
13 21/08/25(水)21:57:13 No.839134581
つまりabstractクラス？
14 21/08/25(水)22:16:27 No.839144490
>宇宙際タイヒミュラー理論とか理解するのに必要な理論なんでしょ？ 頭の中で堆肥という漢字しか浮かんでこない理論きたな…
15 21/08/25(水)22:18:20 No.839145456
関数プログラマーは圏論分かってないとマウントとられると聞いたぞ
16 21/08/25(水)22:20:25 No.839146388
そもそも集合も怪しい位相もダメ軍艦隊も知らない知らないのだ
17 21/08/25(水)22:20:39 No.839146480
低レベルプログラマーで良かった…
18 21/08/25(水)22:20:50 No.839146577
>関数プログラマーは圏論分かってないとマウントとられると聞いたぞ そんなことしたら騎士団が斬りかかってきそう
19 21/08/25(水)22:23:32 No.839147993
数学はなんとか単位もらってたけどじゃあこれを活かして頑張って何か作ってね！って放たれたら何もできない
20 21/08/25(水)22:34:24 No.839153241
ミル貝を読んでもよくわからないけどメタ数学みたいなもんか
21 21/08/25(水)22:35:09 No.839153581
体はわかるな
22 21/08/25(水)22:36:04 No.839153966
haskellと関係があるらしいので読んでみたがよくわからなかったので無視した
23 21/08/25(水)22:36:19 No.839154060
>低レベルプログラマーで良かった… 言葉の印象と違ってハードに近くて面倒くせえ印象しかない…
24 21/08/25(水)22:38:17 No.839154993
ハードに近いと楽しいよ 計算機の性能を引き出す快感がある