[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
397: デフォルトの名無しさん [] 2024/04/17(水) 08:48:45.47 ID:Rqxu+zgK(10/10) AAS
二次式の場合は成り立つ
x∈R^n
Q(x) = txSx tは転置
とすれば、Sは実対称行列になるから、適当な基底変換Tで
Q(Tx) = a_1(x_1)^2 + ... + a_n(x_n)^2
となるつねに非負なのは、∀i, a_i ≥ 0となるとき。
491: デフォルトの名無しさん [sage] 2024/05/03(金) 10:55:40.47 ID:VWU4jyai(1/6) AAS
モジラーや、モジラーや♪
515: デフォルトの名無しさん [] 2024/05/05(日) 00:10:30.47 ID:BDRFhWHf(5/10) AAS
種がわれた未来では
構成は簡単だ
しかし本質は
未知に近い
562(1): デフォルトの名無しさん [] 2024/07/23(火) 09:18:20.47 ID:iSDzXJU2(1) AAS
半整数を定義してくれ
626: デフォルトの名無しさん [sage] 2024/11/14(木) 23:41:10.47 ID:ner7v2hh(4/4) AAS
DLはパイソンだが
660: デフォルトの名無しさん [sage] 2024/11/18(月) 12:24:05.47 ID:/ED7ccxy(1) AAS
先行研究を調べるという発想もそのやり方もわからないポンコツなの自覚した方がいいぞ
684: デフォルトの名無しさん [] 2024/11/18(月) 19:51:22.47 ID:uqz705Or(5/8) AAS
>>683683(1): デフォルトの名無しさん [] 2024/11/18(月) 19:47:39.20 ID:cmnYUiAb(6/8) AAS
>>681
verify()の中身。
あと、決め打ちって書いてるでしょ。
その100での具体的な近似値求められないと「厳密」にならない。
なので私からの宿題は100の時の具体的な近似値を求めるコードを示すこと。
二進法で一の位以下に1が101個並んだ数だよ
こんなんプログラミングしなきゃわからんの？
819: デフォルトの名無しさん [sage] 2025/01/13(月) 17:18:23.47 ID:Ymx2LteG(3/3) AAS
岩波講座 ソフトウェア科学 [基礎]1
計算システム入門
著者 所真理雄 著
刊行日 1988/10/06
ソフトウェアの作成は人間的な作業で，信頼性や生産性の点でいまだに手工業の域にある．こうした現状をふまえ，ソフトウェア作成の方法を示すとともに，その理論と知識を整理し，新しい学問体系として提示する
916: デフォルトの名無しさん [] 2025/01/28(火) 06:05:44.47 ID:IzCMkZvk(3/3) AAS
閲覧171人とか174人、179人、180人、184人
／総視聴者数 （配信者の名前やID、誕生日などの語呂合わせ数字）
数字操作の嫌がらせがキモすぎ
925: デフォルトの名無しさん [sage] 2025/02/03(月) 11:27:08.47 ID:WyTS2dKB(1) AAS
お薬のもうね
962(1): デフォルトの名無しさん [sage] 2025/02/08(土) 17:15:11.47 ID:2KjsmU3G(1) AAS
自然数論を含む、というのは選択公理に匹敵する非常に強い仮定だと思えば
何が起きようがあまり違和感はない
その仮定がない場合、たとえば
0 != 1
を肯定も否定もできないとかいうのはありふれた話で全然問題ない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s