前回(2020/05/29)の復習

前回(2020/05/29)の内容
再帰的定義と数学的帰納法
再帰的に定義された関数の性質は、数学的帰納法で証明しやすい
数学的帰納法を利用した証明から、再帰的に定義された関数が定義できる
一進数
1 を n 個数並べて、自然数 n を表現する数の表現方法