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