> > (λx. x x) (λx. x x)
> > 数式があっても計算可能とは限らないしな
> ﾗﾑﾀﾞ算法は複雑になってくるとわけがわからん

(function(x) { return x(x); })(function(x) { return x(x); })
(sub{ $_[0]->($_[0]) })->(sub{ $_[0]->($_[0]) })
JavaScriptとかperlで書くとこんな感じだな

参考：2007/02/12(月)17時23分10秒