「数学」をプログラミングするには2

**デフォルトの名無しさん** · 2025/02/20(木) 01:10:56.24

たとえば、プログラミングで

π/4 = 1 - 1/3 + 1/5 - 1/7 + ...

を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど

前スレ
http://mevius.5ch.net/test/read.cgi/tech/1710585705/

**デフォルトの名無しさん** · 2025/02/20(木) 01:34:41.34

数学コンプレックスは書き込むな

**デフォルトの名無しさん** · 2025/02/20(木) 03:06:40.78

まさか次スレを立てる馬鹿がいるとは思わなんだ

**デフォルトの名無しさん** · 2025/02/20(木) 07:47:49.33

性懲りもなくとはこのことだ

**デフォルトの名無しさん** · 2025/02/20(木) 07:48:33.32

馬鹿程自説に拘る

**デフォルトの名無しさん** · 2025/02/20(木) 08:35:46.63

>>3
興味がないなら単に書き込まなければいい話
スレッドに分かれていて、中身をみないことが容易にできるのに、わざわざ文句をつけにくる
それは君の知性ではなく幼稚さしか示さないよ

**デフォルトの名無しさん** · 2025/02/20(木) 09:18:50.52

Pythonとかちょろっと書けるくらいで自分はプログラマだと思ってるような人とは無縁のスレだ
数学や計算機科学にコンプレックス持ってる奴は書き込むな

**デフォルトの名無しさん** · 2025/02/20(木) 10:54:20.24

自分が、数学をやっている人より劣っているという僻みや妬みがあるから、数学に対して攻撃的になる
学歴コンプレックスと同じだ
その原因は数学や数学者にはない、自分にある
コンプレックスを解消するには、数学やプログラミングを勉強するしかない

**デフォルトの名無しさん** · 2025/02/20(木) 11:44:16.12

既に論破されてるのにまたスレを立てる馬鹿

**デフォルトの名無しさん** · 2025/02/20(木) 11:49:00.57

コンプレックス、妬み、幼稚という奴は自己紹介

**デフォルトの名無しさん** · 2025/02/20(木) 12:39:35.87

スレッドに分かれていて、興味がないなら見なければいいだけの話なのに、わざわざ開いて文句をつけにくるのはなんでだろう？
それも平日の昼間から

**デフォルトの名無しさん** · 2025/02/20(木) 14:11:53.81

スレッドを他人が書き込めないようにすればいいだけ

**デフォルトの名無しさん** · 2025/02/20(木) 15:18:10.08

電車の中で大きくなってしまった僕のおちんちん

**デフォルトの名無しさん** · 2025/02/20(木) 15:37:00.52

微積分も碌にわからない奴が数学ガー

**デフォルトの名無しさん** · 2025/02/20(木) 16:04:08.29

圏論
依存型
定理証明支.援系
型付きラムダ計算
型理論
表示的意味論

のうち少なくとも1つがわかる奴だけ書き込んでくれ

**デフォルトの名無しさん** · 2025/02/20(木) 16:07:07.72

深夜と早朝以外の時間帯は書き込み禁止

**デフォルトの名無しさん** · 2025/02/20(木) 16:07:35.86

IDコロコロ以外書き込み禁止

**デフォルトの名無しさん** · 2025/02/20(木) 17:08:33.23

ホーア論理というのがあるじゃないですか
実際にプログラムを書くときにすべてホーア論理で証明しながら書いたら
バグのないプログラムが書けるということでしょうか