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

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

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

28: 2024/03/19(火)04:11:20.65 ID:YAmi9Hnz(1) AAS
数学を記述するには一階述語論理があれば十分
しかし処理系側は特殊なケースに特化するよりも自然に実装できる範囲で一般化したほうがいいだろう
命題の記述は依存型による

70(3): 2024/03/23(土)12:47:39.65 ID:g/HfMmmn(2/9) AAS
>>69
機械語に識別子はないからできないだろ。Cでは長さnの配列aの各要素に関数fを適用した結果を
配列bに格納する関数 map(f, a, n, b) を簡単に自作できる。

113: 2024/03/25(月)08:05:29.65 ID:S04445Yl(1) AAS
しょうもない算法や文法を力説されても
数理論理を知らん高卒なんやろか

245: 2024/04/12(金)16:41:43.65 ID:gi41fiD0(4/5) AAS
数学は計算だけの学問ではない

664: 2024/11/18(月)13:12:10.65 ID:petr+Idh(2/3) AAS
そもそも何を定義してほしいんだ？
上で言ってるイプシロンデルタ論法なんか厳密に定義されてるだろ

自分が理解できてないのを責任転嫁してないか？

731: 2024/12/05(木)16:55:56.65 ID:7Nw3563u(1) AAS
AA省

736: 2024/12/05(木)22:23:42.65 ID:nFy0adPc(1) AAS
効率って短時間という意味だよな
たとえば疑わしきを3秒くらいで罰するとか

740(1): 2024/12/08(日)06:34:59.65 ID:X+KuZzcS(1) AAS
>>738
高卒がプログラミングなんかすんなよ

910: 01/26(日)20:55:22.65 ID:BcwcPe/+(1) AAS
ドリル優子が大臣に

918: 01/28(火)15:48:49.65 ID:fgheZtrX(1) AAS
>>917
暗号化技術でガロアとの肉体関係