[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
201: デフォルトの名無しさん [] 2024/04/02(火) 19:28:42.90 ID:UQ61ZLph(1) AAS
数式ゴリゴリのデジタルフィルターなんか、プログラムで書くと、あぁそういう事かと理解が速いよね。
乱反射を解析し反射元の形状を投影するとか、マクスウェルFDTDで、MEMSデバイスのパターンを作るプログラムなどは、プログラムで理解する有用性を証明している。
始めに数学工学が必要なのは言うまでもない。
286(2): デフォルトの名無しさん [] 2024/04/14(日) 22:02:11.90 ID:ZXz6cRZI(2/2) AAS
>>270うん…。
まあ、そもそも有限ステップで証明可能な事と、近似値ではない真の値を求めることを混同してる>11(16): デフォルトの名無しさん [] 2024/03/16(土) 19:41:45.98 ID:nuwGv9us(1) AAS
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
が悪いって事やね。
ε-δ論法で証明出来るのはいくらでも精度の高い近似値を求められる（それをもって極限の存在を証明）ってだけやし。
298(1): デフォルトの名無しさん [] 2024/04/15(月) 08:29:15.90 ID:hKAoajYZ(3/3) AAS
>>296296(2): デフォルトの名無しさん [sage] 2024/04/15(月) 08:15:15.77 ID:SAfAFkQa(1/3) AAS
>>294
同値判定(ついでに大小判定)できるんだから「存在だけ証明」じゃないだろ。
確かに四則演算は有理体で閉じていないけど、拡大体を考えれば問題ない。
それについては言い過ぎたと謝罪するけど、それって結局真の値は分からなくても√２って記号に押し込めれば順序比べられるし四則演算出来るってのと変わらない。
>1の求める近似値ではない厳密って何？って話になるが。
381(2): デフォルトの名無しさん [] 2024/04/17(水) 05:56:42.90 ID:Rqxu+zgK(1/10) AAS
>>340
P(x) = x^2
f_1(x) = 0
[∀x∈R, P(x) ≥ 0]∧[P(x) ≠ (f_1(x))^2]
？
492: デフォルトの名無しさん [sage] 2024/05/03(金) 11:30:26.90 ID:x0ve7rFX(1/4) AAS
マルチコアの処理をするコードもプログラミングの範疇だが
711: デフォルトの名無しさん [sage] 2024/11/19(火) 17:21:27.90 ID:BjXbrgPI(9/10) AAS
>>710そんな限定した話をしてるんじゃないよ
715: デフォルトの名無しさん [sage] 2024/11/20(水) 17:30:31.90 ID:bfGgzFod(1) AAS
だめだ幼稚すぎる
757: デフォルトの名無しさん [sage] 2024/12/11(水) 23:05:07.90 ID:DIyj35fU(3/3) AAS
他人にケチつけられたら自画自賛すればいい
841(1): デフォルトの名無しさん [sage] 2025/01/15(水) 06:39:48.90 ID:xj5qHVfP(1) AAS
>>839839(2): デフォルトの名無しさん [sage] 2025/01/15(水) 01:13:53.96 ID:xsuF+zK/(1) AAS
型っつっても所詮は構造体に名前がついただけ
計算の過程や性質に型付けをしたいんだ
「関数fを抜けたタイミングで、ポインタpは必ず指定の条件をみたす場所を指していなければならない」
こういうのを型で保証したいんだ
理解浅すぎ
数学勉強してないでしょ
905: デフォルトの名無しさん [sage] 2025/01/26(日) 01:21:09.90 ID:RxnNQ4s+(1/3) AAS
必要なのはドリルではなく穴
記号ではなく意味
と思うじゃん？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s