再帰関数の設計手法
1. はじめに
再帰は、関数型言語のみならず、あらゆるプログラミングパラダイムにおいて極めて重要な概念である。本稿では、数学的帰納法との関連性を踏まえながら、再帰関数の設計手法について体系的解説していく。
2. 再帰と数学的帰納法
2.1 数学的帰納法の原理
数学的帰納法は、自然数に関する命題を証明するための手法である。その原理は以下の2つのステップから ...
6月22日 22:05 投稿
奇想天外なアイデアがコードで現実になる場所
6月22日 22:05 投稿