http://d.hatena.ne.jp/m-hiyama/20090221/1235192629 ： バイナリ関数コードφ∈NNが与えられると、f(x) = E(φ, x) としてfを再現できます。このことは、N→N という関数とNNのデータの間に1：1の対応があることを意味します。ただし、この1：1対応に関しては…

イータ変換までやるかな、それと、大きなラムダの基本概念とか - 檜山正幸のキマイラ飼育記 メモ編 時間が余ったらイータ変換とか、それは無理だ。やってみて分かったな。イータ変換ってば、関数の外延性（つうか、形式理論のなかの等号を外延的に解釈できる…