>>730
尻尾同値類の代表を決めれば
作った数列にこれを足し合わせることで
[0,1]^N/〜の切断全部に「フォーカス」できるね