「数学」をプログラミングするには2 (186ﾚｽ)
上下前次1-新
1(3): デフォルトの名無しさん [sage] 2025/02/20(木) 01:10:56.24 ID:oTwZIw4i(1) AAS
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
前スレ
2chｽﾚ:tech
2: デフォルトの名無しさん [] 2025/02/20(木) 01:34:41.34 ID:vQ5PrRiS(1) AAS
数学コンプレックスは書き込むな
3(1): デフォルトの名無しさん [sage] 2025/02/20(木) 03:06:40.78 ID:7lQ484Ne(1) AAS
まさか次スレを立てる馬鹿がいるとは思わなんだ
4: デフォルトの名無しさん [sage] 2025/02/20(木) 07:47:49.33 ID:ZlQ9RgLk(1/11) AAS
性懲りもなくとはこのことだ
5: デフォルトの名無しさん [sage] 2025/02/20(木) 07:48:33.32 ID:ZlQ9RgLk(2/11) AAS
馬鹿程自説に拘る
6: デフォルトの名無しさん [] 2025/02/20(木) 08:35:46.63 ID:2SGzHU5w(1) AAS
>>3
興味がないなら単に書き込まなければいい話
スレッドに分かれていて、中身をみないことが容易にできるのに、わざわざ文句をつけにくる
それは君の知性ではなく幼稚さしか示さないよ
7: デフォルトの名無しさん [] 2025/02/20(木) 09:18:50.52 ID:zTnnn+9R(1) AAS
Pythonとかちょろっと書けるくらいで自分はプログラマだと思ってるような人とは無縁のスレだ
数学や計算機科学にコンプレックス持ってる奴は書き込むな
8: デフォルトの名無しさん [] 2025/02/20(木) 10:54:20.24 ID:D4vFl61a(1) AAS
自分が、数学をやっている人より劣っているという僻みや妬みがあるから、数学に対して攻撃的になる
学歴コンプレックスと同じだ
その原因は数学や数学者にはない、自分にある
コンプレックスを解消するには、数学やプログラミングを勉強するしかない
9: デフォルトの名無しさん [sage] 2025/02/20(木) 11:44:16.12 ID:ZlQ9RgLk(3/11) AAS
既に論破されてるのにまたスレを立てる馬鹿
10: デフォルトの名無しさん [sage] 2025/02/20(木) 11:49:00.57 ID:ZlQ9RgLk(4/11) AAS
コンプレックス、妬み、幼稚という奴は自己紹介
11: デフォルトの名無しさん [] 2025/02/20(木) 12:39:35.87 ID:n9daHSA/(1) AAS
スレッドに分かれていて、興味がないなら見なければいいだけの話なのに、わざわざ開いて文句をつけにくるのはなんでだろう？
それも平日の昼間から
12: デフォルトの名無しさん [sage] 2025/02/20(木) 14:11:53.81 ID:ZlQ9RgLk(5/11) AAS
スレッドを他人が書き込めないようにすればいいだけ
13: デフォルトの名無しさん [sage] 2025/02/20(木) 15:18:10.08 ID:p1DQah4h(1) AAS
電車の中で大きくなってしまった僕のおちんちん
14(1): デフォルトの名無しさん [sage] 2025/02/20(木) 15:37:00.52 ID:ZlQ9RgLk(6/11) AAS
微積分も碌にわからない奴が数学ガー
15: デフォルトの名無しさん [] 2025/02/20(木) 16:04:08.29 ID:HHjtRjcd(1/2) AAS
圏論
依存型
定理証明支.援系
型付きラムダ計算
型理論
表示的意味論
のうち少なくとも1つがわかる奴だけ書き込んでくれ
16: デフォルトの名無しさん [sage] 2025/02/20(木) 16:07:07.72 ID:ZlQ9RgLk(7/11) AAS
深夜と早朝以外の時間帯は書き込み禁止
17: デフォルトの名無しさん [sage] 2025/02/20(木) 16:07:35.86 ID:ZlQ9RgLk(8/11) AAS
IDコロコロ以外書き込み禁止
18: デフォルトの名無しさん [sage] 2025/02/20(木) 17:08:33.23 ID:HYK2zLy1(1) AAS
ホーア論理というのがあるじゃないですか
実際にプログラムを書くときにすべてホーア論理で証明しながら書いたら
バグのないプログラムが書けるということでしょうか
19: デフォルトの名無しさん [sage] 2025/02/20(木) 17:17:03.82 ID:ZlQ9RgLk(9/11) AAS
πの定義が分からない奴は書き込み禁止
20: デフォルトの名無しさん [sage] 2025/02/20(木) 18:00:30.81 ID:SSC+jOf4(1) AAS
プログラムも数学もできない幼児以下の知能児のためのスレ
NG推奨
21: デフォルトの名無しさん [] 2025/02/20(木) 18:58:13.11 ID:HHjtRjcd(2/2) AAS
表示的意味論
22(1): デフォルトの名無しさん [] 2025/02/20(木) 19:05:52.44 ID:gQoYPJdu(1) AAS
プログラミングの本質は合成である
23: デフォルトの名無しさん [sage] 2025/02/20(木) 19:13:13.21 ID:ZlQ9RgLk(10/11) AAS
「数学」をプログラミングするには>>>>>>>>>>>>π/4 = 1 - 1/3 + 1/5 - 1/7 + ...が収束することの証明
24(2): デフォルトの名無しさん [] 2025/02/20(木) 19:41:36.39 ID:3EKcW6lQ(1) AAS
国民民主をみてると、ドイツでナチスが台頭した理由もわかるわ
ああやって、理屈抜きで民衆の社会への不満を増大させて、共通の敵を作って団結するんだな
25: デフォルトの名無しさん [] 2025/02/20(木) 19:42:16.39 ID:KUf/VvNI(1) AAS
こいつ数学板でも暴れてるキチガイでしょ
どんだけ数学にコンプレックスあんの
上下前次1-新書関写板覧索設栞歴
あと 161 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.541s*