>>786
ラムダ計算とか再帰関数とかってやつですか?