2003-10-23 計算モデル論 生活 今日は、前に英語で説明されたところ(帰納的関数)の復習と、ラムダ計算と帰納的関数の結びについての講義。ラムダ計算で後者関数[s(x)=x+1]を定義すると、[S≡λnfx.f(nfx)]になる。なんて分かりにくいんだぁ〜。