はじめの一歩

「はじめの一歩」という奴は、

(Y はじめの一歩)

と表すことが出来る。つまり、

(Y はじめの一歩) = (はじめの一歩 (Y はじめの一歩))

である。切っても切っても「はじめの一歩」が出てくる。


しかし、はじめの一歩を踏み出さなければ、次の一歩はない。


トイレに書いてあるだろ。「一歩前へ」って。


Fixed point combinator - Wikipedia, the free encyclopedia