ラムダ計算とかやってもプログラミングの役に立たないよね