[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
457: デフォルトの名無しさん [] 2024/04/26(金) 07:05:57.81 ID:MwB9a3Td(1) AAS
>>454圏論や型理論を記述言語にする
結局、数学を記述できる言語が必要
458: デフォルトの名無しさん [sage] 2024/04/26(金) 10:38:30.14 ID:/+TxHGye(1/4) AAS
プログラミングをプログラミングするといえばlispだろ
459: デフォルトの名無しさん [sage] 2024/04/26(金) 11:01:14.08 ID:Rfmzu2jE(1) AAS
FORTH! FORTH!!
460: デフォルトの名無しさん [sage] 2024/04/26(金) 11:23:32.92 ID:BpYBau1Z(1/3) AAS
prologじゃダメなんですか？
461: デフォルトの名無しさん [] 2024/04/26(金) 12:04:23.78 ID:/+TxHGye(2/4) AAS
ジェダイは可
一階述語論理(prolog)がやられたようだな
やつは命題論理の次に最弱、プログラミング言語の面汚しよ
462: デフォルトの名無しさん [sage] 2024/04/26(金) 12:23:42.03 ID:BpYBau1Z(2/3) AAS
淵さんの悪口は止めてー
463: デフォルトの名無しさん [sage] 2024/04/26(金) 12:23:53.06 ID:Qv/2Ju5X(1) AAS
Use the Forth, Luke.
464: デフォルトの名無しさん [] 2024/04/26(金) 14:58:11.95 ID:XmG4rE99(1/3) AAS
コルーチンは普遍的だ
465: デフォルトの名無しさん [sage] 2024/04/26(金) 15:41:42.09 ID:/+TxHGye(3/4) AAS
同じ入力に対して常に同じ出力をかえすのが数学の関数だからコルーチンは邪道
466(1): デフォルトの名無しさん [] 2024/04/26(金) 15:54:00.95 ID:XmG4rE99(2/3) AAS
コルーチンは関数ではない
467(1): デフォルトの名無しさん [sage] 2024/04/26(金) 17:20:22.24 ID:SscvQYbj(1) AAS
なんか圏論が万能かのように語る雑魚ってかならずいるよな
そもそも関数型言語をやるうえで言論の知識なんて1ミリも必要ないわけだけど
468: デフォルトの名無しさん [sage] 2024/04/26(金) 17:28:01.02 ID:BpYBau1Z(3/3) AAS
言論の自由だ
469: デフォルトの名無しさん [] 2024/04/26(金) 17:47:43.85 ID:XmG4rE99(3/3) AAS
依存性の注入
継続渡し
470: デフォルトの名無しさん [] 2024/04/26(金) 18:43:55.22 ID:hVnzlfRF(1/3) AAS
∃.elim(h, (w) => ((hw) => q))
471: デフォルトの名無しさん [] 2024/04/26(金) 18:51:28.19 ID:hVnzlfRF(2/3) AAS
append (v: Vec t n) (w: Vec t m) : (Vec t (n + m)) :=
[] w => w
x:xs w => x:(append xs w)
472: デフォルトの名無しさん [sage] 2024/04/26(金) 18:55:54.57 ID:/+TxHGye(4/4) AAS
>>466
元の概念(マイクロスレッドとかファイバ)は関数とは独立かもしれんがコルーチンの実装は関数のようだぞ
pythonはジェネレーティブ関数とよび、c#のコルーチンも関数って書いてあった
473: デフォルトの名無しさん [] 2024/04/26(金) 22:45:29.55 ID:hVnzlfRF(3/3) AAS
Megumin
474: デフォルトの名無しさん [sage] 2024/04/27(土) 01:20:53.97 ID:e525gwYe(1) AAS
>>467
1ミリも関係ないもの同士がじつは同型だったみたいな感じ？
何もしてないのに同型
475: デフォルトの名無しさん [] 2024/04/27(土) 14:04:36.05 ID:5FYmDggB(1) AAS
lambdaはghost componentを扱えるからな
Idrisなどの関数型言語は、型推論とメタプログラミングによって増々レバレッジを得る
476: デフォルトの名無しさん [sage] 2024/04/27(土) 15:14:22.70 ID:VoduIlph(1) AAS
プログラミング言語論とか本当に役に立たないからな
477: デフォルトの名無しさん [] 2024/04/27(土) 17:07:16.37 ID:nw1MgPev(1) AAS
割り当てられたメモリの値を変更できる時点で数学はできない
478: デフォルトの名無しさん [] 2024/04/28(日) 01:44:22.22 ID:rN6WPJxf(1) AAS
つまりプログラミングは数学よりも強力ということ
479: デフォルトの名無しさん [] 2024/04/28(日) 09:02:04.37 ID:0uI3fhfO(1) AAS
プログラミングは数学もできるしアルゴリズムも書ける
480: デフォルトの名無しさん [sage] 2024/04/28(日) 09:28:31.16 ID:xSCCuQGd(1/2) AAS
自由すぎても強力とはいえないけどな
go to considered harmful
適度にバグりにくい制限があるほうが強力
481: デフォルトの名無しさん [sage] 2024/04/28(日) 10:15:43.02 ID:Z64LYgN7(1/3) AAS
雑談もできる
上下前次1-新書関写板覧索設栞歴
あと 521 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s