[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
567(1): 2024/06/26(水)08:03 ID:54wgC/GB(1) AAS
>>563
＞「中身を見ること」の定義は何？
∀ｘ∃ｙ・・・で、ｘが違えば、ｙに違いが生じる場合、ｙを求めるのにｘの中身を見る必要がある
ここでｘ∈Ｓ＾Ｎとする場合、Ｓ＾Ｎに属する無限列は無限個の項を持つが
そのうち任意有限個の項が違ったとしても、ｘが属する尻尾同値類の代表ｙに変化は生じない
当てるべき箱１つを開けまいが、ｙは求まるので、ｘをカンニングする必要が全くない
だからといって、∃ｙ∀ｘとできるかと言えば、それは無理
あくまでｘ∈Ｓ＾Ｎの中の任意有限個の項に依存しないのであって、
ｘ∈Ｓ＾Ｎに全く依存しないわけではない
したがってｘの尻尾（任意有限長の頭を切った残り）を知る必要がある
当てるべき箱は切り落とした頭のほうにあるから、知る必要はない
そして運が良ければ代表から、切り落とした頭のいくらかは「復元」できる
ここでいう運が良い場合は、元の無限列の決定番号が、尻尾の先頭位置より小さい場合
上下前次1-新書関写板覧索設栞歴
あと 435 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s