Entries from 2011-05-27 to 1 day
上限を適当に決めて,サイズがそれ以下の lambda term の個数はいくつになるか計算してみました。本当に項の個数を数えると変数の名前を変えるだけでいくらでもできるので,自由変数として使える変数の個数を制限します。この条件は都合のいいように設定した…
上限を適当に決めて,サイズがそれ以下の lambda term の個数はいくつになるか計算してみました。本当に項の個数を数えると変数の名前を変えるだけでいくらでもできるので,自由変数として使える変数の個数を制限します。この条件は都合のいいように設定した…