プログラミングの背景：数論：

http://www.tbasic.org/reference/numbertheory/index.html

「記号と準備（2017年06月版）」を更新しました。

• 「記号と準備（2014年06月版）」の更新版です。

  　更新内容は，
  数学的帰納法1,2の同値性の証明の追加，基本的素数判定の方法，
  素数の無限性の証明の追加。証明での文体を「である調」に変更。
  です。

  　現在まとめている「構造化プログラミング」での説明に必要な部分の追加です。
  構造化プログラミングの理解に数学的帰納法は重要な役割を果たします。このことから，数学的帰納法についての少しの追加と，素数表を作る例での素数判定のための予備知識の追加です。