再帰（さいき）は、あるものについて記述する際に、記述しているものそれ自身への参照が、その記述中にあらわれることをいう。定義において、再帰があらわれているものを再帰的定義という。主に英語のrecursionとその派生語の訳にあてられる。他にrecurrenceの訳（回帰#物理学及び再帰性を参照のこと）や、reflexiveの訳（再帰代名詞、再帰動詞。また、社会学で、対象に対する言及がその対象自体に影響を与えること（））として「再帰」が使われることがある。数学的帰納法との原理的な共通性から、recursionの訳として数学では「帰納」を使うことがある。再帰呼出し（さいきよびだし、英 recursive call）は、プログラミング技法の一つである。手続きや関数といった概念をもつプログラミング言語では、ある手続き中で再びその手続き自身を呼び出すことを認める場合が多い。これを再帰呼出しといい、階乗計算やフィボナッチ数列のように、本来再帰的な構造をもつアルゴリズム（再帰的アルゴリズム）を記述するのに適している。再帰呼出しが許されない言語もある（戻りアドレスを固定の場所に記録しているなど。かなり昔のFORTRANなどではそういう実装もあった）。また、引数やローカル変数が無いため効果的に再帰呼出しを利用できない言語（クラシックなBASIC等）では、配列を利用してスタックを実装し、それを使って再帰的な処理を実現する。複数の手続き／関数が互いに相手を呼ぶ場合も、広い意味での再帰呼出し（相互再帰）である。Pascal での例：処理を中断・終了する条件（下の例では引数 n の値が 0 である場合）が必ず一つは必要で、その部分が誤っていると、無限に関数を呼び出し続けることがある（→暴走）。再帰呼出しが正常に機能するためには、手続きがリエントラントである必要がある。ここでは、階乗計算を例にとって各言語の再帰呼び出しのパターンを紹介する。C言語での例：JavaScript (ECMAScript) での例：Lispでの例：VBAでの例：Pascalでの例；Prologでの例;

出典:wikipedia