[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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: デフォルトの名無しさん [sage] 2024/03/25(月) 08:05:29.65 ID:S04445Yl(1) AAS
しょうもない算法や文法を力説されても
数理論理を知らん高卒なんやろか
245: デフォルトの名無しさん [sage] 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: デフォルトの名無しさん [sage] 2024/12/05(木) 16:55:56.65 ID:7Nw3563u(1) AAS
∧＿∧
ﾋﾟｭｰ ( ＾＾ ） ＜これからも山崎を応援して下さいね（＾＾）。
＝〔~∪￣￣〕
＝ ◎――◎ 山崎渉
736: デフォルトの名無しさん [sage] 2024/12/05(木) 22:23:42.65 ID:nFy0adPc(1) AAS
効率って短時間という意味だよな
たとえば疑わしきを3秒くらいで罰するとか
740(1): デフォルトの名無しさん [sage] 2024/12/08(日) 06:34:59.65 ID:X+KuZzcS(1) AAS
>>738高卒がプログラミングなんかすんなよ
910: デフォルトの名無しさん [] 2025/01/26(日) 20:55:22.65 ID:BcwcPe/+(1) AAS
ドリル優子が大臣に
918: デフォルトの名無しさん [sage] 2025/01/28(火) 15:48:49.65 ID:fgheZtrX(1) AAS
>>917暗号化技術でガロアとの肉体関係
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.053s