[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
1: デフォルトの名無しさん [] 2024/03/16(土) 19:41:45.98 ID:nuwGv9us たとえば、プログラミングで π/4 = 1 - 1/3 + 1/5 - 1/7 + ... を近似ではなく厳密に確かめるにはどうしたらいいの 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど http://mevius.5ch.net/test/read.cgi/tech/1710585705/1
452: デフォルトの名無しさん [] 2024/04/25(木) 19:48:06.98 ID:+T+qvOw+ その辺が、πを計算するのに近似値がどうのこうの言ってる連中の誤解かも知れんな http://mevius.5ch.net/test/read.cgi/tech/1710585705/452
530: デフォルトの名無しさん [] 2024/05/06(月) 12:03:02.98 ID:gd5I0tjN エバQはあくまで共通部分だから中身スッカスカ もっと一点集中しないと http://mevius.5ch.net/test/read.cgi/tech/1710585705/530
590: デフォルトの名無しさん [sage] 2024/11/05(火) 17:56:28.98 ID:jvZmHUTK 💣💣💣detonational semantics💣💣💣 http://mevius.5ch.net/test/read.cgi/tech/1710585705/590
713: デフォルトの名無しさん [sage] 2024/11/19(火) 17:57:15.98 ID:BjXbrgPI 数学ができるんならできるだろｗ http://mevius.5ch.net/test/read.cgi/tech/1710585705/713
864: デフォルトの名無しさん [sage] 2025/01/17(金) 16:31:58.98 ID:tFlne/Xr まぁ形式論理も時相論理もプログラミングには何の恩恵もないわな http://mevius.5ch.net/test/read.cgi/tech/1710585705/864
897: デフォルトの名無しさん [] 2025/01/25(土) 15:36:14.98 ID:OwaQndIK >>895 すでに表記の体系はある CS畑のやつが処理系を作ればいい http://mevius.5ch.net/test/read.cgi/tech/1710585705/897
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.040s