どうやら、Yコンビネータという名前はあんまり一般的な名前ではなく、不動点コンビネータやら、不動点オペレータというのが一般的な名前らしい。鉄は熱いうちに打てって言葉があるので、勢いで行く事にする。英語だけど、Fixed point combinator - Wikipedia…

「はじめの一歩」という奴は、 (Y はじめの一歩) と表すことが出来る。つまり、 (Y はじめの一歩) = (はじめの一歩 (Y はじめの一歩)) である。切っても切っても「はじめの一歩」が出てくる。 しかし、はじめの一歩を踏み出さなければ、次の一歩はない。 ト…