[過去ログ] スレタイ 箱入り無数目を語る部屋20 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
247(2): 2024/07/14(日)19:48 ID:Yu3lnXEZ(38/48) AAS
>>243
結局、どこでどう定義されているがごとく使ってるか答えられないんだね
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
663: 2024/08/09(金)01:49 ID:V9ypj/Tg(1/2) AAS
>>247
えーほんとに意味あるからな
要するに
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.033s