「数学」をプログラミングするには

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

926: デフォルトの名無しさん [] 2025/02/03(月) 12:07:03.75 ID:wBItYUjQ(1) AAS
3が付くときと3の倍数でアホになる

927: デフォルトの名無しさん [sage] 2025/02/03(月) 17:58:17.64 ID:D+cWD+hu(1/3) AAS
無から有は生じない

928: デフォルトの名無しさん [sage] 2025/02/03(月) 17:58:31.17 ID:D+cWD+hu(2/3) AAS
型はクライスリ圏の対象

929: デフォルトの名無しさん [sage] 2025/02/03(月) 17:59:07.77 ID:D+cWD+hu(3/3) AAS
極限は普遍性
普遍性は表現
すべてはカン拡張

930: デフォルトの名無しさん [sage] 2025/02/03(月) 19:18:40.28 ID:zeOU8J2H(1) AAS
スケッチ→スキャッフォルド→スキーマ

これが数学的プログラミングの骨格

931: デフォルトの名無しさん [sage] 2025/02/03(月) 21:26:57.77 ID:lZjIFBNe(1) AAS
とりあえずフロントエンドは度外視
あれはJSで動かせるただのオモチャ

932: デフォルトの名無しさん [sage] 2025/02/03(月) 23:48:49.59 ID:XBLKOMOL(1) AAS
仕様記述言語というのがあってだな

933: デフォルトの名無しさん [sage] 2025/02/04(火) 02:03:30.03 ID:axINJClc(1) AAS
装飾と結合

934: デフォルトの名無しさん [sage] 2025/02/04(火) 03:58:03.13 ID:Mw0YRrvx(1) AAS
モナド
再帰と不動点コンビネータ
継続と背理法

935: デフォルトの名無しさん [] 2025/02/04(火) 12:25:57.48 ID:AbihjpY6(1) AAS
BNF

936: デフォルトの名無しさん [sage] 2025/02/04(火) 15:34:32.31 ID:uhr4OKyS(1) AAS
普遍性は不動点である

937: デフォルトの名無しさん [sage] 2025/02/04(火) 20:57:39.48 ID:Oeo4Jry5(1) AAS
Wolfram Languageの使い方を聞きに来たんだが
新しくスレ立てた方がよい？

938: デフォルトの名無しさん [sage] 2025/02/04(火) 21:27:36.82 ID:Es9g2xhz(1) AAS
そうだな

939: デフォルトの名無しさん [sage] 2025/02/04(火) 21:28:19.56 ID:kCOYqPIc(1) AAS
存在は普遍性
普遍性は極限
極限は不動点
つまり、存在は不動点

940: デフォルトの名無しさん [sage] 2025/02/05(水) 02:27:52.17 ID:yJbYA8kV(1) AAS
場の臨界点

941: デフォルトの名無しさん [sage] 2025/02/05(水) 02:28:44.71 ID:95a7ceRY(1) AAS
局所大域原理

942: デフォルトの名無しさん [] 2025/02/05(水) 14:45:57.05 ID:RWIQAOlp(1) AAS
ゲスの極値乙女

943: デフォルトの名無しさん [sage] 2025/02/05(水) 23:44:40.38 ID:IbLGMnEN(1) AAS
カタリロン

944(1): デフォルトの名無しさん [sage] 2025/02/06(木) 07:56:01.83 ID:2B877/qC(1) AAS
米田埋込み

945: デフォルトの名無しさん [sage] 2025/02/06(木) 10:34:59.56 ID:06aICcsP(1) AAS
>>944
事件かな？

946: デフォルトの名無しさん [sage] 2025/02/06(木) 21:00:15.76 ID:75UI+75Y(1) AAS
コンパイラを書け

947: デフォルトの名無しさん [sage] 2025/02/06(木) 21:04:29.07 ID:guqgasQB(1) AAS
継続指向言語
モナド指向言語

948(1): デフォルトの名無しさん [sage] 2025/02/06(木) 22:34:55.78 ID:m0cItbCE(1/2) AAS
ゲーテルの不完全性定理と計算可能性の話で全部記述することは無理なんじゃなかった？

949(1): デフォルトの名無しさん [sage] 2025/02/06(木) 23:10:35.99 ID:hwCUy5RI(1) AAS
全部記述って何？w

950(1): デフォルトの名無しさん [sage] 2025/02/06(木) 23:14:20.21 ID:m0cItbCE(2/2) AAS
>>949
ゲーテルの不完全性定理って知ってる？