ラムダ計算
また、ラムダ計算で記述される再帰関数やマルコフアルゴリズムで計算できる関数も同じである。