「数学」をプログラミングするには2 (186ﾚｽ)
「数学」をプログラミングするには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
60: デフォルトの名無しさん [] 2025/02/23(日) 06:58:27.04 ID:GzHT+MgY >>58 問いは他人に出してもらうものではなく、自分から発するもの 実りある意見が出せないなら一々いっちょかみしようとすんな http://mevius.5ch.net/test/read.cgi/tech/1739981456/60
61: デフォルトの名無しさん [] 2025/02/23(日) 10:51:26.50 ID:RRpMAqvo >>52 なるほどね http://mevius.5ch.net/test/read.cgi/tech/1739981456/61
62: デフォルトの名無しさん [] 2025/02/23(日) 10:54:19.30 ID:RRpMAqvo >>56 3<π<4 を証明せよ http://mevius.5ch.net/test/read.cgi/tech/1739981456/62
63: デフォルトの名無しさん [sage] 2025/02/23(日) 14:44:15.42 ID:XZQ8Y7mV >>60 それは前スレ立てた馬鹿に言ってやるんだな このスレタイになんの意味もないのがわからないのか？ http://mevius.5ch.net/test/read.cgi/tech/1739981456/63
64: デフォルトの名無しさん [sage] 2025/02/23(日) 15:25:09.37 ID:RVjpIef7 >>62 円の直径を1とすると π＝円周＜外接正方形周＝4 三平方の定理により π＝円周＞内接正八角形周＝√(32-16√2)＞√(32-16×1.415)＝√9.36＞3 http://mevius.5ch.net/test/read.cgi/tech/1739981456/64
65: デフォルトの名無しさん [sage] 2025/02/24(月) 11:29:49.06 ID:HT0HAXgg >>64 >円周＜外接正方形周 >円周＞内接正八角形周 ここらは自明としていいのかね。直感的には明らかけど 後者は二点を結ぶ任意の曲線で最短であるものは直線である、みたいな感じか 前者は http://mevius.5ch.net/test/read.cgi/tech/1739981456/65
66: デフォルトの名無しさん [] 2025/02/24(月) 14:57:29.88 ID:HuBIdhDR 内接正N角形と外接正M角形があるとき それぞれの周長をn,mとすると N→∞,M→∞のとき n=π=mは証明出来るかな n<π<mからスタートすると失敗するな http://mevius.5ch.net/test/read.cgi/tech/1739981456/66
67: デフォルトの名無しさん [] 2025/02/24(月) 14:58:21.69 ID:HuBIdhDR あちがう n=2π=mか 適当に読み替えてくれ http://mevius.5ch.net/test/read.cgi/tech/1739981456/67
68: デフォルトの名無しさん [sage] 2025/02/24(月) 16:02:52.44 ID:t7MT3K9f 馬鹿だね http://mevius.5ch.net/test/read.cgi/tech/1739981456/68
69: デフォルトの名無しさん [sage] 2025/02/24(月) 16:08:49.48 ID:t7MT3K9f 三角関数と積分を使わない証明ができるのか？ http://mevius.5ch.net/test/read.cgi/tech/1739981456/69
70: デフォルトの名無しさん [sage] 2025/02/24(月) 19:11:55.03 ID:FeaRj/Gc 標準ライブラリを使わないプログラムができる もう一つの標準を作れば、前者が後者に遠く及ばないという疑惑を作れる http://mevius.5ch.net/test/read.cgi/tech/1739981456/70
71: デフォルトの名無しさん [sage] 2025/02/24(月) 20:46:56.83 ID:t7MT3K9f おじいちゃん、夕食食べたら寝なさい http://mevius.5ch.net/test/read.cgi/tech/1739981456/71
72: デフォルトの名無しさん [sage] 2025/02/25(火) 01:05:47.85 ID:V1lC9cd7 qwertyみたいな、効率化を怠っているがボトルネックになってない仕様あるでしょ サボってるのは明らかだがクビにならない これは嫉妬されやすい http://mevius.5ch.net/test/read.cgi/tech/1739981456/72
73: デフォルトの名無しさん [] 2025/02/25(火) 10:00:20.12 ID:XzpdRQ1S qwertyに勝てるのは脳波検出予測入力だけ http://mevius.5ch.net/test/read.cgi/tech/1739981456/73
74: デフォルトの名無しさん [] 2025/02/25(火) 12:11:48.51 ID:XzpdRQ1S yアホー智慧遅れ question_detail/q14310805434 小1の子供が今時計の読み方を習っているのですが、「気づいたことがある」と言うので聞くと、「時計の数字×5が分になる」とのこと。 確かにそうなんですけど、単に5..10..15と数えて覚えた私からしたら変わった考え方だなーと思いました。 私は文系で子供は理数系が好きなのですが、これも理系的な？考え方なのでしょうかね。 あと九九の表でも私はひたすらリズムで覚えましたが、子供は規則性に注目していました。 9の段なら答えの1の桁が9.8.7.6.5..と一つずつ減っていくねと幼稚園の時に言って驚いたのですが、 旦那は、え？普通だけど…。と言っていました。 文系と理系の垣根か… http://mevius.5ch.net/test/read.cgi/tech/1739981456/74
75: デフォルトの名無しさん [sage] 2025/02/25(火) 16:21:11.87 ID:mS7KZDep 何言ってんだか分かんない http://mevius.5ch.net/test/read.cgi/tech/1739981456/75
76: デフォルトの名無しさん [sage] 2025/02/25(火) 22:18:50.91 ID:V1lC9cd7 成功体験を全力で回避しているかのような変わった考え方から普遍的な答えが出てくる http://mevius.5ch.net/test/read.cgi/tech/1739981456/76
77: デフォルトの名無しさん [sage] 2025/02/25(火) 23:40:34.08 ID:/L3KP9oi >>74 知能の低い両親に見合わない利口な子って可哀想。 http://mevius.5ch.net/test/read.cgi/tech/1739981456/77
78: デフォルトの名無しさん [sage] 2025/02/26(水) 01:03:02.60 ID:V1lC9cd7 お前らは善悪の判断が遅いくせに優劣の判断がバカみたいに速いなあ http://mevius.5ch.net/test/read.cgi/tech/1739981456/78
79: デフォルトの名無しさん [sage] 2025/02/26(水) 02:22:26.63 ID:/L3KP9oi >>78 善悪よりも ゲーム理論のESSやナッシュ均衡みたいな制度の経済学の一環としてqwertyみたいな仕様を語るほうが本来的には個人的な趣味主張なのだが。 http://mevius.5ch.net/test/read.cgi/tech/1739981456/79
80: デフォルトの名無しさん [sage] 2025/02/26(水) 02:36:24.05 ID:wLNiDiN7 小学校1年では普通はまだかけ算や九九を習わないと思ったが 予習をしているとか、そういう学校なのかな http://mevius.5ch.net/test/read.cgi/tech/1739981456/80
81: デフォルトの名無しさん [sage] 2025/02/26(水) 04:22:01.49 ID:tHAoNxko >>79 お前の趣味とか知らねえよガイジ http://mevius.5ch.net/test/read.cgi/tech/1739981456/81
82: デフォルトの名無しさん [] 2025/02/26(水) 06:25:13.69 ID:+9QGlvQA 9増える と、 10増やして1減らすと同じぢゃ そして、然るに 8増える と、 10増やして2減らすと同じぢゃ だから8の倍の1の位は、 8→6→4→2→0 となるのぢゃ。然るに 8の倍数は、 8 16 24 32 40 となるぞ。 そっか、八の段は8×5までしか、 上手くいかん て、ゆうか、長針は短針の60倍の角速度 なのに、分は、時計を数字を60倍でなく 5倍すれば、ヨイのか、分からん。 角速度は、何となく知ってる 理系のポクだが 5倍すれば、ヨイのか、分からんが、 そんな時は、丸暗記すればよろしい。 その小学生も、丸暗記させられたのぢゃろ 5倍すれば、ヨイのかは60÷12が5なのと 関係が有りそうぢゃが、・・・分からん http://mevius.5ch.net/test/read.cgi/tech/1739981456/82
83: デフォルトの名無しさん [sage] 2025/02/26(水) 09:14:02.08 ID:mS7KZDep 春だね http://mevius.5ch.net/test/read.cgi/tech/1739981456/83
84: デフォルトの名無しさん [sage] 2025/02/27(木) 01:19:42.85 ID:EXZY72sr ゲーム理論は、誰々が何を選んだら結果はこうなりますという説明が親切すぎる 性善説だよそれは http://mevius.5ch.net/test/read.cgi/tech/1739981456/84
85: デフォルトの名無しさん [sage] 2025/02/27(木) 12:07:45.27 ID:+3Q4MtbT >>84 うわぁバカ http://mevius.5ch.net/test/read.cgi/tech/1739981456/85
86: デフォルトの名無しさん [] 2025/02/27(木) 12:22:25.66 ID:VQNvJTxh >>82 こういうやつが文系脳なんだよな http://mevius.5ch.net/test/read.cgi/tech/1739981456/86
87: デフォルトの名無しさん [sage] 2025/02/28(金) 16:08:55.72 ID:wtLkEJ5I >>82 >て、ゆうか、長針は短針の60倍の角速度 おいw 12倍だろ 12倍ということは、短針と長針が同じ所を指しているとき、 短針が差した値を1/12したのが長針の値だ 例えば短針が1の数字を指していたら1時 長針が1を指していたら1/12時 ただし長針の方は分の単位で知りたいのでそれを60倍してやる 結果、1/12（時）* 60 = 5（分）、でこの5がその数字だろ で、この説明で納得できるかどうかにまた理解のギャップがw http://mevius.5ch.net/test/read.cgi/tech/1739981456/87
88: デフォルトの名無しさん [sage] 2025/02/28(金) 17:16:46.08 ID:muvTRJMy 人は反応できるものに反応する http://mevius.5ch.net/test/read.cgi/tech/1739981456/88
89: デフォルトの名無しさん [sage] 2025/02/28(金) 23:00:15.04 ID:AjX0Brht そういえば数学では時間や速度を定義できない気がする 時間の向きじゃなくて時間そのものを定義できない http://mevius.5ch.net/test/read.cgi/tech/1739981456/89
90: デフォルトの名無しさん [sage] 2025/03/01(土) 04:14:01.17 ID:U7O0+PcF t http://mevius.5ch.net/test/read.cgi/tech/1739981456/90
91: デフォルトの名無しさん [sage] 2025/03/01(土) 04:59:10.09 ID:U7O0+PcF dx/dt http://mevius.5ch.net/test/read.cgi/tech/1739981456/91
92: デフォルトの名無しさん [sage] 2025/03/01(土) 20:18:54.01 ID:FxUFfi+r よくこんな意味のないスレをグダクダとやれるな http://mevius.5ch.net/test/read.cgi/tech/1739981456/92
93: デフォルトの名無しさん [sage] 2025/03/02(日) 07:31:01.39 ID:N0SWXt0k 「収束する」以外に規則性が何もない数列を考える http://mevius.5ch.net/test/read.cgi/tech/1739981456/93
94: デフォルトの名無しさん [sage] 2025/03/02(日) 13:45:03.73 ID:A7Hm+IcG 考えてどうすんだ http://mevius.5ch.net/test/read.cgi/tech/1739981456/94
95: デフォルトの名無しさん [sage] 2025/03/02(日) 14:12:32.14 ID:N0SWXt0k どうもしないが 後で戦闘中に回想して新しい技を思いついたりするでしょ 知らんけど http://mevius.5ch.net/test/read.cgi/tech/1739981456/95
96: デフォルトの名無しさん [sage] 2025/03/02(日) 14:39:40.56 ID:A7Hm+IcG コーシーの判定条件を実装すると言ってんじゃないのか？ http://mevius.5ch.net/test/read.cgi/tech/1739981456/96
97: デフォルトの名無しさん [] 2025/03/02(日) 15:28:47.34 ID:gL5X58/w Σ[n→∞](-1)^nって収束するんだっけ http://mevius.5ch.net/test/read.cgi/tech/1739981456/97
98: デフォルトの名無しさん [sage] 2025/03/02(日) 16:19:23.88 ID:A7Hm+IcG 議論にならない http://mevius.5ch.net/test/read.cgi/tech/1739981456/98
99: デフォルトの名無しさん [sage] 2025/03/02(日) 21:58:07.69 ID:N0SWXt0k 議論とは？ 多数決主義や消去法にはならないほうがいい http://mevius.5ch.net/test/read.cgi/tech/1739981456/99
100: デフォルトの名無しさん [sage] 2025/03/02(日) 22:20:33.60 ID:A7Hm+IcG ポエム、妄想といえばいいのか http://mevius.5ch.net/test/read.cgi/tech/1739981456/100
101: デフォルトの名無しさん [sage] 2025/03/02(日) 22:28:36.00 ID:N0SWXt0k ファクトチェックが必要なことはすればいいし チェックの対象にすらならないケースは、騙される人間がひとりもいないだろう http://mevius.5ch.net/test/read.cgi/tech/1739981456/101
102: デフォルトの名無しさん [sage] 2025/03/02(日) 22:33:17.01 ID:A7Hm+IcG はっきりいうと爺さんには無理 http://mevius.5ch.net/test/read.cgi/tech/1739981456/102
103: デフォルトの名無しさん [sage] 2025/03/03(月) 10:50:55.76 ID:J3C23wrx 俺の欲しい答えを持ってこい（笑） http://mevius.5ch.net/test/read.cgi/tech/1739981456/103
104: デフォルトの名無しさん [sage] 2025/03/03(月) 15:25:12.76 ID:wEmk2WpM そもそも前スレからして続けるような話題なかったろ http://mevius.5ch.net/test/read.cgi/tech/1739981456/104
105: デフォルトの名無しさん [] 2025/03/05(水) 10:43:52.13 ID:U1p7hIh7 「正六角形グリッドを使ったあみだくじのシンプルなスケッチ。6つの開始点（A, B, C, D, E, F）が上部に配置され、6つの終了点（1, 2, 3, 4, 5, 6）が下部に配置される。6本のチェンジ（横線）が隣接する経路間で配置され、経路がシャッフルされる様子を示す。具体的には、チェンジ1: A-B, チェンジ2: B-C, チェンジ3: C-D, チェンジ4: D-E, チェンジ5: E-F, チェンジ6: A-F。最終結果は A→1, B→3, C→4, D→5, E→6, F→2。六角形グリッドの構造を活かしつつ、経路と交差が明確にわかる図。」 https://i.imgur.com/qThnEAL.jpeg http://mevius.5ch.net/test/read.cgi/tech/1739981456/105
106: デフォルトの名無しさん [] 2025/03/06(木) 10:55:26.01 ID:vwwnMaqa こういうのはLLMに任せた方が良さそ http://mevius.5ch.net/test/read.cgi/tech/1739981456/106
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
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s