2012-12-06 世界を読み解くリテラシーゼミナール lect 記号と計算.帰納的関数.ラムダ計算. 帰納的関数と原始帰納的関数を分けるのが while 文. while f(x,y)>0 do y:=y+1; print y