上で言ってるコード化って、どういう意味で言ってんだろ
ここ数レスのところ脳内にある数学的対象に対して、何らかの集合を表す式を割り当てることに使ってない？