bn:00718235n
Noun Concept
Categories: 計算理論, 数理論理学, コンビネータ論理, 不動点, 形式手法
JA
不動点コンビネータ  Yコンビネータ  Yコンビネーター  Zコンビネータ  不動点演算子
JA
不動点コンビネータ(ふどうてんコンビネータ、英: fixed point combinator、不動点結合子、ふどうてんけつごうし)とは、与えられた関数の不動点(のひとつ)を求める高階関数である。 Wikipedia
Definitions
Relations
Sources
JA
不動点コンビネータ(ふどうてんコンビネータ、英: fixed point combinator、不動点結合子、ふどうてんけつごうし)とは、与えられた関数の不動点(のひとつ)を求める高階関数である。 Wikipedia