帰納 に関する記事一覧

ループ処理を作るとき、インクリメントされていく 0 以上の整数を使った処理が常に「真」になるか？それを数式で証明することはできますか？今回、0 以上のすべての整数についての主張を作ることができる証明方法「数学的帰納法」について解説します。