「数学」をプログラミングするにはat TECH
「数学」をプログラミングするには - 暇つぶし2ch970:デフォルトの名無しさん
25/02/07 17:57:33.87 hEymaDN/.net
固有値
固有多項式

971:デフォルトの名無しさん
25/02/07 19:38:55.37 zGDKiBUV.net
LU分解
特異値分解
ジョルダン分解

972:デフォルトの名無しさん
25/02/07 23:03:58.82 xWjShgR/.net
ヒルベルト空間

973:デフォルトの名無しさん
25/02/08 12:50:19.01 +3qBIV3v.net
P(A)+P(~A)!=P(A|~A)

974:デフォルトの名無しさん
25/02/08 17:15:11.47 2KjsmU3G.net
自然数論を含む、というのは選択公理に匹敵する非常に強い仮定だと思えば
何が起きようがあまり違和感はない
その仮定がない場合、たとえば
0 != 1
を肯定も否定もできないとかいうのはありふれた話で全然問題ない

975:デフォルトの名無しさん
25/02/08 18:30:11.14 q/D/l7Hn.net
:-p を肯定も否定もできない

976:デフォルトの名無しさん
25/02/08 20:35:20.03 r1W4t8Yl.net
>>964
定義を正確に述べよ

977:デフォルトの名無しさん
25/02/11 08:01:49.42 /RBful7r.net
突然ですが、数値計算てか2次補間関数作ってみたぁ

以下は筆者👤自作のjavascript言語で
ラグランジュ2次補間関数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:デフォルトの名無しさん
25/02/11 08:08:39.31 /RBful7r.net
あっそうだ、
1の階乗は1だし、2の階乗は2だし、3の階乗は6
なのだから、👤が自作のラグランジュ2次補間関数PPP
でさ、0の階乗がいくつになるか、数値計算できるぢゃーーん
by 🥳

2次補間で、それも外側近似は近似値ですらないから
そんなんで0の階乗なんて定義するなーーー
by 🤡

0の階乗ねぇーー。そもそも意味不明だ�


979:潤Bワケ分からん てか、ありえなぁーーーーい。 by 💃



980:デフォルトの名無しさん
25/02/11 08:52:30.18 /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 🥳

あら、まぁ、👤さんって厳しすぎぃ。
ありえなーーい、てか、信じられなーーい、てゆぅか、
はやく、ラグランジュ2次補間で0の階乗定義しなさい
だいたい、外側補間は仕方ないでしょ
by 💃

981:デフォルトの名無しさん
25/02/12 03:51:42.33 lmAdzys0.net
て、ゆぅか、病気なのは、👤だろ
for (let x=x0; x<=x2; x--) {
var y=PPP(x,x1,ホゲホゲ); // ホゲホゲ補間
}
なら、x0<x1<x2 はダメです。∵∞ループ
かつx0>x1>x2 である事が必要だ。
スナワチ、👤が病気と言える
by 🥳

ま、ラグランジュの2次関数のjsのppp関数で
x0 x1 x2 はソートされてなくても問題無しではある
したがって、🥳も👤も両者ともに病気と言える
by 🤡

あら、まぁーー、人間らしいワね、🥳も👤も
カミでなく人間だから正常でしよ、
by 💃

突然ですが、3点を通る、2次関数は、一意に定まる
けど、3点を通る、任意の関数は、一意に定まる
なんて、事はある❓ ない❓ どっち❓
by 🤡

瞬時にそれは、判る。反例を示せばよい。
円の方程式、2次関数、2次関数の逆関数
どれも、3点が定まれば一意に定まる。
そして、それら3関数は互い異なる。然るに、・・・
by 👾 hahaha

んーーー?、言葉のアヤで考えるとバグだらけって意味
なのでしょう。
by 💃

982:デフォルトの名無しさん
25/02/12 03:55:00.49 lmAdzys0.net
てか、3点を通る円の方程式の一般解を教えろ
地球人よ、教えろ
一般解、だぞ。 3元連立方程式を解けばよい。
では答えになってない。
その3元連立方程式を解いた公式を教えろちゅーの
by 🤡

あのね、地球のopen aiで調べたけど、ダメだ
まだ、地球人はその一般解を知らんのだろ。
ま、open ai は思考力が有るようで皆無だろ
by 👾

てかさ、カシオの計算サイトで誰か
3点より円の方程式の作成してそうぢゃなーーーい
そのコードを解読できれば いや、んーーー
無理かしら
by 💃

983:デフォルトの名無しさん
25/02/12 04:41:30.83 osC1JZ7j.net
>>950
チャイティンのオメガはもっと知られてても良い筈。

984:横方向放物線星人の怪しい呟き
25/02/13 07:01:05.40 FhbTSjBw.net
>>970 👾よ。チミは、昨日のオレだな
2次関数の逆関数 なんていってるが
それは、存在しない ようだ
y=±√x って関数ぢゃないらしい
なぜかって、関数はxが定まればyが一意に定まる必要がある
だから、2次関数の逆関数は、
xが定まっでyが2つだったりするぢゃーーん
2次関数の逆関数は、関数の定義と矛盾するから、
2次関数の逆関数は、関数ぢゃないんだ。ゲラゲラ

by 👽横方向放物線星人

985:デフォルトの名無しさん
25/02/13 19:48:04.80 4b3jmnmv.net
カムパ

986:デフォルトの名無しさん
25/02/14 06:28:02.67 wveL+BCx.net
計算はスケッチ
証明はアセンブラ

987:デフォルトの名無しさん
25/02/14 10:30:50.28 VTViOKZQ.net
証明はスケッチの極限

