[過去ログ] スレタイ 箱入り無数目を語る部屋20 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
248
(3): 2024/07/14(日)19:50 ID:kVsGbxWL(2/8) AAS
>>247
至る所にあるだろ目が腐ってるんじゃねーのか

定理3:決定番号関数の存在
∃d:R^N→N.∀s∈R^N,n∈N.n≧d(s)⇒s(n)=***f***(s)(n)

証明
定理2よりs~***f***(s)であるからsと***f***(s)はある項から先が一致する。そのうち最小の項番号をd(s)とすればよい。

定理4:箱入り無数目
省12
250
(1): 2024/07/14(日)19:55 ID:Yu3lnXEZ(40/48) AAS
>>248
fが書かれてたら定義されているがごとく使ってることになるのか?
おまえの頭はダチョウか?
251: 2024/07/14(日)19:57 ID:Yu3lnXEZ(41/48) AAS
>>248
>>225が理解できないバカに数学は無理だから諦めなさい
266
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/07/14(日)23:09 ID:BJLc2ubv(8/8) AAS
>>248
(引用開始)
定理4の系
定理4においてi∈{1,...,100}をランダム選択したときP(si(Di)=f(si)(Di))≧99/100。
証明
定理4より|{i∈{1,...,100}|si(Di)=f(si)(Di)}|≧99。
(引用終り)
省7
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.039s