不動点コンビネータ

ウィキペディア

不動点コンビネータ

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/12/27 00:35 UTC 版)

不動点コンビネータ（ふどうてんコンビネータ、英: fixed point combinator、不動点結合子、ふどうてんけつごうし）とは、与えられた関数の不動点（のひとつ）を求める高階関数である。不動点演算子（ふどうてんえんざんし、英: fixed-point operator）、パラドキシカル結合子（英: paradoxical combinator）などとも呼ばれる。ここで関数 $f$ の不動点とは、$f(x)=x$ を満たすような $x$ のことをいう。