久しぶりの定時上がり。それでもだるさで一杯一杯。うーん。 早く寝る。

昨日のYコンビネータを考えてるときに気がついたことをメモ。 準備として、不動点演算子とは、任意の関数fに対して Y(f) == f(Y(f))を満たすYのこと*1。 *1:たぶん