[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
946: デフォルトの名無しさん [sage] 2025/02/06(木) 21:00:15.76 ID:75UI+75Y コンパイラを書け http://mevius.5ch.net/test/read.cgi/tech/1710585705/946
947: デフォルトの名無しさん [sage] 2025/02/06(木) 21:04:29.07 ID:guqgasQB 継続指向言語 モナド指向言語 http://mevius.5ch.net/test/read.cgi/tech/1710585705/947
948: デフォルトの名無しさん [sage] 2025/02/06(木) 22:34:55.78 ID:m0cItbCE ゲーテルの不完全性定理と計算可能性の話で全部記述することは無理なんじゃなかった？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/948
949: デフォルトの名無しさん [sage] 2025/02/06(木) 23:10:35.99 ID:hwCUy5RI 全部記述って何？w http://mevius.5ch.net/test/read.cgi/tech/1710585705/949
950: デフォルトの名無しさん [sage] 2025/02/06(木) 23:14:20.21 ID:m0cItbCE >>949 ゲーテルの不完全性定理って知ってる？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/950
951: デフォルトの名無しさん [sage] 2025/02/06(木) 23:31:13.10 ID:T9D6/Ohn 全部記述って何？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/951
952: デフォルトの名無しさん [sage] 2025/02/06(木) 23:32:34.69 ID:/3i5yGjy >>950 知らんから教えて Wikipedia見ても分からん 「初等的な自然数論を含む」って何？ 「有限の立場」って何？ 説明してね http://mevius.5ch.net/test/read.cgi/tech/1710585705/952
953: デフォルトの名無しさん [sage] 2025/02/07(金) 00:09:55.74 ID:hW+AbfK5 >>951 ゲーテルの不完全性定理って知ってる？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/953
954: デフォルトの名無しさん [sage] 2025/02/07(金) 01:46:02.50 ID:KWZjh6Se >>953 知らんから教えて >>952の内容も http://mevius.5ch.net/test/read.cgi/tech/1710585705/954
955: デフォルトの名無しさん [sage] 2025/02/07(金) 09:40:09.77 ID:xzx1dNO8 逐次近似法 http://mevius.5ch.net/test/read.cgi/tech/1710585705/955
956: デフォルトの名無しさん [sage] 2025/02/07(金) 09:59:31.40 ID:gh02aWuS スペクトル分解 http://mevius.5ch.net/test/read.cgi/tech/1710585705/956
957: デフォルトの名無しさん [sage] 2025/02/07(金) 17:03:58.45 ID:QhJJc3Rt トレース http://mevius.5ch.net/test/read.cgi/tech/1710585705/957
958: デフォルトの名無しさん [sage] 2025/02/07(金) 17:57:33.87 ID:hEymaDN/ 固有値 固有多項式 http://mevius.5ch.net/test/read.cgi/tech/1710585705/958
959: デフォルトの名無しさん [sage] 2025/02/07(金) 19:38:55.37 ID:zGDKiBUV LU分解 特異値分解 ジョルダン分解 http://mevius.5ch.net/test/read.cgi/tech/1710585705/959
960: デフォルトの名無しさん [sage] 2025/02/07(金) 23:03:58.82 ID:xWjShgR/ ヒルベルト空間 http://mevius.5ch.net/test/read.cgi/tech/1710585705/960
961: デフォルトの名無しさん [] 2025/02/08(土) 12:50:19.01 ID:+3qBIV3v P(A)+P(~A)!=P(A|~A) http://mevius.5ch.net/test/read.cgi/tech/1710585705/961
962: デフォルトの名無しさん [sage] 2025/02/08(土) 17:15:11.47 ID:2KjsmU3G 自然数論を含む、というのは選択公理に匹敵する非常に強い仮定だと思えば 何が起きようがあまり違和感はない その仮定がない場合、たとえば 0 != 1 を肯定も否定もできないとかいうのはありふれた話で全然問題ない http://mevius.5ch.net/test/read.cgi/tech/1710585705/962
963: デフォルトの名無しさん [] 2025/02/08(土) 18:30:11.14 ID:q/D/l7Hn :-p を肯定も否定もできない http://mevius.5ch.net/test/read.cgi/tech/1710585705/963
964: デフォルトの名無しさん [sage] 2025/02/08(土) 20:35:20.03 ID:r1W4t8Yl >>962 定義を正確に述べよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/964
965: デフォルトの名無しさん [] 2025/02/11(火) 08:01:49.42 ID:/RBful7r 突然ですが、数値計算てか２次補間関数作ってみたぁ 以下は筆者👤自作の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 🤡 http://mevius.5ch.net/test/read.cgi/tech/1710585705/965
966: デフォルトの名無しさん [] 2025/02/11(火) 08:08:39.31 ID:/RBful7r あっそうだ、 1の階乗は1だし、2の階乗は2だし、３の階乗は6 なのだから、👤が自作のラグランジュ２次補間関数PPP でさ、0の階乗がいくつになるか、数値計算できるぢゃーーん by 🥳 ２次補間で、それも外側近似は近似値ですらないから そんなんで0の階乗なんて定義するなーーー by 🤡 0の階乗ねぇーー。そもそも意味不明だワ。ワケ分からん てか、ありえなぁーーーーい。 by 💃 http://mevius.5ch.net/test/read.cgi/tech/1710585705/966
967: デフォルトの名無しさん [] 2025/02/11(火) 08:52:30.18 ID:/RBful7r 🥳よ、チミは病気だ ま、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 🥳 あら、まぁ、ԁ
00;さんって厳しすぎぃ。 ありえなーーい、てか、信じられなーーい、てゆぅか、 はやく、ラグランジュ２次補間で0の階乗定義しなさい だいたい、外側補間は仕方ないでしょ by 💃 http://mevius.5ch.net/test/read.cgi/tech/1710585705/967
968: デフォルトの名無しさん [] 2025/02/12(水) 03:51:42.33 ID:lmAdzys0 て、ゆぅか、病気なのは、👤だろ 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 🤡 あら、まぁーー、人間らしいワね、&#
129395;も👤も カミでなく人間だから正常でしよ、 by 💃 突然ですが、３点を通る、２次関数は、一意に定まる けど、３点を通る、任意の関数は、一意に定まる なんて、事はある❓ ない❓ どっち❓ by 🤡 瞬時にそれは、判る。反例を示せばよい。 円の方程式、２次関数、２次関数の逆関数 どれも、３点が定まれば一意に定まる。 そして、それら３関数は互い異なる。然るに、・・・ by 👾 hahaha んーーー？、言葉のアヤで考えるとバグだらけって意味 なのでしょう。 by 💃 http://mevius.5
ch.net/test/read.cgi/tech/1710585705/968
969: デフォルトの名無しさん [] 2025/02/12(水) 03:55:00.49 ID:lmAdzys0 てか、３点を通る円の方程式の一般解を教えろ 地球人よ、教えろ 一般解、だぞ。 3元連立方程式を解けばよい。 では答えになってない。 その3元連立方程式を解いた公式を教えろちゅーの by 🤡 あのね、地球のopen aiで調べたけど、ダメだ まだ、地球人はその一般解を知らんのだろ。 ま、open ai は思考力が有るようで皆無だろ by 👾 てかさ、カシオの計算サイトで誰か ３点より円の方程式の作成してそうぢゃなーーーい そのコードを解読できれば いや、んー
ーー 無理かしら by 💃 http://mevius.5ch.net/test/read.cgi/tech/1710585705/969
970: デフォルトの名無しさん [sage] 2025/02/12(水) 04:41:30.83 ID:osC1JZ7j >>948 チャイティンのオメガはもっと知られてても良い筈。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/970
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 32 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.020s