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

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

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

931: 02/03(月)21:26 ID:lZjIFBNe(1) AAS
とりあえずフロントエンドは度外視
あれはJSで動かせるただのオモチャ

932: 02/03(月)23:48 ID:XBLKOMOL(1) AAS
仕様記述言語というのがあってだな

933: 02/04(火)02:03 ID:axINJClc(1) AAS
装飾と結合

934: 02/04(火)03:58 ID:Mw0YRrvx(1) AAS
モナド
再帰と不動点コンビネータ
継続と背理法

935: 02/04(火)12:25 ID:AbihjpY6(1) AAS
BNF

936: 02/04(火)15:34 ID:uhr4OKyS(1) AAS
普遍性は不動点である

937: 02/04(火)20:57 ID:Oeo4Jry5(1) AAS
Wolfram Languageの使い方を聞きに来たんだが
新しくスレ立てた方がよい？

938: 02/04(火)21:27 ID:Es9g2xhz(1) AAS
そうだな

939: 02/04(火)21:28 ID:kCOYqPIc(1) AAS
存在は普遍性
普遍性は極限
極限は不動点
つまり、存在は不動点

940: 02/05(水)02:27 ID:yJbYA8kV(1) AAS
場の臨界点

941: 02/05(水)02:28 ID:95a7ceRY(1) AAS
局所大域原理

942: 02/05(水)14:45 ID:RWIQAOlp(1) AAS
ゲスの極値乙女

943: 02/05(水)23:44 ID:IbLGMnEN(1) AAS
カタリロン

944(1): 02/06(木)07:56 ID:2B877/qC(1) AAS
米田埋込み

945: 02/06(木)10:34 ID:06aICcsP(1) AAS
>>944
事件かな？

946: 02/06(木)21:00 ID:75UI+75Y(1) AAS
コンパイラを書け

947: 02/06(木)21:04 ID:guqgasQB(1) AAS
継続指向言語
モナド指向言語

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

949(1): 02/06(木)23:10 ID:hwCUy5RI(1) AAS
全部記述って何？w

950(1): 02/06(木)23:14 ID:m0cItbCE(2/2) AAS
>>949
ゲーテルの不完全性定理って知ってる？

951(1): 02/06(木)23:31 ID:T9D6/Ohn(1) AAS
全部記述って何？

952(1): 02/06(木)23:32 ID:/3i5yGjy(1) AAS
>>950
知らんから教えて
Wikipedia見ても分からん

「初等的な自然数論を含む」って何？
「有限の立場」って何？

説明してね

953(1): 02/07(金)00:09 ID:hW+AbfK5(1) AAS
>>951
ゲーテルの不完全性定理って知ってる？

954: 02/07(金)01:46 ID:KWZjh6Se(1) AAS
>>953
知らんから教えて
>>952の内容も

955: 02/07(金)09:40 ID:xzx1dNO8(1) AAS
逐次近似法

956: 02/07(金)09:59 ID:gh02aWuS(1) AAS
スペクトル分解

957: 02/07(金)17:03 ID:QhJJc3Rt(1) AAS
トレース

958: 02/07(金)17:57 ID:hEymaDN/(1) AAS
固有値
固有多項式

959: 02/07(金)19:38 ID:zGDKiBUV(1) AAS
LU分解
特異値分解
ジョルダン分解

960: 02/07(金)23:03 ID:xWjShgR/(1) AAS
ヒルベルト空間