[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
399: 2024/04/17(水)09:05 ID:eWa5nsHI(1) AAS
酒をのんだら、無意識に呼吸できなくなった
寝られない
400: 2024/04/17(水)09:19 ID:nP2I5Wyb(1) AAS
>>395
100点(最小値mは≧0なのはお目こぼしとして)
演習で板書すると100点でも理解度を確かめるために既知として良い所も
訊かれた経験あるかも知れないけど、例えば、この部分を噛み砕いて見てよ
>F(x)はF(x_0) = 0で、x = x_0で極小値をとるから、あるQ(x)が存在して
>F(x) = (x - x_0)^2 Q(x)
>となる。
(他にも最小値の存在を暗黙裡にしたらツッコミどころだった)
>>396
そこまでは知らない、>>340はユーチューブの拾い物なだけだから
動画ﾘﾝｸ[YouTube]
(そこでは別解がなされてる)
>>398
Lean4で回答してくれても良いよ
401: 2024/04/17(水)10:01 ID:sJRiVtui(1) AAS
いろいろ具体例で実験して発見するのだなあ
402: 2024/04/17(水)10:41 ID:reMCnFls(1) AAS
ある朝、男が牧場の近くを通った時、腕時計が壊れていることに気づきました。
牧場には、牧草の束にもたれて寝ている牛飼いがいたので、男は「今、何時ですか」と尋ねました。
すると、牛飼いは近くの牛の金玉を持ち上げて、「8時10分だよ」と言いました。
男は怪訝に思いながらも、お礼を言って牧場を後にしました。
その日の夕、時計を直した男は再び牧場のそばを通りました。
牧場には、朝の牛飼いが牧草の束にもたれて寝ていました。
男は牛飼いに「今、何時ですか」と尋ねました。
牛飼いは、やはり牛の金玉を持ち上げて、「5時30分だよ」と言いました。
男は自分の時計を見ました。時計は牛飼いの言うとおり、5時30分を指していました。
男は驚き、「どうして牛の金玉で時間がわかるのですか」と牛飼いに尋ねました。
牛飼いは笑って、「向こうの時計台を見ていただけだよ」と言い、牧場の向こうを指差しました。
403(1): 2024/04/17(水)10:48 ID:QYenzWQY(1/2) AAS
In 1888, Hilbert showed that every non-negative homogeneous polynomial in n variables and degree 2d can be represented as sum of squares of other polynomials if and only if either (a) n = 2 or (b) 2d = 2 or (c) n = 3 and 2d = 4.
404: 2024/04/17(水)10:59 ID:MC+f1reS(1/2) AAS
>>403
へー、勉強になるわ
今回のはhomogeneousにしてn=2の場合だね
405(1): 2024/04/17(水)11:22 ID:QYenzWQY(2/2) AAS
任意の整数nに対し
abc+abd+acd+bcd=1
を満たす0でない整数の組(a,b,c,d)が無限に存在することを示せ
406(1): 2024/04/17(水)11:27 ID:/l2KPUVP(1) AAS
位数pqの有限群を分類せよ
407: 2024/04/17(水)12:12 ID:MC+f1reS(2/2) AAS
>>405
何個か系列が挙げられている
背後に深い理論があるんだろうけど導出が見当たらない
外部ﾘﾝｸ:math.stackexchange.com
>>406
これはコンピューター代数が効きそうな設問だね
408: 2024/04/17(水)21:28 ID:d0sPi4E4(1) AAS
上流は70点位の擬似コードを
下流は隙のない100点のコードを求められる
409: 2024/04/19(金)04:58 ID:VczmU+ll(1) AAS
圏のモノイド化であるカテゴロイドが最先端らしい
410: 2024/04/19(金)09:50 ID:EGRRzOnw(1) AAS
商人なら主語を修正する
学者なら述語を修正する
中立ならどっちも修正するか、何も変えない
411(1): 2024/04/19(金)09:53 ID:yPPcHo4B(1) AAS
役人、サラリーマン、農業は？
412: !id:igunore 2024/04/21(日)16:32 ID:QcTo+DFu(1) AAS
test
413: 2024/04/22(月)19:57 ID:Z/mW1wgm(1) AAS
国際社会では日本はすっかり女性差別および児童ポルノ大国と見られている
シリアやアフガニスタンと同列の人権後進国だと見なされている
414: 2024/04/22(月)20:50 ID:o0SSvQPa(1) AAS
光るものすべて金ならず
415(1): 2024/04/24(水)00:45 ID:qYUcXmw2(1/5) AAS
>>411
網羅できない理由の方が多いのに何故できる方に賭けてしまうのかね
カリー・ハワード対応もそうだが
416: 2024/04/24(水)06:04 ID:0I0qCYsp(1) AAS
酒を飲むと脳が萎縮するソクラテスは豚だ
417: 2024/04/24(水)06:37 ID:Ucc6jtP7(1) AAS
41歳列車で真ん中に座れるようになりました
418: 2024/04/24(水)07:26 ID:sd26LqbM(1/7) AAS
>>415
お前の首の上につけているものはなんだｗ
419: 2024/04/24(水)11:01 ID:0on+NXwB(1) AAS
プログラミングは線形代数だろ？
420: 2024/04/24(水)11:16 ID:qYUcXmw2(2/5) AAS
モビルスーツに手と足と頭があるのも網羅がしたいだけ
421: 2024/04/24(水)11:44 ID:sd26LqbM(2/7) AAS
ポエムしか書けないアホ
422: 2024/04/24(水)12:02 ID:BuUg9b8b(1) AAS
カリーハワード対応の元でも
型の表現力の問題で大した命題は表現できなさそう
依存型をもつ言語が待たれる
ただ、haskellにはカン拡張のライブラリがあるので圏論とは相性がよいのかもしれない
423: 2024/04/24(水)12:18 ID:sd26LqbM(3/7) AAS
馬鹿だね、ただの道具
424: 2024/04/24(水)12:46 ID:hOEBS28r(1) AAS
Kan拡張ってどう便利なの
425: 2024/04/24(水)14:34 ID:qYUcXmw2(3/5) AAS
「Haskellには依存型がない」は「Cにはclassがない」と同じ形式だし
「数学だから違う」は数学の定理ではない
426: 2024/04/24(水)16:07 ID:sd26LqbM(4/7) AAS
数学知らないんだろ
427: 2024/04/24(水)16:28 ID:sd26LqbM(5/7) AAS
外部ﾘﾝｸ:leanprover-community.github.io
こういう話をしてるんだよ
428: 2024/04/24(水)17:12 ID:wm22WFWW(1) AAS
依存型がなければ、その上に型システムを構築したらいいのでは？
上下前次1-新書関写板覧索設栞歴
あと 574 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.016s