再帰呼び出し (再)

文字列を順番にみてゆく
「"abc" + 1」 は 「"bc"」 と同じ振舞いをする
どうゆう仕組かは今回は説明しない
次々と 1 を加えれば、どんどん短かくなる
最も短かくなったかは、空文字(「""」)と比較すれば判定できる
再帰呼び出し
普通の関数は、別の関数を呼出す事ができた
自分自身も呼出す事ができる !! : 再帰呼び出し
再帰呼び出しと帰納法
再帰呼び出しは、帰納法の考え方で問題を解く場合に利用できる
再帰呼び出しが上手く行く事は、帰納法で証明できる
再帰呼び出しをする場合は次の二点が重要 ( 帰納法と同じ )
最も小さい場合 ( ここでは、文字列が "" の場合 ) には終了する
そうでない時は、再帰呼び出しするが、その時には文字列を短くする