17/05/26 14:49:04.62 2aamonDi.net
>>561
＞記事のネタは、「無限数列のしっぽで同値類分類する方法」ってところ
「ネタ」ではなく（手品の）「タネ」でしょうね
実数列ではなく0-1列だとすれば「差が有限小数」という
同値関係を入れたということになりますね
測度論で非可測集合を作る場合も「差が有理数」という
同値関係で実数を類別しますからね
「無限数列の尻尾」を取り払えば、代表元をとる操作は、
（0-1列の場合）有限小数を選ぶ操作になります
実際もとの無限列と代表元の差をとれば有限小数が得られますから
有限小数だからあるところから先の桁は０になりますよね？
記事の手法では、「桁の中身があてられるか」という問いが
「有限小数のどこから先の桁が０になるかを予測できるか」に
還元されたことになります
（そのことが妥当かどうかは判断のしようがありませんが）