＞dは記事の設定では100個の列ラベルから100個の決定番号への関数で

それは関数にはなりませんね

ｄ（ｓ）は関数になります
ｒ（ｓ）が関数だからです

つまり任意の無限列ｓに対して必ずｒは決まっているのです
ｒが決まっているなら、ｓとｒを比較してどこから同じになるかも当然決まります

でも引数が列番号だったら値は決まりません　
それは関数ではないですね