「数学」をプログラミングするには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/04/08(火) 19:12:33.60

xと(log2(x))^4の大小を比較せよ

**デフォルトの名無しさん** · 2025/04/09(水) 15:10:48.04

3回交わるかな

**デフォルトの名無しさん** · 2025/04/10(木) 15:59:10.55

勉強になった
https://www.youtube.com/watch?v=8DeL6zQ9fCI

**デフォルトの名無しさん** · 2025/04/11(金) 10:52:22.53

よかったね

**デフォルトの名無しさん** · 2025/04/11(金) 19:01:32.29

これが関数駆動開発か

**デフォルトの名無しさん** · 2025/04/19(土) 06:08:30.96

ISBN

**デフォルトの名無しさん** · 2025/04/19(土) 10:20:27.84

ICBM

**デフォルトの名無しさん** · 2025/04/19(土) 12:18:02.48

IBM

**デフォルトの名無しさん** · 2025/04/19(土) 15:12:02.59

HAL

**デフォルトの名無しさん** · 2025/04/22(火) 14:53:41.96

えらい上から目線のおっさん
https://www.youtube.com/watch?v=9_tmbe6NnWE

**デフォルトの名無しさん** · 2025/04/23(水) 09:32:36.27

IBMがNHKから民事訴訟起こされ

**デフォルトの名無しさん** · 2025/04/24(木) 14:57:48.90

あ、シュレディンガー音頭
は弟だった

**デフォルトの名無しさん** · 2025/04/27(日) 14:55:20.29

大洗あんこう音頭

**デフォルトの名無しさん** · 2025/04/27(日) 15:30:14.75

あんこつばきはー

**デフォルトの名無しさん** · 2025/09/08(月) 18:31:52.72

今日のわんこ

**デフォルトの名無しさん** · 2025/12/07(日) 08:54:22.60

leanってなんだよ
知らんかったよ

**デフォルトの名無しさん** · 2025/12/07(日) 12:50:06.81

a=1+1;
print a;

**デフォルトの名無しさん** · 2025/12/07(日) 13:51:19.50

Mathematica,Mapleで数学できる

**デフォルトの名無しさん** · 2025/12/08(月) 11:34:21.84

Mathematicaでεδ胸熱

**デフォルトの名無しさん** · 2025/12/09(火) 15:44:03.31

数式処理たとえばMathematicaは級数を覚えているのか？
　1/1^2+1/2^2+1/3^2+...
を求めるのに
　Sum[1/n^2, {n, 1, Infinity}]
と入力すれば
　Pi^2/6
を出力する
未知の級数で円周率πが出てくるものを入れたらどうなる？

**デフォルトの名無しさん** · 2025/12/15(月) 01:03:55.01

e = mc^2

**デフォルトの名無しさん** · 2025/12/15(月) 17:25:29.47

64bitに収まらなければ切り捨てられるだろ

**デフォルトの名無しさん** · 2025/12/15(月) 17:54:28.67

>>1
死ぬまでノートに書いてろ