[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
129: 2024/03/26(火)02:09:58.19 ID:bsMEvYma(1/3) AAS
意識は数学かｗｗｗ
175: 2024/03/31(日)22:21:08.19 ID:HimKkZni(1) AAS
数学一般をプログラムするのはきつそうだけど、>>1の内容くらいならMathematicaとかでできるのでは
177(1): 2024/03/31(日)23:16:01.19 ID:slFHfGV9(1) AAS
>>171
プログラム技術と全く関係ないの、わかる？
単語だけ知ってても意味ないのよ
209: 2024/04/03(水)07:24:46.19 ID:CW5lmJ5l(1) AAS
>>208
だから、>1への回答をお願いします。
その不完全性定理とか流し読みだからうろ覚えだけど、
ある数学モデルの無矛盾性をその数学モデルは証明できないとか？だっけ？
数学そのものの不完全さを証明したもので、「「数学」をプログラミングする」の
証明ではない気がするんだけど…。
物理的な不可能の証明として無限や連続性を上げるのは妥当だと思うのだが、
あなたは違うと言う。
なら、あなたは私の代わりに証明する義務があるのでは？
236: 2024/04/12(金)11:56:22.19 ID:Hn7My37C(4/5) AAS
>>230
で、こいつ次は、
「厳密にもとまらないというのは、10進数で有限桁で表せないという意味で言った」
とか言い訳するんだろうなあｗｗｗｗ
391: 2024/04/17(水)07:24:42.19 ID:Rqxu+zgK(6/10) AAS
∀x, P(x) ≥ 0なので、最高次の係数はかならず正
a(x + A)^2n + bx^2(n-1) + ...
の形にできる
b ≥ 0ならOK
b < 0ならどうする？
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)
596(5): 2024/11/12(火)04:10:14.19 ID:15KCzjek(2/5) AAS
x^2 = 2をみたす正の実数xは一意的に存在する
なら、それを√2というシンボルで扱えるようにすべきだ
計算は必要なときにだけすればいい
x = 1.4142云々という数値にしなければ扱えないのは不要な制約
これは誤差があるとかそういう問題ではない
人間の思考をコンピュータの都合に合わせようとしているのが問題
729: 2024/12/05(木)15:12:42.19 ID:xTrv11hP(2/2) AAS
>>727
な？不思議だよなw
学べば別に魔法じゃないことがわかる
765: 2024/12/12(木)19:13:14.19 ID:rgUDNRxT(5/6) AAS
ポエム爺
813: 01/13(月)10:20:57.19 ID:Ymx2LteG(1/3) AAS
オブジェクト志向の次はデザインパターンだろ
823: 01/14(火)12:10:31.19 ID:ygjj3afU(1) AAS
型なんて特別なものじゃない
0や1はInt型のオブジェクト、IntはType型のオブジェクト
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s