[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
165: デフォルトの名無しさん [sage] 2024/03/31(日) 17:28:42.81 ID:954vZkOe(2/3) AAS
まじこのスレやべーなw
キチガイ率高い
206: デフォルトの名無しさん [] 2024/04/02(火) 20:51:46.81 ID:E9gZLeha(2/2) AAS
そうなん？
「数学をプログラミングする」ってのがそういう意味じゃないなら、代数学的なのはHaskellの代数的データ型使えば割とできるし、証明とかは定理証明器って専用のプログラミング言語（Coqとか）があるよね？
統計学はRとか。
>11(16): デフォルトの名無しさん [] 2024/03/16(土) 19:41:45.98 ID:nuwGv9us(1) AAS
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
の文章読む限りは極限を求められる的な事と思ったけど？
まあ、私に学がないのは事実なんで、↑2名は説明お願い致しますm(_ _)m
297: デフォルトの名無しさん [sage] 2024/04/15(月) 08:24:20.81 ID:SAfAFkQa(2/3) AAS
>>296296(2): デフォルトの名無しさん [sage] 2024/04/15(月) 08:15:15.77 ID:SAfAFkQa(1/3) AAS
>>294
同値判定(ついでに大小判定)できるんだから「存在だけ証明」じゃないだろ。
確かに四則演算は有理体で閉じていないけど、拡大体を考えれば問題ない。
おっと
×有理体 ○有理数体
301(2): デフォルトの名無しさん [sage] 2024/04/15(月) 09:36:29.81 ID:scEUff9F(1/17) AAS
>>299299(1): デフォルトの名無しさん [sage] 2024/04/15(月) 08:51:17.84 ID:KspO/JeI(1/2) AAS
>>298
当たり前だろ。無理数は有理数じゃないんだから、有理数とは対応しない。
現代の数学は「実数=コーシー列の極限」で構築されているから、コーシー列が分かれば実数そのものとして扱うことができる。
実数の構成に5つぐらいある、切断とか。それに同値なものを同じものとみなすこともよくやる。
例えば実数は体、順序構造、連続性をもつものとして定義する
457: デフォルトの名無しさん [] 2024/04/26(金) 07:05:57.81 ID:MwB9a3Td(1) AAS
>>454圏論や型理論を記述言語にする
結局、数学を記述できる言語が必要
630: デフォルトの名無しさん [] 2024/11/15(金) 11:17:31.81 ID:QdZaIMPx(1) AAS
電子レベルでは不確定性原理が成り立つから、演繹法は成り立たない
712: デフォルトの名無しさん [sage] 2024/11/19(火) 17:29:21.81 ID:+UtMc6V6(1) AAS
プログラムするw
お前らあほだろ
828(1): デフォルトの名無しさん [sage] 2025/01/14(火) 14:18:33.81 ID:x8Aql6YT(1) AAS
有理数型や小数型も作れるのか？
877: デフォルトの名無しさん [sage] 2025/01/18(土) 15:34:34.81 ID:28NAL8Fg(1) AAS
>>876876(1): デフォルトの名無しさん [sage] 2025/01/18(土) 15:06:03.89 ID:2/LPmLwt(1) AAS
プログラミングに必要な数学は数値計算で使う数学くらいか？
微積と線形
圏論がプログラミングで無意味なのは誰でもわかるか
プログラミングと数学を分けてる時点で、Qiitaのブログのサンプルコピペしてる雑魚と同レベル
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s