Yコンビネータ

再帰関数がラムダ計算で記述可能であることを証明する際に用いる関数
名前からして何だかよくわからないし、式を見てもやっぱり何だかわけがわからないので、理論計算機科学分野以外の人を煙に巻く時に使えます