「数学」をプログラミングするには

1 名前：デフォルトの名無しさん [2024/03/16(土) 19:41:45.98 ID:nuwGv9us.net] たとえば、プログラミングで π/4 = 1 - 1/3 + 1/5 - 1/7 + ... を近似ではなく厳密に確かめるにはどうしたらいいの 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど 950 名前：デフォルトの名無しさん mailto:sage [2025/02/04(火) 21:27:36.82 ID:Es9g2xhz.net] そうだな 951 名前：デフォルトの名無しさん mailto:sage [2025/02/04(火) 21:28:19.56 ID:kCOYqPIc.net] 存在は普遍性 普遍性は極限 極限は不動点 つまり、存在は不動点 952 名前：デフォルトの名無しさん mailto:sage [2025/02/05(水) 02:27:52.17 ID:yJbYA8kV.net] 場の臨界点 953 名前：デフォルトの名無しさん mailto:sage [2025/02/05(水) 02:28:44.71 ID:95a7ceRY.net] 局所大域原理 954 名前：デフォルトの名無しさん [2025/02/05(水) 14:45:57.05 ID:RWIQAOlp.net] ゲスの極値乙女 955 名前：デフォルトの名無しさん mailto:sage [2025/02/05(水) 23:44:40.38 ID:IbLGMnEN.net] カタリロン 956 名前：デフォルトの名無しさん mailto:sage [2025/02/06(木) 07:56:01.83 ID:2B877/qC.net] 米田埋込み 957 名前：デフォルトの名無しさん mailto:sage [2025/02/06(木) 10:34:59.56 ID:06aICcsP.net] >>946 事件かな？ 958 名前：デフォルトの名無しさん mailto:sage [2025/02/06(木) 21:00:15.76 ID:75UI+75Y.net] コンパイラを書け 959 名前：デフォルトの名無しさん mailto:sage [2025/02/06(木) 21:04:29.07 ID:guqgasQB.net] 継続指向言語 モナド指向言語 960 名前：デフォルトの名無しさん mailto:sage [2025/02/06(木) 22:34:55.78 ID:m0cItbCE.net] ゲーテルの不完全性定理と計算可能性の話で全部記述することは無理なんじゃなかった？ 961 名前：デフォルトの名無しさん mailto:sage [2025/02/06(木) 23:10:35.99 ID:hwCUy5RI.net] 全部記述って何？w 962 名前：デフォルトの名無しさん mailto:sage [2025/02/06(木) 23:14:20.21 ID:m0cItbCE.net] >>951 ゲーテルの不完全性定理って知ってる？ 963 名前：デフォルトの名無しさん mailto:sage [2025/02/06(木) 23:31:13.10 ID:T9D6/Ohn.net] 全部記述って何？ 964 名前：デフォルトの名無しさん mailto:sage [2025/02/06(木) 23:32:34.69 ID:/3i5yGjy.net] >>952 知らんから教えて Wikipedia見ても分からん 「初等的な自然数論を含む」って何？ 「有限の立場」って何？ 説明してね 965 名前：デフォルトの名無しさん mailto:sage [2025/02/07(金) 00:09:55.74 ID:hW+AbfK5.net] >>953 ゲーテルの不完全性定理って知ってる？ 966 名前：デフォルトの名無しさん mailto:sage [2025/02/07(金) 01:46:02.50 ID:KWZjh6Se.net] >>955 知らんから教えて >>954の内容も 967 名前：デフォルトの名無しさん mailto:sage [2025/02/07(金) 09:40:09.77 ID:xzx1dNO8.net] 逐次近似法 968 名前：デフォルトの名無しさん mailto:sage [2025/02/07(金) 09:59:31.40 ID:gh02aWuS.net] スペクトル分解 969 名前：デフォルトの名無しさん mailto:sage [2025/02/07(金) 17:03:58.45 ID:QhJJc3Rt.net] トレース 970 名前：デフォルトの名無しさん mailto:sage [2025/02/07(金) 17:57:33.87 ID:hEymaDN/.net] 固有値 固有多項式 971 名前：デフォルトの名無しさん mailto:sage [2025/02/07(金) 19:38:55.37 ID:zGDKiBUV.net] LU分解 特異値分解 ジョルダン分解 972 名前：デフォルトの名無しさん mailto:sage [2025/02/07(金) 23:03:58.82 ID:xWjShgR/.net] ヒルベルト空間 973 名前：デフォルトの名無しさん [2025/02/08(土) 12:50:19.01 ID:+3qBIV3v.net] P(A)+P(~A)!=P(A|~A) 974 名前：デフォルトの名無しさん mailto:sage [2025/02/08(土) 17:15:11.47 ID:2KjsmU3G.net] 自然数論を含む、というのは選択公理に匹敵する非常に強い仮定だと思えば 何が起きようがあまり違和感はない その仮定がない場合、たとえば 0 != 1 を肯定も否定もできないとかいうのはありふれた話で全然問題ない 975 名前：デフォルトの名無しさん [2025/02/08(土) 18:30:11.14 ID:q/D/l7Hn.net] :-p を肯定も否定もできない 976 名前：デフォルトの名無しさん mailto:sage [2025/02/08(土) 20:35:20.03 ID:r1W4t8Yl.net] >>964 定義を正確に述べよ 977 名前：デフォルトの名無しさん [2025/02/11(火) 08:01:49.42 ID:/RBful7r.net] 突然ですが、数値計算てか２次補間関数作ってみたぁ 以下は筆者👤自作のjavascript言語で ラグランジュ２次補間関数PPPである function PPP(x,x0,y0,x1,y1,x2,y2) { let L0 = (x-x1)*(x-x2)/(x0-x1)/(x0-x2); let L1 = (x-x0)*(x-x2)/(x1-x0)/(x1-x2); let L2 = (x-x0)*(x-x1)/(x2-x0)/(x2-x1); let px = L0*y0 + L1*y1 + L2*y2; return px; } ま、ゼロ割エラーを避けるため 「x0とx1は等しくない　かつ 　x1とx2は等しいない　かつ 　x0とx2は等しいない」事 が必要だ。 さて、他に必要なことはあるか？ overflowするようなデカい値は例外として 他に必要なことはあるか？ by 👤 ヤマ勘だと、x0<x1<x2 だけど、勘だけど by 🥳 それが的中ならセンスある奴と評価するが それが外れならチミは病気と診断しちゃい マス。マス。マス。マスマティックス by 🤡 978 名前：デフォルトの名無しさん [2025/02/11(火) 08:08:39.31 ID:/RBful7r.net] あっそうだ、 1の階乗は1だし、2の階乗は2だし、３の階乗は6 なのだから、👤が自作のラグランジュ２次補間関数PPP でさ、0の階乗がいくつになるか、数値計算できるぢゃーーん by 🥳 ２次補間で、それも外側近似は近似値ですらないから そんなんで0の階乗なんて定義するなーーー by 🤡 0の階乗ねぇーー。そもそも意味不明だ� 979 名前：潤Bワケ分からん てか、ありえなぁーーーーい。 by 💃 [] [ここ壊れてます] 980 名前：デフォルトの名無しさん [2025/02/11(火) 08:52:30.18 ID:/RBful7r.net] 🥳よ、チミは病気だ ま、x0<x1<x2が必要と思い込むのも判るが たとえば、 for (let x=x0; x<=x2; x++) { var y=PPP(x,x1,ホゲホゲ); // ホゲホゲ補間 } なら、x0<x1<x2　が必要だが for (let x=x2; x<=x0; x--) { var y=PPP(x,x1,ホゲホゲ); // ホゲホゲ補間 } なら、x0<x1<x2　が不要だ。てか x0>x1>x2　である事が必要だ。 スナワチ、🥳は病気と言えよう by 👤 Boo Boo Booooooooo by 🥳 あら、まぁ、👤さんって厳しすぎぃ。 ありえなーーい、てか、信じられなーーい、てゆぅか、 はやく、ラグランジュ２次補間で0の階乗定義しなさい だいたい、外側補間は仕方ないでしょ by 💃 981 名前：デフォルトの名無しさん [2025/02/12(水) 03:51:42.33 ID:lmAdzys0.net] て、ゆぅか、病気なのは、👤だろ for (let x=x0; x<=x2; x--) { var y=PPP(x,x1,ホゲホゲ); // ホゲホゲ補間 } なら、x0<x1<x2　はダメです。∵∞ループ かつx0>x1>x2　である事が必要だ。 スナワチ、👤が病気と言える by 🥳 ま、ラグランジュの２次関数のjsのppp関数で x0 x1 x2 はソートされてなくても問題無しではある したがって、🥳も👤も両者ともに病気と言える by 🤡 あら、まぁーー、人間らしいワね、🥳も👤も カミでなく人間だから正常でしよ、 by 💃 突然ですが、３点を通る、２次関数は、一意に定まる けど、３点を通る、任意の関数は、一意に定まる なんて、事はある❓　ない❓　どっち❓ by 🤡 瞬時にそれは、判る。反例を示せばよい。 円の方程式、２次関数、２次関数の逆関数 どれも、３点が定まれば一意に定まる。 そして、それら３関数は互い異なる。然るに、・・・ by 👾　hahaha んーーー？、言葉のアヤで考えるとバグだらけって意味 なのでしょう。 by 💃 982 名前：デフォルトの名無しさん [2025/02/12(水) 03:55:00.49 ID:lmAdzys0.net] てか、３点を通る円の方程式の一般解を教えろ 地球人よ、教えろ 一般解、だぞ。　3元連立方程式を解けばよい。 では答えになってない。 その3元連立方程式を解いた公式を教えろちゅーの by 🤡 あのね、地球のopen aiで調べたけど、ダメだ まだ、地球人はその一般解を知らんのだろ。 ま、open ai は思考力が有るようで皆無だろ by 👾 てかさ、カシオの計算サイトで誰か ３点より円の方程式の作成してそうぢゃなーーーい そのコードを解読できれば　いや、んーーー 無理かしら by 💃 983 名前：デフォルトの名無しさん mailto:sage [2025/02/12(水) 04:41:30.83 ID:osC1JZ7j.net] >>950 チャイティンのオメガはもっと知られてても良い筈。 984 名前：横方向放物線星人の怪しい呟き [2025/02/13(木) 07:01:05.40 ID:FhbTSjBw.net] >>970 👾よ。チミは、昨日のオレだな ２次関数の逆関数　なんていってるが それは、存在しない　ようだ y=±√x　って関数ぢゃないらしい なぜかって、関数はxが定まればyが一意に定まる必要がある だから、２次関数の逆関数は、 xが定まっでyが2つだったりするぢゃーーん ２次関数の逆関数は、関数の定義と矛盾するから、 ２次関数の逆関数は、関数ぢゃないんだ。ゲラゲラ by 👽横方向放物線星人 985 名前：デフォルトの名無しさん mailto:sage [2025/02/13(木) 19:48:04.80 ID:4b3jmnmv.net] カムパ 986 名前：デフォルトの名無しさん mailto:sage [2025/02/14(金) 06:28:02.67 ID:wveL+BCx.net] 計算はスケッチ 証明はアセンブラ 987 名前：デフォルトの名無しさん mailto:sage [2025/02/14(金) 10:30:50.28 ID:VTViOKZQ.net] 証明はスケッチの極限 988 名前：デフォルトの名無しさん mailto:sage [2025/02/14(金) 12:09:15.73 ID:iq1Ku00z.net] ちょっとシュレディンガー方程式をプログラミングする方法を教えてくれないか。 989 名前：デフォルトの名無しさん mailto:sage [2025/02/14(金) 18:30:04.64 ID:u9OLXtkz.net] そんなものはない 990 名前：デフォルトの名無しさん mailto:sage [2025/02/15(土) 02:43:07.02 ID:ZdJRR9Qn.net] >>978 量子力学をライフゲームみたいにルールが決まってるオートマタで再現する研究とかならある。 991 名前：デフォルトの名無しさん mailto:sage [2025/02/15(土) 20:08:47.76 ID:HVOvloyf.net] >>977 自分で考えろ 992 名前：デフォルトの名無しさん mailto:sage [2025/02/16(日) 10:34:36.10 ID:+v+MZ0kq.net] >>980 答えられないなら黙ってろ 993 名前：デフォルトの名無しさん mailto:sage [2025/02/16(日) 14:23:12.54 ID:euivBKz6.net] 女にモテる方程式教えて 994 名前：デフォルトの名無しさん mailto:sage [2025/02/16(日) 19:09:24.07 ID:YNSNqNCo.net] ♪方程式で 恋の難問解けるなら 誰の曲だっけ 995 名前：デフォルトの名無しさん mailto:sage [2025/02/16(日) 19:18:30.08 ID:6CTe/u52.net] 「○○の方程式」みたいに学術用語を歌詞とかスローガンに流用するの、センス無いからやめたほうがいい 996 名前：デフォルトの名無しさん mailto:sage [2025/02/16(日) 20:09:49.33 ID:YNSNqNCo.net] >>983 思い出した 上級生／森口博子(1991) ババアじゃねーか！（某Twitter漫画のノリで） 997 名前：デフォルトの名無しさん [2025/02/18(火) 11:15:51.69 ID:HbHlBTpR.net] >>984 判る ●●神話とかも辞めて欲しい 998 名前：デフォルトの名無しさん mailto:sage [2025/02/18(火) 22:49:21.77 ID:elcWerWt.net] 土地神話 999 名前：デフォルトの名無しさん mailto:sage [2025/02/18(火) 22:49:45.71 ID:elcWerWt.net] グノーム 1000 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 08:41:08.67 ID:I0XIk1Cj.net] 数学やってる人間からすると、プログラミング言語はどれも抽象度が低すぎて読み書きが苦痛でしかない そりゃRustとかHaskellとかで満足してる人にとっては、他の言語とそれらの間には天と地ほどの隔たりがあるんだろうが、 一度数学を身につけてしまうと、見下ろしている位置が高すぎて、プログラミング言語なんてどれも機械語とほとんど変わらない 1001 名前：デフォルトの名無しさん [2025/02/19(水) 10:15:37.60 ID:SAhYOuHj.net] 数学やらなければ苦痛に感じないとでも言うのかね 苦痛を悦びに感じるようになればいいと思う 1002 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 10:48:29.22 ID:UfCfSE41.net] >>989 そうやって横着すると矛盾が混ざるから気をつけたほうが…… 1003 名前：デフォルトの名無しさん [2025/02/19(水) 11:27:26.70 ID:Sqgkwi0D.net] プログラミング言語に欠陥があるんじゃなくて 君の頭が悪いんだろう 1004 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 15:52:59.68 ID:8rlYEoii.net] >>992 >プログラミング言語に欠陥がある という話がどこから出てきたのだろう？ 1005 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 15:59:36.63 ID:8rlYEoii.net] たとえばアセンブラには「欠陥がある」のか もちろん、特定のアセンブラの特定のバージョンに不具合がある可能性はある が、CPUの操作を記述するという点において、別にアセンブラに欠陥があるわけではない ただ、高レベルのプログラムを記述するには原始的すぎるだけだ >>989はそういうことを言っている 日本語を正しく読もう 1006 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 16:02:39.63 ID:94/Ld6d4.net] 的外れな文句いうだけで何も提案できない無能 1007 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 16:10:22.75 ID:8rlYEoii.net] もし、現代の比較的強力なプログラミング言語（たとえばRustやHaskell）が、数学と同じ表現力を持っていると主張しているのなら、それはあまりにも逆張りが過ぎるか、ものを知らな過ぎる 本気でそうだと思うなら、以下をやってみてくれ 任意の集合Xには、整列順序≦を入れることができる これを用いて、任意のベクトル空間Vに対して、その基底を一組作ること 1008 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 16:11:56.64 ID:8rlYEoii.net] >>995 自分のニーズに技術が追いついていないのだから、不満が生じるのは当たり前 1009 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 16:21:56.11 ID:8rlYEoii.net] FORTRANやCOBOLが夢の技術だと思っている人がいた時代にも、PerlやPython、さらにはHaskellやRustの水準でものを考える人もいたわけだ 自分が原始的なコンピュータの枠組みでしか思考できないなんてことを、そんなに得意げに言うもんじゃない 1010 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 16:21:57.73 ID:94/Ld6d4.net] >>997 そのニーズの具体例書いてみろよ？ どうせ使うツール間違ってるのワンパン 1011 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 16:55:07.40 ID:8rlYEoii.net] >>999 994をプログラミング言語で記述してみてね 1012 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 17:06:31.12 ID:8rlYEoii.net] >>999 >使うツールが間違ってる 正直、こんなことを言ってる時点で程度が低すぎる 洗濯機のない時代にその出現を想像できてる人に、「お前は洗濯板の使い方が間違ってる」とか言ってるようなもん 1013 名前：デフォルトの名無しさん mailto:sage [2025/02/19(水) 17:54:51.51 ID:V/CQ4I1a.net] 意味なし 1014 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 339日 22時間 13分 7秒 1015 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef