full abstraction
https://keigoi.hatenadiary.org/entry/20091027/1256639073
ラムダ計算
π計算