「数学」をプログラミングするには2 (186ﾚｽ)
上下前次1-新
1(3): デフォルトの名無しさん [sage] 2025/02/20(木) 01:10:56.24 ID:oTwZIw4i(1) AAS
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
前スレ
2chｽﾚ:tech
162: デフォルトの名無しさん [sage] 2025/03/21(金) 14:42:19.57 ID:J89KIuzh(1/3) AAS
めんどくさいやつだな
163: デフォルトの名無しさん [sage] 2025/03/21(金) 14:46:12.25 ID:J89KIuzh(2/3) AAS
調べる方法はあるにはあるが
約16桁までの素数の判定 外部ﾘﾝｸ[php]:tools.m-bsys.com
巨大素数の判定 外部ﾘﾝｸ[php]:tools.m-bsys.com
素数を生成 外部ﾘﾝｸ[php]:tools.m-bsys.com
ここはム板なのでこういう解答じゃ御不満か
164: デフォルトの名無しさん [sage] 2025/03/21(金) 14:51:48.06 ID:J89KIuzh(3/3) AAS
「次の素数は？」
>この関数は素数を識別するのに確率的アルゴリズムを使用します。 誤って合成数を取得してしまうことは、まずありません。
間違う確率0じゃないんだな
165(1): デフォルトの名無しさん [sage] 2025/03/22(土) 16:19:06.87 ID:AqtVpzjo(1) AAS
クイズを出してるつもりなんだろうか
それとも知恵袋代わりにでも使ってるのかな
いずれにせよガイジか
166: デフォルトの名無しさん [sage] 2025/03/23(日) 09:39:41.33 ID:HYsgu1cG(1) AAS
数学をやってる自慢なんだろう
167(1): デフォルトの名無しさん [sage] 2025/03/23(日) 11:13:37.82 ID:kax3x6iq(1) AAS
善悪にこだわりすぎる人は自慢＝悪と考えてしまって行動が大幅に制限されてしまう
168: デフォルトの名無しさん [] 2025/03/23(日) 16:03:12.35 ID:xkfC9xI0(1) AAS
数学においては、善悪も定義不可能でしょうなぁ。Tarski's undefinability theorem
169: デフォルトの名無しさん [sage] 2025/03/23(日) 16:06:22.19 ID:Js5gC5BL(1) AAS
>>167
誰も今そんな話はしてないぞ
ガイジ乙
170(1): デフォルトの名無しさん [sage] 2025/03/28(金) 12:51:44.01 ID:VPiwRdmL(1) AAS
>>165
知恵をくれですね判ります
171: デフォルトの名無しさん [sage] 2025/03/29(土) 00:01:12.01 ID:jWol6Y87(1) AAS
2項間漸化式からコード化していってくれ
172: デフォルトの名無しさん [sage] 2025/03/29(土) 11:51:03.91 ID:4b7EzOoB(1) AAS
>>170
誰も善悪の話なんてしてないんだわ
スレ読み直せよ文盲
173: デフォルトの名無しさん [sage] 2025/04/08(火) 19:12:33.60 ID:2okZDSQp(1) AAS
xと(log2(x))^4の大小を比較せよ
174: デフォルトの名無しさん [sage] 2025/04/09(水) 15:10:48.04 ID:bsOT0mlo(1) AAS
3回交わるかな
175: デフォルトの名無しさん [sage] 2025/04/10(木) 15:59:10.55 ID:xG4olW9c(1) AAS
勉強になった
動画ﾘﾝｸ[YouTube]
176: デフォルトの名無しさん [sage] 2025/04/11(金) 10:52:22.53 ID:IeMz3zQ8(1) AAS
よかったね
177: デフォルトの名無しさん [sage] 2025/04/11(金) 19:01:32.29 ID:i2PY9ZNn(1) AAS
これが関数駆動開発か
178: デフォルトの名無しさん [] 2025/04/19(土) 06:08:30.96 ID:D0kitORW(1) AAS
ISBN
179: デフォルトの名無しさん [sage] 2025/04/19(土) 10:20:27.84 ID:cNqzsHR8(1/2) AAS
ICBM
180: デフォルトの名無しさん [] 2025/04/19(土) 12:18:02.48 ID:MUEmr0y1(1) AAS
IBM
181: デフォルトの名無しさん [sage] 2025/04/19(土) 15:12:02.59 ID:cNqzsHR8(2/2) AAS
HAL
182: デフォルトの名無しさん [] 2025/04/22(火) 14:53:41.96 ID:z9I6mhsO(1) AAS
えらい上から目線のおっさん
動画ﾘﾝｸ[YouTube]
183: デフォルトの名無しさん [] 2025/04/23(水) 09:32:36.27 ID:yoO2Q6CW(1) AAS
IBMがNHKから民事訴訟起こされ
184: デフォルトの名無しさん [sage] 2025/04/24(木) 14:57:48.90 ID:aNH1ZDYv(1) AAS
あ、シュレディンガー音頭
は弟だった
185: デフォルトの名無しさん [sage] 2025/04/27(日) 14:55:20.29 ID:rRExk4WB(1) AAS
大洗あんこう音頭
186: デフォルトの名無しさん [sage] 2025/04/27(日) 15:30:14.75 ID:D9RG1r/C(1) AAS
あんこつばきはー
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.577s*