[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
952(1): デフォルトの名無しさん [sage] 2025/02/06(木) 23:32:34.69 ID:/3i5yGjy(1) AAS
>>950知らんから教えて
Wikipedia見ても分からん
「初等的な自然数論を含む」って何？
「有限の立場」って何？
説明してね
953(1): デフォルトの名無しさん [sage] 2025/02/07(金) 00:09:55.74 ID:hW+AbfK5(1) AAS
>>951ゲーテルの不完全性定理って知ってる？
954: デフォルトの名無しさん [sage] 2025/02/07(金) 01:46:02.50 ID:KWZjh6Se(1) AAS
>>953
知らんから教えて
>>952の内容も
955: デフォルトの名無しさん [sage] 2025/02/07(金) 09:40:09.77 ID:xzx1dNO8(1) AAS
逐次近似法
956: デフォルトの名無しさん [sage] 2025/02/07(金) 09:59:31.40 ID:gh02aWuS(1) AAS
スペクトル分解
957: デフォルトの名無しさん [sage] 2025/02/07(金) 17:03:58.45 ID:QhJJc3Rt(1) AAS
トレース
958: デフォルトの名無しさん [sage] 2025/02/07(金) 17:57:33.87 ID:hEymaDN/(1) AAS
固有値
固有多項式
959: デフォルトの名無しさん [sage] 2025/02/07(金) 19:38:55.37 ID:zGDKiBUV(1) AAS
LU分解
特異値分解
ジョルダン分解
960: デフォルトの名無しさん [sage] 2025/02/07(金) 23:03:58.82 ID:xWjShgR/(1) AAS
ヒルベルト空間
961: デフォルトの名無しさん [] 2025/02/08(土) 12:50:19.01 ID:+3qBIV3v(1) AAS
P(A)+P(~A)!=P(A|~A)
962(1): デフォルトの名無しさん [sage] 2025/02/08(土) 17:15:11.47 ID:2KjsmU3G(1) AAS
自然数論を含む、というのは選択公理に匹敵する非常に強い仮定だと思えば
何が起きようがあまり違和感はない
その仮定がない場合、たとえば
0 != 1
を肯定も否定もできないとかいうのはありふれた話で全然問題ない
963: デフォルトの名無しさん [] 2025/02/08(土) 18:30:11.14 ID:q/D/l7Hn(1) AAS
:-p を肯定も否定もできない
964: デフォルトの名無しさん [sage] 2025/02/08(土) 20:35:20.03 ID:r1W4t8Yl(1) AAS
>>962
定義を正確に述べよ
965: デフォルトの名無しさん [] 2025/02/11(火) 08:01:49.42 ID:/RBful7r(1/3) AAS
突然ですが、数値計算てか２次補間関数作ってみたぁ
以下は筆者👤自作の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 🤡
966: デフォルトの名無しさん [] 2025/02/11(火) 08:08:39.31 ID:/RBful7r(2/3) AAS
あっそうだ、
1の階乗は1だし、2の階乗は2だし、３の階乗は6
なのだから、👤が自作のラグランジュ２次補間関数PPP
でさ、0の階乗がいくつになるか、数値計算できるぢゃーーん
by 🥳
２次補間で、それも外側近似は近似値ですらないから
そんなんで0の階乗なんて定義するなーーー
by 🤡
0の階乗ねぇーー。そもそも意味不明だワ。ワケ分からん
てか、ありえなぁーーーーい。
by 💃
967: デフォルトの名無しさん [] 2025/02/11(火) 08:52:30.18 ID:/RBful7r(3/3) AAS
🥳よ、チミは病気だ
ま、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 💃
968(1): デフォルトの名無しさん [] 2025/02/12(水) 03:51:42.33 ID:lmAdzys0(1/2) AAS
て、ゆぅか、病気なのは、👤だろ
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 💃
969: デフォルトの名無しさん [] 2025/02/12(水) 03:55:00.49 ID:lmAdzys0(2/2) AAS
てか、３点を通る円の方程式の一般解を教えろ
地球人よ、教えろ
一般解、だぞ。 3元連立方程式を解けばよい。
では答えになってない。
その3元連立方程式を解いた公式を教えろちゅーの
by 🤡
あのね、地球のopen aiで調べたけど、ダメだ
まだ、地球人はその一般解を知らんのだろ。
ま、open ai は思考力が有るようで皆無だろ
by 👾
てかさ、カシオの計算サイトで誰か
３点より円の方程式の作成してそうぢゃなーーーい
そのコードを解読できれば いや、んーーー
無理かしら
by 💃
970: デフォルトの名無しさん [sage] 2025/02/12(水) 04:41:30.83 ID:osC1JZ7j(1) AAS
>>948チャイティンのオメガはもっと知られてても良い筈。
971: 横方向放物線星人の怪しい呟き [] 2025/02/13(木) 07:01:05.40 ID:FhbTSjBw(1) AAS
>>968 👾よ。チミは、昨日のオレだな
２次関数の逆関数 なんていってるが
それは、存在しない ようだ
y=±√x って関数ぢゃないらしい
なぜかって、関数はxが定まればyが一意に定まる必要がある
だから、２次関数の逆関数は、
xが定まっでyが2つだったりするぢゃーーん
２次関数の逆関数は、関数の定義と矛盾するから、
２次関数の逆関数は、関数ぢゃないんだ。ゲラゲラ
by 👽横方向放物線星人
972: デフォルトの名無しさん [sage] 2025/02/13(木) 19:48:04.80 ID:4b3jmnmv(1) AAS
カムパ
973: デフォルトの名無しさん [sage] 2025/02/14(金) 06:28:02.67 ID:wveL+BCx(1) AAS
計算はスケッチ
証明はアセンブラ
974: デフォルトの名無しさん [sage] 2025/02/14(金) 10:30:50.28 ID:VTViOKZQ(1) AAS
証明はスケッチの極限
975(1): デフォルトの名無しさん [sage] 2025/02/14(金) 12:09:15.73 ID:iq1Ku00z(1) AAS
ちょっとシュレディンガー方程式をプログラミングする方法を教えてくれないか。
976(1): デフォルトの名無しさん [sage] 2025/02/14(金) 18:30:04.64 ID:u9OLXtkz(1) AAS
そんなものはない
上下前次1-新書関写板覧索設栞歴
あと 26 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s