988:デフォルトの名無しさん
25/02/14 12:09:15.73 iq1Ku00z.net
ちょっとシュレディンガー方程式をプログラミングする方法を教えてくれないか。

989:デフォルトの名無しさん
25/02/14 18:30:04.64 u9OLXtkz.net
そんなものはない

990:デフォルトの名無しさん
25/02/15 02:43:07.02 ZdJRR9Qn.net
>>978
量子力学をライフゲームみたいにルールが決まってるオートマタで再現する研究とかならある。

991:デフォルトの名無しさん
25/02/15 20:08:47.76 HVOvloyf.net
>>977
自分で考えろ

992:デフォルトの名無しさん
25/02/16 10:34:36.10 +v+MZ0kq.net
>>980
答えられないなら黙ってろ

993:デフォルトの名無しさん
25/02/16 14:23:12.54 euivBKz6.net
女にモテる方程式教えて

994:デフォルトの名無しさん
25/02/16 19:09:24.07 YNSNqNCo.net
♪方程式で 恋の難問解けるなら
誰の曲だっけ

995:デフォルトの名無しさん
25/02/16 19:18:30.08 6CTe/u52.net
「○○の方程式」みたいに学術用語を歌詞とかスローガンに流用するの、センス無いからやめたほうがいい

996:デフォルトの名無しさん
25/02/16 20:09:49.33 YNSNqNCo.net
>>983
思い出した
上級生/森口博子(1991)
ババアじゃねーか!(某Twitter漫画のノリで)

997:デフォルトの名無しさん
25/02/18 11:15:51.69 HbHlBTpR.net
>>984
判る
●●神話とかも辞めて欲しい

998:デフォルトの名無しさん
25/02/18 22:49:21.77 elcWerWt.net
土地神話

999:デフォルトの名無しさん
25/02/18 22:49:45.71 elcWerWt.net
グノーム

1000:デフォルトの名無しさん
25/02/19 08:41:08.67 I0XIk1Cj.net
数学やってる人間からすると、プログラミング言語はどれも抽象度が低すぎて読み書きが苦痛でしかない
そりゃRustとかHaskellとかで満足してる人にとっては、他の言語とそれらの間には天と地ほどの隔たりがあるんだろうが、
一度数学を身につけてしまうと、見下ろしている位置が高すぎて、プログラミング言語なんてどれも機械語とほとんど変わらない

1001:デフォルトの名無しさん
25/02/19 10:15:37.60 SAhYOuHj.net
数学やらなければ苦痛に感じないとでも言うのかね
苦痛を悦びに感じるようになればいいと思う

1002:デフォルトの名無しさん
25/02/19 10:48:29.22 UfCfSE41.net
>>989
そうやって横着すると矛盾が混ざるから気をつけたほうが……

1003:デフォルトの名無しさん
25/02/19 11:27:26.70 Sqgkwi0D.net
プログラミング言語に欠陥があるんじゃなくて
君の頭が悪いんだろう

1004:デフォルトの名無しさん
25/02/19 15:52:59.68 8rlYEoii.net
>>992
>プログラミング言語に欠陥がある
という話がどこから出てきたのだろう?

1005:デフォルトの名無しさん
25/02/19 15:59:36.63 8rlYEoii.net
たとえばアセンブラには「欠陥がある」のか
もちろん、特定のアセンブラの特定のバージョンに不具合がある可能性はある
が、CPUの操作を記述するという点において、別にアセンブラに欠陥があるわけではない
ただ、高レベルのプログラムを記述するには原始的すぎるだけだ

>>989はそういうことを言っている
日本語を正しく読もう

1006:デフォルトの名無しさん
25/02/19 16:02:39.63 94/Ld6d4.net
的外れな文句いうだけで何も提案できない無能

1007:デフォルトの名無しさん
25/02/19 16:10:22.75 8rlYEoii.net
もし、現代の比較的強力なプログラミング言語(たとえばRustやHaskell)が、数学と同じ表現力を持っていると主張しているのなら、それはあまりにも逆張りが過ぎるか、ものを知らな過ぎる
本気でそうだと思うなら、以下をやってみてくれ

任意の集合Xには、整列順序≦を入れることができる
これを用いて、任意のベクトル空間Vに対して、その基底を一組作ること

1008:デフォルトの名無しさん
25/02/19 16:11:56.64 8rlYEoii.net
>>995
自分のニーズに技術が追いついていないのだから、不満が生じるのは当たり前

1009:デフォルトの名無しさん
25/02/19 16:21:56.11 8rlYEoii.net
FORTRANやCOBOLが夢の技術だと思っている人がいた時代にも、PerlやPython、さらにはHaskellやRustの水準でものを考える人もいたわけだ
自分が原始的なコンピュータの枠組みでしか思考できないなんてことを、そんなに得意げに言うもんじゃない

1010:デフォルトの名無しさん
25/02/19 16:21:57.73 94/Ld6d4.net
>>997
そのニーズの具体例書いてみろよ?
どうせ使うツール間違ってるのワンパン

1011:デフォルトの名無しさん
25/02/19 16:55:07.40 8rlYEoii.net
>>999
994をプログラミング言語で記述してみてね

1012:デフォルトの名無しさん
25/02/19 17:06:31.12 8rlYEoii.net
>>999
>使うツールが間違ってる
正直、こんなことを言ってる時点で程度が低すぎる
洗濯機のない時代にその出現を想像できてる人に、「お前は洗濯板の使い方が間違ってる」とか言ってるようなもん

1013:デフォルトの名無しさん
25/02/19 17:54:51.51 V/CQ4I1a.net
意味なし

1014:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 339日 22時間 13分 7秒

1015:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています


最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch