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

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

1:デフォルトの名無しさん
24/03/16 19:41:45.98 nuwGv9us.net
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど

485:デフォルトの名無しさん
24/04/28 12:01:18.22 UWVjL+Gl.net
>>483
嘘

486:デフォルトの名無しさん
24/04/28 13:34:31.41 451AX1n4.net
モナドはListとMaybeをベースに理解しろとあれほど言ったのに

487:デフォルトの名無しさん
24/04/28 14:08:30.43 Z64LYgN7.net
∧＿∧　　／￣￣￣￣￣
（　´∀｀）＜　オマエモナー
（　　　　）　＼＿＿＿＿＿
｜｜　|
（_＿）＿）

2から表示