関数の再帰的定義 ここではある形の関数の再帰的定義について考えます。 に対して を と定義します。、 とおきます。、 とおくと は を満たす最小の集合となります。 に対して と定義します。 とおくと が成り立つので、自然数の性質より となります。計算可…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。