[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
36: デフォルトの名無しさん [] 2024/03/19(火) 17:00:04.15 ID:WY0TXEXb lean4はプログラミング言語としても、haskellやrustくらいパワフルな言語なので、cだのfortranだの勉強するよりプログラミングの勉強にもなる http://mevius.5ch.net/test/read.cgi/tech/1710585705/36
106: デフォルトの名無しさん [] 2024/03/24(日) 20:59:35.15 ID:BUlt442E インタプリタのRubyや、配列っぽく見える[1, 2, 3]がリンクリストのHaskellが効率を 云々するのは馬鹿げているな。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/106
161: デフォルトの名無しさん [sage] 2024/03/31(日) 16:25:54.15 ID:GMj391lI 絶対にルール追加しないのは ルール追加のふりをしてバックドア設置されるリスクを回避してるんだろう http://mevius.5ch.net/test/read.cgi/tech/1710585705/161
231: デフォルトの名無しさん [] 2024/04/12(金) 11:40:05.15 ID:bVCDZJf2 >>230 「数学をプログラミングするには」って書いてあるじゃん http://mevius.5ch.net/test/read.cgi/tech/1710585705/231
335: デフォルトの名無しさん [sage] 2024/04/15(月) 21:53:20.15 ID:scEUff9F 自己紹介乙 http://mevius.5ch.net/test/read.cgi/tech/1710585705/335
395: デフォルトの名無しさん [] 2024/04/17(水) 08:38:41.15 ID:Rqxu+zgK P(x)は実数係数多項式で、∀x∈R, P(x) ≥ 0が成り立つとする。 P(x)の次数は偶数。 ∵ 奇数なら、x → ±∞ どちらかの極限が-∞になるから。 deg(P(x)) = 2dとする d = 0のとき、P(x)は非負の定数Cなので、P(x) = √C^2と書ける。 2(d-1)以下の偶数次のR係数多項式では、 ∀x∈R, Q(x) ≥ 0 ⇒ Q = f_1^2 + ... + f_n^2と書ける が成立すると仮定する {P(x)|x∈R}は下に有界 十分大きなr > 0を取れば、|x| > rでのP(x)の値は、[-r, r]でのP(x)の値よりも大きくできる。 よって、P(x)は最小値m > 0を持つ。 P(x) = mとなるxをx_0 F(x) = P(x) - mとおく F(x)はF(x_0) = 0で、x = x_0で極小値をとるから、あるQ(x)が存在して F(x) = (x - x_0)^2 Q(x) となる。 Q(x) = F(x)/(x - x_0)^2は、次数2(d-1)以下でつねに非負だから、仮定より Q(x) = f_1(x)^2 + ... + f_n(x)^2 と書ける。 よって、 P(x) = (f_1(x)(x - x_0))^2 + ... + (f_n(x)(x - x_0)^2 + √m^2 と書ける。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/395
417: デフォルトの名無しさん [] 2024/04/24(水) 06:37:08.15 ID:Ucc6jtP7 41歳列車で真ん中に座れるようになりました http://mevius.5ch.net/test/read.cgi/tech/1710585705/417
524: デフォルトの名無しさん [sage] 2024/05/05(日) 20:31:07.15 ID:7WTeO/Yw >>522 まず、トリビアル 結論から言うと擬似的なストーリーに惑わされてやしないか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/524
694: デフォルトの名無しさん [] 2024/11/19(火) 14:24:36.15 ID:vPThvbnG >>693 扱えるが http://mevius.5ch.net/test/read.cgi/tech/1710585705/694
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.040s