日々の流転

λ. Ruby-CPL (仮称)

Reduction rule (のLAZY版)をいい加減に実装してみた所、R-NAT (right object の natural transformation に関する規則)を除いて簡単に実装できた。つうか、R-NATややこしすぎ。

R-NATが無いので「pi1.pair(f,g) => f」のような簡約すら出来ないのだけど、「pr(succ.zero,succ.succ).succ.succ.zero => succ.succ.succ.succ.succ.zero」は実行できた。「pr(succ.zero,succ.succ)」は「f(0)=1」「f(n+1)=f(n)+2」を満たすユニークなの関数(つまり「f(x)=2x+1」)を、「succ.succ.zero」は定数の「2」を表わしているので、いわば「f(2) => 5」という計算が実行できた事になる。

λ. 読書

『仙術師は熱愛される—恋愛中毒的仙術師』

川添 真理子 [画], 甲斐 透 [原作]

λ. 明日

が早いので今日はもう寝ます。