>>961
不動点コンピネータYの満たすべき条件は
関数f:A→Aの全体A^AからAへの関数であって
f(Y(f))=Y(f)となることつまりY(f)がfの不動点を表すこと