ラムダ計算
http://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf
ラムダ計算は
チューリング完全
$ \lambda x.e
（ラムダ抽象）
(x) => e
$ \lambda x.(\lambda y.x)
(x) => (y => x)
左結合