[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
24: デフォルトの名無しさん [] 2024/03/18(月) 20:38:29.54 ID:8wq33qzx(1) AAS
>>2323(1): デフォルトの名無しさん [sage] 2024/03/18(月) 20:14:54.78 ID:nsefbItQ(1) AAS
>>4
そしてあんたはプログラムができない
永久にすれ違いだなｗ
>>5
実際に計算しない限りプログラムの世界では完成したとは言えない
できたような気になってるだけだｗ
ふつうに証明支援系で証明できるが
234: デフォルトの名無しさん [] 2024/04/12(金) 11:50:12.54 ID:Hn7My37C(2/5) AAS
> πという記号定数を使えばいいだけ
馬鹿かな
πって置いただけで、どうやってこれが無理数であることや、4arctan(1)と等しいことが確定するんだ？（笑）
237: デフォルトの名無しさん [] 2024/04/12(金) 12:03:07.54 ID:Hn7My37C(5/5) AAS
>>230230(5): デフォルトの名無しさん [sage] 2024/04/12(金) 11:00:23.24 ID:n/WEiCkF(1/5) AAS
厳密に求められないからπという記号を用いたわけで
コンピュータで扱う場合はπという記号定数を使えばいいだけ
無限に続くので3.14...を厳密に求めることはできないのは数学もコンピュータも一緒
1がしたいことが何なのかよくわからん
> 1がしたいことが何なのかよくわからん
問題意識を理解できないなら、わざわざいっちょかみすんな
わざわざいらんことして、おまけに無知まで晒してる
究極に恥ずかしいよお前（笑）
265(1): デフォルトの名無しさん [] 2024/04/13(土) 10:13:07.54 ID:4ahnOas7(1) AAS
>>260260(5): デフォルトの名無しさん [] 2024/04/12(金) 23:55:46.84 ID:lpyrPPhz(1) AAS
>>1
> たとえば、プログラミングで
>
> π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
>
> を近似ではなく厳密に確かめるにはどうしたらいいの
> 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
人間が証明出来るからって、有限なアルゴリズムに書き換えられるとは限らないんだよなぁ…。
そもそも人間の証明がlimとか使って（仮に無限回繰り返せれば）極限はnになる（だろう）って感じで有限のアルゴリズムじゃない訳で。
馬鹿文系
383(1): デフォルトの名無しさん [sage] 2024/04/17(水) 06:25:43.54 ID:ivCgW6Mo(2/3) AAS
前提
Pは任意の実係数多項式で∀x∈R, P(x) ≥ 0を満たすもの
示すべき事
この時、ある自然数nと実係数多項式f_k(x)、k=1..nが存在して
>>340の等式を満たすことが出来る
451: デフォルトの名無しさん [] 2024/04/25(木) 19:35:00.54 ID:qJxknH9s(1) AAS
物理をプログラミングって
シミュレーションじゃないだろ
たとえば世界がライフゲームだとして、
ライフゲームのプログラムを実行するのと、
N手後や前の状態を求めたり、パターンを分類するのは
別のこと
544: デフォルトの名無しさん [sage] 2024/05/07(火) 21:06:28.54 ID:pdFuXZMq(4/4) AAS
理研
外部ﾘﾝｸ:rqc.riken.jp
548: デフォルトの名無しさん [sage] 2024/05/09(木) 15:28:33.54 ID:5LaPb0No(1) AAS
MRI
721(2): デフォルトの名無しさん [sage] 2024/12/04(水) 23:24:59.54 ID:zvOMcMQ4(1/2) AAS
>>719理論的には可能だけど
結局複雑さが仕様記述に移るだけ
738(2): デフォルトの名無しさん [sage] 2024/12/07(土) 20:49:06.54 ID:tbnxnovb(1) AAS
>>11(16): デフォルトの名無しさん [] 2024/03/16(土) 19:41:45.98 ID:nuwGv9us(1) AAS
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
この数式の意味がわからん
754: デフォルトの名無しさん [sage] 2024/12/11(水) 21:55:37.54 ID:DIyj35fU(2/3) AAS
自明な部分とそうでない部分は平等に検証されるべきか？
791: デフォルトの名無しさん [sage] 2024/12/29(日) 18:41:16.54 ID:1/gaPmQa(2/2) AAS
自分が理解できないからと言って難癖をつけるのはやめましょう
980: デフォルトの名無しさん [sage] 2025/02/16(日) 14:23:12.54 ID:euivBKz6(1) AAS
女にモテる方程式教えて
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s