記号と計算．帰納的関数．ラムダ計算． 帰納的関数と原始帰納的関数を分けるのが while 文． while f(x,y)>0 do y:=y+1; print y
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
