[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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
うん…。
まあ、そもそも有限ステップで証明可能な事と、近似値ではない真の値を求めることを混同してる>1が悪いって事やね。
ε-δ論法で証明出来るのはいくらでも精度の高い近似値を求められる（それをもって極限の存在を証明）ってだけやし。
298(1): 2024/04/15(月)08:29:15.90 ID:hKAoajYZ(3/3) AAS
>>296
それについては言い過ぎたと謝罪するけど、それって結局真の値は分からなくても√２って記号に押し込めれば順序比べられるし四則演算出来るってのと変わらない。
>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: 2024/05/03(金)11:30:26.90 ID:x0ve7rFX(1/4) AAS
マルチコアの処理をするコードもプログラミングの範疇だが
711: 2024/11/19(火)17:21:27.90 ID:BjXbrgPI(9/10) AAS
>>710
そんな限定した話をしてるんじゃないよ
715: 2024/11/20(水)17:30:31.90 ID:bfGgzFod(1) AAS
だめだ幼稚すぎる
757: 2024/12/11(水)23:05:07.90 ID:DIyj35fU(3/3) AAS
他人にケチつけられたら自画自賛すればいい
841(1): 01/15(水)06:39:48.90 ID:xj5qHVfP(1) AAS
>>839
理解浅すぎ
数学勉強してないでしょ
905: 01/26(日)01:21:09.90 ID:RxnNQ4s+(1/3) AAS
必要なのはドリルではなく穴
記号ではなく意味
と思うじゃん？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s