不動点コンビネータ
(不動点演算子 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/12/27 00:35 UTC 版)
不動点コンビネータ(ふどうてんコンビネータ、英: fixed point combinator、不動点結合子、ふどうてんけつごうし)とは、与えられた関数の不動点(のひとつ)を求める高階関数である。不動点演算子(ふどうてんえんざんし、英: fixed-point operator)、パラドキシカル結合子(英: paradoxical combinator)などとも呼ばれる。ここで関数 の不動点とは、 を満たすような のことをいう。
- 不動点コンビネータのページへのリンク