ski。

ski。

yコンビネータが境界条件のない量化である。しかし、二重の量化がない。