知ってるとプログラミングに役立つ数学知識 (276ﾚｽ)
知ってるとプログラミングに役立つ数学知識 http://mevius.5ch.net/test/read.cgi/tech/1527166683/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
116: デフォルトの名無しさん [] 2020/04/01(水) 03:54:01.15 ID:Bo1VBV+d 圏論やるにしても、 ・Product/Coproduct ・Exponential とか基本的なUniversal constructionは、はじめから言語に備わってるし 圏論を意識しなくても使ってるだろうから、圏論を通してこれらを知っても 自分のコードの良し悪しに影響するかと言われると微妙。 圏論の重要概念Adjunctionに関しても、プログラミングに関係してくるのは Product/Exponential adjunctionだろうけど、これも所詮ただのカリー化だから、 カリー化の背後にはAdjunctionがある！って言われても、ほとんどの人は「で？」で終わりそう。 それでもめげずに ・F-algebra <=> 再帰的データ構造 ・Yoneda lemma -- 下記を扱う上で当たり前のように使う ・End/Coend <=> 全称型・存在型の好例 ・Kan extenstion <=> Free construction(特にFree functorなんかは魔術的) あたりまで踏み込むと、このあたりはプログラミングと絡めても面白い。 http://mevius.5ch.net/test/read.cgi/tech/1527166683/116
130: デフォルトの名無しさん [sage] 2020/04/10(金) 07:52:14.15 ID:TdKXcRvJ テレビが壊れた場合の話なんか誰もしてない http://mevius.5ch.net/test/read.cgi/tech/1527166683/130
154: デフォルトの名無しさん [sage] 2020/04/13(月) 19:29:10.15 ID:fUGpwNNT 数学の用語は厳密さか重要だからなあ プログラミング言語の用語と似ているところがあるけれども 微妙に違うから直観的な理解としてはいいかもしれないけど 厳密にいうと間違い http://mevius.5ch.net/test/read.cgi/tech/1527166683/154
236: デフォルトの名無しさん [] 2020/06/05(金) 12:23:19.15 ID:/1PBSCi6 リーマン幾何学 http://mevius.5ch.net/test/read.cgi/tech/1527166683/236
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s