[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
960: 02/07(金)23:03 ID:xWjShgR/(1) AAS
ヒルベルト空間
961: 02/08(土)12:50 ID:+3qBIV3v(1) AAS
P(A)+P(~A)!=P(A|~A)
962(1): 02/08(土)17:15 ID:2KjsmU3G(1) AAS
自然数論を含む、というのは選択公理に匹敵する非常に強い仮定だと思えば
何が起きようがあまり違和感はない
その仮定がない場合、たとえば
0 != 1
を肯定も否定もできないとかいうのはありふれた話で全然問題ない
963: 02/08(土)18:30 ID:q/D/l7Hn(1) AAS
:-p を肯定も否定もできない
964: 02/08(土)20:35 ID:r1W4t8Yl(1) AAS
>>962
定義を正確に述べよ
965: 02/11(火)08:01 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);
省18
966: 02/11(火)08:08 ID:/RBful7r(2/3) AAS
あっそうだ、
1の階乗は1だし、2の階乗は2だし、３の階乗は6
なのだから、👤が自作のラグランジュ２次補間関数PPP
でさ、0の階乗がいくつになるか、数値計算できるぢゃーーん
by 🥳
２次補間で、それも外側近似は近似値ですらないから
そんなんで0の階乗なんて定義するなーーー
省4
967: 02/11(火)08:52 ID:/RBful7r(3/3) AAS
🥳よ、チミは病気だ
ま、x0<x1<x2が必要と思い込むのも判るが
たとえば、
for (let x=x0; x<=x2; x++) {
var y=PPP(x,x1,ホゲホゲ); // ホゲホゲ補間
}
なら、x0<x1<x2 が必要だが
省14
968(1): 02/12(水)03:51 ID:lmAdzys0(1/2) AAS
て、ゆぅか、病気なのは、👤だろ
for (let x=x0; x<=x2; x--) {
var y=PPP(x,x1,ホゲホゲ); // ホゲホゲ補間
}
なら、x0<x1<x2 はダメです。∵∞ループ
かつx0>x1>x2 である事が必要だ。
スナワチ、👤が病気と言える
省20
969: 02/12(水)03:55 ID:lmAdzys0(2/2) AAS
てか、３点を通る円の方程式の一般解を教えろ
地球人よ、教えろ
一般解、だぞ。 3元連立方程式を解けばよい。
では答えになってない。
その3元連立方程式を解いた公式を教えろちゅーの
by 🤡
あのね、地球のopen aiで調べたけど、ダメだ
省8
970: 02/12(水)04:41 ID:osC1JZ7j(1) AAS
>>948
チャイティンのオメガはもっと知られてても良い筈。
971: 横方向放物線星人の怪しい呟き 02/13(木)07:01 ID:FhbTSjBw(1) AAS
>>968 👾よ。チミは、昨日のオレだな
２次関数の逆関数 なんていってるが
それは、存在しない ようだ
y=±√x って関数ぢゃないらしい
なぜかって、関数はxが定まればyが一意に定まる必要がある
だから、２次関数の逆関数は、
xが定まっでyが2つだったりするぢゃーーん
省3
972: 02/13(木)19:48 ID:4b3jmnmv(1) AAS
カムパ
973: 02/14(金)06:28 ID:wveL+BCx(1) AAS
計算はスケッチ
証明はアセンブラ
974: 02/14(金)10:30 ID:VTViOKZQ(1) AAS
証明はスケッチの極限
975(1): 02/14(金)12:09 ID:iq1Ku00z(1) AAS
ちょっとシュレディンガー方程式をプログラミングする方法を教えてくれないか。
976(1): 02/14(金)18:30 ID:u9OLXtkz(1) AAS
そんなものはない
977: 02/15(土)02:43 ID:ZdJRR9Qn(1) AAS
>>976
量子力学をライフゲームみたいにルールが決まってるオートマタで再現する研究とかならある。
978(1): 02/15(土)20:08 ID:HVOvloyf(1) AAS
>>975
自分で考えろ
979: 02/16(日)10:34 ID:+v+MZ0kq(1) AAS
>>978
答えられないなら黙ってろ
980: 02/16(日)14:23 ID:euivBKz6(1) AAS
女にモテる方程式教えて
981(1): 02/16(日)19:09 ID:YNSNqNCo(1/2) AAS
♪方程式で 恋の難問解けるなら
誰の曲だっけ
982(1): 02/16(日)19:18 ID:6CTe/u52(1) AAS
「○○の方程式」みたいに学術用語を歌詞とかスローガンに流用するの、センス無いからやめたほうがいい
983: 02/16(日)20:09 ID:YNSNqNCo(2/2) AAS
>>981
思い出した
上級生／森口博子(1991)
ババアじゃねーか！（某Twitter漫画のノリで）
984: 02/18(火)11:15 ID:HbHlBTpR(1) AAS
>>982
判る
●●神話とかも辞めて欲しい
985: 02/18(火)22:49 ID:elcWerWt(1/2) AAS
土地神話
986: 02/18(火)22:49 ID:elcWerWt(2/2) AAS
グノーム
987(2): 02/19(水)08:41 ID:I0XIk1Cj(1) AAS
数学やってる人間からすると、プログラミング言語はどれも抽象度が低すぎて読み書きが苦痛でしかない
そりゃRustとかHaskellとかで満足してる人にとっては、他の言語とそれらの間には天と地ほどの隔たりがあるんだろうが、
一度数学を身につけてしまうと、見下ろしている位置が高すぎて、プログラミング言語なんてどれも機械語とほとんど変わらない
988: 02/19(水)10:15 ID:SAhYOuHj(1) AAS
数学やらなければ苦痛に感じないとでも言うのかね
苦痛を悦びに感じるようになればいいと思う
989: 02/19(水)10:48 ID:UfCfSE41(1) AAS
>>987
そうやって横着すると矛盾が混ざるから気をつけたほうが……
990(1): 02/19(水)11:27 ID:Sqgkwi0D(1) AAS
プログラミング言語に欠陥があるんじゃなくて
君の頭が悪いんだろう
991: 02/19(水)15:52 ID:8rlYEoii(1/7) AAS
>>990
>プログラミング言語に欠陥がある
という話がどこから出てきたのだろう？
992: 02/19(水)15:59 ID:8rlYEoii(2/7) AAS
たとえばアセンブラには「欠陥がある」のか
もちろん、特定のアセンブラの特定のバージョンに不具合がある可能性はある
が、CPUの操作を記述するという点において、別にアセンブラに欠陥があるわけではない
ただ、高レベルのプログラムを記述するには原始的すぎるだけだ
>>987はそういうことを言っている
日本語を正しく読もう
993(1): 02/19(水)16:02 ID:94/Ld6d4(1/2) AAS
的外れな文句いうだけで何も提案できない無能
994: 02/19(水)16:10 ID:8rlYEoii(3/7) AAS
もし、現代の比較的強力なプログラミング言語（たとえばRustやHaskell）が、数学と同じ表現力を持っていると主張しているのなら、それはあまりにも逆張りが過ぎるか、ものを知らな過ぎる
本気でそうだと思うなら、以下をやってみてくれ
任意の集合Xには、整列順序≦を入れることができる
これを用いて、任意のベクトル空間Vに対して、その基底を一組作ること
995(1): 02/19(水)16:11 ID:8rlYEoii(4/7) AAS
>>993
自分のニーズに技術が追いついていないのだから、不満が生じるのは当たり前
996: 02/19(水)16:21 ID:8rlYEoii(5/7) AAS
FORTRANやCOBOLが夢の技術だと思っている人がいた時代にも、PerlやPython、さらにはHaskellやRustの水準でものを考える人もいたわけだ
自分が原始的なコンピュータの枠組みでしか思考できないなんてことを、そんなに得意げに言うもんじゃない
997(2): 02/19(水)16:21 ID:94/Ld6d4(2/2) AAS
>>995
そのニーズの具体例書いてみろよ？
どうせ使うツール間違ってるのワンパン
998: 02/19(水)16:55 ID:8rlYEoii(6/7) AAS
>>997
994をプログラミング言語で記述してみてね
999: 02/19(水)17:06 ID:8rlYEoii(7/7) AAS
>>997
>使うツールが間違ってる
正直、こんなことを言ってる時点で程度が低すぎる
洗濯機のない時代にその出現を想像できてる人に、「お前は洗濯板の使い方が間違ってる」とか言ってるようなもん
1000: 02/19(水)17:54 ID:V/CQ4I1a(1) AAS
意味なし
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 339日 22時間 13分 7秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s