方程式型関数
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/08/25 09:42 UTC 版)
「FP (プログラミング言語)」の記事における「方程式型関数」の解説
関数形式により原始的関数から構築されているものに加え、関数はある方程式により再帰的に定義されることもできる。もっとも単純なものは次のものである。 f ≡ Ef ここで Ef は、関数形式を用いて、原始的関数、他の定義済関数および関数記号 f それ自身から構築された1個の式である。
※この「方程式型関数」の解説は、「FP (プログラミング言語)」の解説の一部です。
「方程式型関数」を含む「FP (プログラミング言語)」の記事については、「FP (プログラミング言語)」の概要を参照ください。
- 方程式型関数のページへのリンク