ついでに

d.y.d. - 意味論＠型無しに一ヶ月以上経った後に一応反応。fixを読んだあとでは、fix2のx(x)はそれほどきもくないです。二番目のxは何らかの形でコードされているのだと思えば、不完全性定理の証明でも出てきたようなものになりますし。…でもfix2を真面目に読んで解釈する気力は出てきませんでした……。だめジャン。