「数学」をプログラミングするには
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から表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
146日前に更新/105 KB
担当:undef