[過去ログ] 「数学」をプログラミングするには (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
174: デフォルトの名無しさん [sage] 2024/03/31(日) 22:17:11.33 ID:dM7Inut1(5/5) AAS
>>167自己紹介乙
>キチガイ率高い
330: デフォルトの名無しさん [sage] 2024/04/15(月) 20:45:46.33 ID:scEUff9F(12/17) AAS
>>327327(1): デフォルトの名無しさん [sage] 2024/04/15(月) 20:01:42.17 ID:eajKaNbV(2/3) AAS
>>301
>例えば実数は体、順序構造、連続性をもつものとして定義する
これは数論とか超準解析とか特定の用途でご都合定義や対比で採用(完備(非)アルキメデス順序体)する位で
well definedかどうかの議論は本来は必要だし>>302のツッコミが入るのは当然
意味不明
373: デフォルトの名無しさん [] 2024/04/16(火) 21:46:44.33 ID:LcfQM7X4(1) AAS
まつげ、性的、いい匂い
396(1): デフォルトの名無しさん [] 2024/04/17(水) 08:39:47.33 ID:Rqxu+zgK(9/10) AAS
多変数では同様のことは成り立つのかな?
433: デフォルトの名無しさん [] 2024/04/24(水) 20:39:18.33 ID:H3cF+EGE(2/2) AAS
楽になるなんて誰が言ったんだ
703(1): デフォルトの名無しさん [] 2024/11/19(火) 16:35:45.33 ID:j14Rc69f(1) AAS
自分の無知や誤解を認めずに「それ意味あるの」と話をそらすのはみっともない
774: デフォルトの名無しさん [sage] 2024/12/13(金) 23:05:29.33 ID:eXnQCWqo(3/3) AAS
>>762任意精度数値計算ライブラリ
メモリに依存するみたいだけど
826: デフォルトの名無しさん [sage] 2025/01/14(火) 13:30:47.33 ID:5ok8hMJ2(1) AAS
>>824それ知ってるわ
煉獄さんの映画のやつだろ
お前マジでおもしれーな
835: デフォルトの名無しさん [sage] 2025/01/15(水) 00:39:06.33 ID:v8xz0BVe(1/2) AAS
`f1 = Foo 1`なら、f1の型は`Foo 1`
基本的にはこれでいい
`Foo 1`は `{n: Nat} Foo n`のサブタイプ
`f1`を`Bar :: t -> s`に渡せるのは、`Foo 1`に変換する規則が存在するとき
型検査はそれをコンパイラがチェックすればいい
878: デフォルトの名無しさん [sage] 2025/01/18(土) 15:41:30.33 ID:Zj1ghav+(1) AAS
反論になってないなぁ
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 🥳
ま、ラグランジュの2次関数のjsのppp関数で
x0 x1 x2 はソートされてなくても問題無しではある
したがって、🥳も👤も両者ともに病気と言える
by 🤡
あら、まぁーー、人間らしいワね、🥳も👤も
カミでなく人間だから正常でしよ、
by 💃
突然ですが、3点を通る、2次関数は、一意に定まる
けど、3点を通る、任意の関数は、一意に定まる
なんて、事はある❓ ない❓ どっち❓
by 🤡
瞬時にそれは、判る。反例を示せばよい。
円の方程式、2次関数、2次関数の逆関数
どれも、3点が定まれば一意に定まる。
そして、それら3関数は互い異なる。然るに、・・・
by 👾 hahaha
んーーー?、言葉のアヤで考えるとバグだらけって意味
なのでしょう。
by 💃
983: デフォルトの名無しさん [sage] 2025/02/16(日) 20:09:49.33 ID:YNSNqNCo(2/2) AAS
>>981思い出した
上級生/森口博子(1991)
ババアじゃねーか!(某Twitter漫画のノリで)
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.071s