>>92

>> １．x=0のときに、Bobのf(x)が分ってから、f(x)と有限個のみ違うg(x)を作る
>> ２．g(x)から、有限個のみ違うf’(x)を作る。これを代表とする
>
>f(x)が分かってから、ではありませんけど？

分かり易く、お話風に書いただけのことで、数学的には同じこと
つまり、それ全ての関数を、事前に同値類に、全て分類するということだが・・

Bobのf(x)が、どの同値類に属するかを判定するためには、Bobのf(x)について無限個（正確には連続無限）のf(x)の値を知る必要がある
それは、どの同値類に属するかを判定する前だろ

だったらさ、Bobのf(x)について無限個（正確には連続無限）のf(x)の値を知って、
それから知ったf(x)について、同値類g(x)たちを作って、代表f’(x)を決めれば数学的には全く同じことだよ！！（＾＾