「数学」をプログラミングするには2 (187ﾚｽ)
「数学」をプログラミングするには2 http://mevius.5ch.net/test/read.cgi/tech/1739981456/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
1: デフォルトの名無しさん [sage] 2025/02/20(木) 01:10:56.24 ID:oTwZIw4i たとえば、プログラミングで π/4 = 1 - 1/3 + 1/5 - 1/7 + ... を近似ではなく厳密に確かめるにはどうしたらいいの 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど 前スレ http://mevius.5ch.net/test/read.cgi/tech/1710585705/ http://mevius.5ch.net/test/read.cgi/tech/1739981456/1
107: デフォルトの名無しさん [sage] 2025/03/06(木) 11:49:20.45 ID:tB/OLblE 数学をやらせるにはまだまだLLMはバカだぞ atcoderでいえばC問題が解けないレベル(日進月歩だから今はわからんが数ヶ月前の時点では) http://mevius.5ch.net/test/read.cgi/tech/1739981456/107
108: デフォルトの名無しさん [sage] 2025/03/08(土) 00:34:38.52 ID:kCgnTDtk うっわここ出来ない奴煽るカスしか居ねぇ http://mevius.5ch.net/test/read.cgi/tech/1739981456/108
109: デフォルトの名無しさん [sage] 2025/03/08(土) 04:46:47.96 ID:MVehYuDf お前は何を期待していたんだ http://mevius.5ch.net/test/read.cgi/tech/1739981456/109
110: デフォルトの名無しさん [sage] 2025/03/08(土) 05:56:35.61 ID:/LbDFOQo プログラムを証明するには？ 数学板 http://mevius.5ch.net/test/read.cgi/tech/1739981456/110
111: デフォルトの名無しさん [sage] 2025/03/08(土) 09:49:49.61 ID:yVIcJoLx 数学板 http://rio2016.5ch.net/math/ http://mevius.5ch.net/test/read.cgi/tech/1739981456/111
112: デフォルトの名無しさん [sage] 2025/03/08(土) 09:53:37.54 ID:yVIcJoLx https://rio2016.5ch.net/test/read.cgi/math/1741362507/l50 http://mevius.5ch.net/test/read.cgi/tech/1739981456/112
113: デフォルトの名無しさん [sage] 2025/03/08(土) 15:54:18.60 ID:5FsN+R93 プログラムの証明といえば、契約プログラミングというのがあった（ある）ね Kotlinなんかでもその機能は一応あるが まC/C++でもassertを使えばその一部みたいなものか と思えば単体テストを書くのはちょっとそれに近いノリなのかも 普通は有限の事例を試すだけなので証明とはいえんけど http://mevius.5ch.net/test/read.cgi/tech/1739981456/113
114: デフォルトの名無しさん [sage] 2025/03/08(土) 16:09:59.22 ID:kCgnTDtk 後本当に出来る奴が居るんだったらここにしょうもねぇレスすんじゃ無くて草生やしてこい http://mevius.5ch.net/test/read.cgi/tech/1739981456/114
115: デフォルトの名無しさん [sage] 2025/03/08(土) 19:37:36.92 ID:/LbDFOQo ｗｗｗ http://mevius.5ch.net/test/read.cgi/tech/1739981456/115
116: デフォルトの名無しさん [sage] 2025/03/09(日) 13:21:27.22 ID:J7YQ+go/ >>115 go github http://mevius.5ch.net/test/read.cgi/tech/1739981456/116
117: デフォルトの名無しさん [] 2025/03/11(火) 04:19:54.05 ID:LIvk4/9F 日付の数字や忌み数字と悲劇を結びつける弊害 その日が誕生日の人だっているでしょう その日に結婚した人だっているでしょう その数字の住所に住む人だっているでしょう その数字の電話番号をもつ人だっているでしょう その数字が社員ID、背番号の人だっているでしょう 忌み数字や宗教上のしきたり、過去の社会的出来事とか、お祝い事にその日を避けたり、周りに関係者がいれば粛々と過ごさないといけないような雰囲気が苦手 語呂数字やポケベル数字を悪用したネガキャン、デジタルハラスメントやめろ http://mevius.5ch.net/test/read.cgi/tech/1739981456/117
118: デフォルトの名無しさん [] 2025/03/11(火) 08:11:51.31 ID:v9xA3mWy 割とマジの質問です e=Σ[n=0→N](1/n!) の近似でNが有限のとき N=10でだいたい2.718281828 N=20でだいたい2.7182818284590452354 と言う感じで 「有効数字の桁数とNがだいたい一致している」 のですが これは偶然の結果なのでしょうか？ それとも必然なのでしょうか？ 必然なら一致することを証明するにはどうすれば良いのでしょうか？ 一致しないならNが大きくなったら徐々にズレて来たりするのでしょうか？ http://mevius.5ch.net/test/read.cgi/tech/1739981456/118
119: デフォルトの名無しさん [sage] 2025/03/11(火) 09:36:31.00 ID:ELEBFoX/ 本当にそうか？ それは君の思い違いではないのかな？ http://mevius.5ch.net/test/read.cgi/tech/1739981456/119
120: デフォルトの名無しさん [sage] 2025/03/11(火) 14:29:45.40 ID:Whl/PHZs 漏れには N=19あたりまでは有効数字の方がNより小さくて N=20あたりで有効数字とNが同じくらいで その後は Nが1増える毎に有効数字が2桁ずつくらいで増えてる ように観える http://mevius.5ch.net/test/read.cgi/tech/1739981456/120
121: デフォルトの名無しさん [] 2025/03/11(火) 15:08:27.49 ID:OO/VwEl3 だいたい一致している でいいならなんでもいいんじゃね http://mevius.5ch.net/test/read.cgi/tech/1739981456/121
122: デフォルトの名無しさん [sage] 2025/03/11(火) 15:35:45.93 ID:Whl/PHZs 有効数字150桁はN=95で到達するみたいだよ http://mevius.5ch.net/test/read.cgi/tech/1739981456/122
123: デフォルトの名無しさん [sage] 2025/03/11(火) 16:29:25.58 ID:GmEx3upo 数学板の答え http://mevius.5ch.net/test/read.cgi/tech/1739981456/123
124: デフォルトの名無しさん [sage] 2025/03/11(火) 18:01:04.62 ID:FSEmymN5 有効桁数をMとする 1/N! < 10の-(M+1)乗 になる項は足しても無駄なので計算打ち切りで良い 逆数を取って N! < 10の(M+1)乗 がNとMの正確な関係式 ここで常用対数を使うと log10(N!) < (M+1) つまり M はせいぜい log10(N!) - 1 となる 証明終わり http://mevius.5ch.net/test/read.cgi/tech/1739981456/124
125: デフォルトの名無しさん [] 2025/03/11(火) 18:07:59.94 ID:FSEmymN5 ちなみにlog(N!)はスターリングの公式としても良く知られていて log(N!) ≒ log((N/e)のN乗) https://examist.jp/mathematics/integration-expression/stirling/ http://mevius.5ch.net/test/read.cgi/tech/1739981456/125
126: デフォルトの名無しさん [] 2025/03/11(火) 18:11:13.16 ID:FSEmymN5 より精度の高い式は log(N!) ≒ log(√(2πN) * (N/e)のN乗) http://mevius.5ch.net/test/read.cgi/tech/1739981456/126
127: デフォルトの名無しさん [sage] 2025/03/11(火) 18:28:47.55 ID:b6cVk0GL >>120 ですね N!はN=20ぐらいまではだいたい10^Nの大きさ。桁数に関してほぼ線形というか なので1/n!の和に対する（精度への）貢献が10^(-N)ぐらいになっているということかと 桁で言うとN桁ぐらいと N=20ぐらいより先はN!のほうが10^Nより勢いが付いてくる。なので>>118の言っている ことはもｊはや成り立たなくなり >>122 となるんでしょう 実際95!は10^148ぐらいの数字だし、こういう理解で悪くないのかなと 結論: 階乗つおい http://mevius.5ch.net/test/read.cgi/tech/1739981456/127
128: デフォルトの名無しさん [sage] 2025/03/11(火) 18:59:59.73 ID:b6cVk0GL そうだスターリングさんの公式なんてありましたなあ ワシがコンピュータの力に頼っている間に ああでも今日はどうでもいいSNSを眺めたりするより意義のある使い方を した気がしたw http://mevius.5ch.net/test/read.cgi/tech/1739981456/128
129: デフォルトの名無しさん [sage] 2025/03/12(水) 09:56:01.82 ID:aNDBBqWo 不等号の向きの間違いには誰も突っ込まないのか http://mevius.5ch.net/test/read.cgi/tech/1739981456/129
130: デフォルトの名無しさん [sage] 2025/03/12(水) 10:05:04.49 ID:pAN7Okl1 <-> >-< http://mevius.5ch.net/test/read.cgi/tech/1739981456/130
131: デフォルトの名無しさん [sage] 2025/03/12(水) 12:17:26.01 ID:aNDBBqWo >>127 95!で148桁だと150桁に足りないのがおかしいと思って調べてみた >>122 の 「N=95で150桁に到達」は正確じゃなくてタマタマ 152桁目くらいまで真面目に計算して 150桁までが確実に収束してると判断出来るのは N=97のときだったわ つまりStirlingの公式で出せるN=97で150桁はかなり正しいな http://mevius.5ch.net/test/read.cgi/tech/1739981456/131
132: デフォルトの名無しさん [sage] 2025/03/13(木) 16:18:24.05 ID:qafMvB8a 計算に使えるかどうかはさておいて、 実数をプログラム上で表現するよい方法はないものだろうか。 非可算無限を扱うよい方法。 http://mevius.5ch.net/test/read.cgi/tech/1739981456/132
133: デフォルトの名無しさん [] 2025/03/13(木) 18:25:47.63 ID:r+S5Gdia >>132 文字列 http://mevius.5ch.net/test/read.cgi/tech/1739981456/133
134: デフォルトの名無しさん [] 2025/03/13(木) 22:11:39.02 ID:qafMvB8a 文字列になるのは、まあ数だって（有限であれば）数文字列だから文字列で計算できるからよいのだが、 実数（という集合）の大部分を占めるが無理数であって、無理数を記述する標準的な記法がない。 実数直線上の点で、有理数でないものが無理数なのだから、無理数がなんであるかという直接的な定義はない。 エウドクソスの実数の実装をみたことがあるので、これが使えるものなのかどうか。 http://mevius.5ch.net/test/read.cgi/tech/1739981456/134
135: デフォルトの名無しさん [sage] 2025/03/13(木) 22:24:40.32 ID:ilMwSTws real number http://mevius.5ch.net/test/read.cgi/tech/1739981456/135
136: デフォルトの名無しさん [sage] 2025/03/14(金) 03:36:00.57 ID:A4bcmWey チャイティンのオメガ はSEが知ってる常識になってほしい http://mevius.5ch.net/test/read.cgi/tech/1739981456/136
137: デフォルトの名無しさん [sage] 2025/03/14(金) 03:38:06.57 ID:y78yDe8j 条件が多いほどそれらを満たすものはマイノリティになるので 最も標準的な記法があったとしても、それを駆使すればするほどそれはマイノリティについての記述になる http://mevius.5ch.net/test/read.cgi/tech/1739981456/137
138: デフォルトの名無しさん [sage] 2025/03/14(金) 06:02:15.73 ID:36zGlEQY minority http://mevius.5ch.net/test/read.cgi/tech/1739981456/138
139: デフォルトの名無しさん [sage] 2025/03/14(金) 08:59:30.41 ID:43evLOjO NaNを還すんじゃなくて 超準解析を扱うライブラリとか言語はあるらしいね http://mevius.5ch.net/test/read.cgi/tech/1739981456/139
140: デフォルトの名無しさん [sage] 2025/03/14(金) 09:55:23.92 ID:36zGlEQY 良い方法とは？ http://mevius.5ch.net/test/read.cgi/tech/1739981456/140
141: デフォルトの名無しさん [] 2025/03/14(金) 16:07:10.34 ID:ucHkHJm2 単純に、実数というものを実装してみたい。 http://mevius.5ch.net/test/read.cgi/tech/1739981456/141
142: デフォルトの名無しさん [sage] 2025/03/14(金) 17:16:09.15 ID:LVCvtin6 ではいきなり実数に行く前に、整数、有理数、無理数、は実装できるのかね http://mevius.5ch.net/test/read.cgi/tech/1739981456/142
143: デフォルトの名無しさん [sage] 2025/03/14(金) 17:36:24.09 ID:y78yDe8j ==を実装しないという妥協をすれば無限桁の小数は実装できる 妥協が標準的 http://mevius.5ch.net/test/read.cgi/tech/1739981456/143
144: デフォルトの名無しさん [sage] 2025/03/14(金) 18:26:23.18 ID:36zGlEQY 考える気がない奴を相手にするのは大変 http://mevius.5ch.net/test/read.cgi/tech/1739981456/144
145: デフォルトの名無しさん [sage] 2025/03/14(金) 18:45:12.72 ID:y78yDe8j 投資する気があり過ぎる奴は、お金が返ってこなくなった時に暴走することがある http://mevius.5ch.net/test/read.cgi/tech/1739981456/145
146: デフォルトの名無しさん [sage] 2025/03/15(土) 12:16:03.75 ID:qQFYiVQo リア凸はだめよ http://mevius.5ch.net/test/read.cgi/tech/1739981456/146
147: デフォルトの名無しさん [sage] 2025/03/15(土) 13:39:53.01 ID:qrV+B9CW リア凸とは？ もっぱらウェブ上でやり取りしている相手に、実際に会いに行くことを指す言い方。リアル（現実）世界で「突撃」しに行く、という意味で用いられる。 http://mevius.5ch.net/test/read.cgi/tech/1739981456/147
148: デフォルトの名無しさん [sage] 2025/03/15(土) 17:55:48.94 ID:39/jPfqN この物理現象は割と有名だと思うけど 無限にカウントするとちゃんとπになる例 https://www.youtube.com/watch?v=6dTyOl1fmDo http://mevius.5ch.net/test/read.cgi/tech/1739981456/148
149: デフォルトの名無しさん [sage] 2025/03/16(日) 15:26:53.03 ID:dj4R4i0P 場の理論を勉強しているときに先生がゆってた、 この世の全ては調和振動子であると http://mevius.5ch.net/test/read.cgi/tech/1739981456/149
150: デフォルトの名無しさん [sage] 2025/03/16(日) 17:34:42.67 ID:2eK9fca+ カシミール効果はリーマン予想と関係している http://mevius.5ch.net/test/read.cgi/tech/1739981456/150
151: デフォルトの名無しさん [sage] 2025/03/17(月) 05:57:51.07 ID:xFF7V9CH >>149 >ゆってた お前は何も勉強してなさそう http://mevius.5ch.net/test/read.cgi/tech/1739981456/151
152: デフォルトの名無しさん [sage] 2025/03/17(月) 18:49:56.02 ID:d66AD/Hd おっと豚に真珠の実演はそこまでにしておくがいい http://mevius.5ch.net/test/read.cgi/tech/1739981456/152
153: デフォルトの名無しさん [] 2025/03/18(火) 18:09:24.74 ID:2EW8BzNc 九九の数を全部足すと2025なんだって秋山とたくみが言ってた http://mevius.5ch.net/test/read.cgi/tech/1739981456/153
154: デフォルトの名無しさん [sage] 2025/03/18(火) 19:12:13.43 ID:exgCxNsC 45X45 http://mevius.5ch.net/test/read.cgi/tech/1739981456/154
155: デフォルトの名無しさん [sage] 2025/03/18(火) 19:54:01.27 ID:4mJYKoHi (1+2+3+4+5+6+7+8+9)×(1+2+3+4+5+6+7+8+9) http://mevius.5ch.net/test/read.cgi/tech/1739981456/155
156: デフォルトの名無しさん [sage] 2025/03/18(火) 20:44:24.29 ID:exgCxNsC 小学生以下の恥ずかしい大人 http://mevius.5ch.net/test/read.cgi/tech/1739981456/156
157: デフォルトの名無しさん [sage] 2025/03/19(水) 11:41:06.66 ID:Irgid5LD >>148 収束が遅過ぎる http://mevius.5ch.net/test/read.cgi/tech/1739981456/157
158: デフォルトの名無しさん [sage] 2025/03/19(水) 18:11:12.08 ID:OaRZFLq7 >>1 mathematicaを使うとよい http://mevius.5ch.net/test/read.cgi/tech/1739981456/158
159: デフォルトの名無しさん [] 2025/03/21(金) 07:20:04.87 ID:/Ma8yMQD これらの数が素数かどうか判定してください 18447025548686262421 18447025548686262439 18447025548686262487 18447025548686262599 18447025548686262617 18447025548686262623 http://mevius.5ch.net/test/read.cgi/tech/1739981456/159
160: デフォルトの名無しさん [sage] 2025/03/21(金) 11:17:03.48 ID:mH5lyqCq 18447025548686262421は 素数です http://mevius.5ch.net/test/read.cgi/tech/1739981456/160
161: デフォルトの名無しさん [sage] 2025/03/21(金) 11:39:04.97 ID:t3cKJtRZ 全部素数ちゃうか？ http://mevius.5ch.net/test/read.cgi/tech/1739981456/161
162: デフォルトの名無しさん [sage] 2025/03/21(金) 14:42:19.57 ID:J89KIuzh めんどくさいやつだな http://mevius.5ch.net/test/read.cgi/tech/1739981456/162
163: デフォルトの名無しさん [sage] 2025/03/21(金) 14:46:12.25 ID:J89KIuzh 調べる方法はあるにはあるが 約16桁までの素数の判定 https://tools.m-bsys.com/calculators/prime_number.php 巨大素数の判定 https://tools.m-bsys.com/calculators/primality_test_for_large_number.php 素数を生成 https://tools.m-bsys.com/calculators/prime_number_generator.php ここはム板なのでこういう解答じゃ御不満か http://mevius.5ch.net/test/read.cgi/tech/1739981456/163
164: デフォルトの名無しさん [sage] 2025/03/21(金) 14:51:48.06 ID:J89KIuzh 「次の素数は？」 >この関数は素数を識別するのに確率的アルゴリズムを使用します。 誤って合成数を取得してしまうことは、まずありません。 間違う確率0じゃないんだな http://mevius.5ch.net/test/read.cgi/tech/1739981456/164
165: デフォルトの名無しさん [sage] 2025/03/22(土) 16:19:06.87 ID:AqtVpzjo クイズを出してるつもりなんだろうか それとも知恵袋代わりにでも使ってるのかな いずれにせよガイジか http://mevius.5ch.net/test/read.cgi/tech/1739981456/165
166: デフォルトの名無しさん [sage] 2025/03/23(日) 09:39:41.33 ID:HYsgu1cG 数学をやってる自慢なんだろう http://mevius.5ch.net/test/read.cgi/tech/1739981456/166
167: デフォルトの名無しさん [sage] 2025/03/23(日) 11:13:37.82 ID:kax3x6iq 善悪にこだわりすぎる人は自慢＝悪と考えてしまって行動が大幅に制限されてしまう http://mevius.5ch.net/test/read.cgi/tech/1739981456/167
168: デフォルトの名無しさん [] 2025/03/23(日) 16:03:12.35 ID:xkfC9xI0 数学においては、善悪も定義不可能でしょうなぁ。Tarski's undefinability theorem http://mevius.5ch.net/test/read.cgi/tech/1739981456/168
169: デフォルトの名無しさん [sage] 2025/03/23(日) 16:06:22.19 ID:Js5gC5BL >>167 誰も今そんな話はしてないぞ ガイジ乙 http://mevius.5ch.net/test/read.cgi/tech/1739981456/169
170: デフォルトの名無しさん [sage] 2025/03/28(金) 12:51:44.01 ID:VPiwRdmL >>165 知恵をくれですね判ります http://mevius.5ch.net/test/read.cgi/tech/1739981456/170
171: デフォルトの名無しさん [sage] 2025/03/29(土) 00:01:12.01 ID:jWol6Y87 2項間漸化式からコード化していってくれ http://mevius.5ch.net/test/read.cgi/tech/1739981456/171
172: デフォルトの名無しさん [sage] 2025/03/29(土) 11:51:03.91 ID:4b7EzOoB >>170 誰も善悪の話なんてしてないんだわ スレ読み直せよ文盲 http://mevius.5ch.net/test/read.cgi/tech/1739981456/172
173: デフォルトの名無しさん [sage] 2025/04/08(火) 19:12:33.60 ID:2okZDSQp xと(log2(x))^4の大小を比較せよ http://mevius.5ch.net/test/read.cgi/tech/1739981456/173
174: デフォルトの名無しさん [sage] 2025/04/09(水) 15:10:48.04 ID:bsOT0mlo 3回交わるかな http://mevius.5ch.net/test/read.cgi/tech/1739981456/174
175: デフォルトの名無しさん [sage] 2025/04/10(木) 15:59:10.55 ID:xG4olW9c 勉強になった https://www.youtube.com/watch?v=8DeL6zQ9fCI http://mevius.5ch.net/test/read.cgi/tech/1739981456/175
176: デフォルトの名無しさん [sage] 2025/04/11(金) 10:52:22.53 ID:IeMz3zQ8 よかったね http://mevius.5ch.net/test/read.cgi/tech/1739981456/176
177: デフォルトの名無しさん [sage] 2025/04/11(金) 19:01:32.29 ID:i2PY9ZNn これが関数駆動開発か http://mevius.5ch.net/test/read.cgi/tech/1739981456/177
178: デフォルトの名無しさん [] 2025/04/19(土) 06:08:30.96 ID:D0kitORW ISBN http://mevius.5ch.net/test/read.cgi/tech/1739981456/178
179: デフォルトの名無しさん [sage] 2025/04/19(土) 10:20:27.84 ID:cNqzsHR8 ICBM http://mevius.5ch.net/test/read.cgi/tech/1739981456/179
180: デフォルトの名無しさん [] 2025/04/19(土) 12:18:02.48 ID:MUEmr0y1 IBM http://mevius.5ch.net/test/read.cgi/tech/1739981456/180
181: デフォルトの名無しさん [sage] 2025/04/19(土) 15:12:02.59 ID:cNqzsHR8 HAL http://mevius.5ch.net/test/read.cgi/tech/1739981456/181
182: デフォルトの名無しさん [] 2025/04/22(火) 14:53:41.96 ID:z9I6mhsO えらい上から目線のおっさん https://www.youtube.com/watch?v=9_tmbe6NnWE http://mevius.5ch.net/test/read.cgi/tech/1739981456/182
183: デフォルトの名無しさん [] 2025/04/23(水) 09:32:36.27 ID:yoO2Q6CW IBMがNHKから民事訴訟起こされ http://mevius.5ch.net/test/read.cgi/tech/1739981456/183
184: デフォルトの名無しさん [sage] 2025/04/24(木) 14:57:48.90 ID:aNH1ZDYv あ、シュレディンガー音頭 は弟だった http://mevius.5ch.net/test/read.cgi/tech/1739981456/184
185: デフォルトの名無しさん [sage] 2025/04/27(日) 14:55:20.29 ID:rRExk4WB 大洗あんこう音頭 http://mevius.5ch.net/test/read.cgi/tech/1739981456/185
186: デフォルトの名無しさん [sage] 2025/04/27(日) 15:30:14.75 ID:D9RG1r/C あんこつばきはー http://mevius.5ch.net/test/read.cgi/tech/1739981456/186
187: デフォルトの名無しさん [sage] 2025/09/08(月) 18:31:52.72 ID:8BJX+Hg6 今日のわんこ http://mevius.5ch.net/test/read.cgi/tech/1739981456/187
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.011s