2010-02-17から1日間の記事一覧
ということで,Java を勉強し直すということにして,チャーチ数を書いてみた. 色々納得がいってないので後で書き直す. interface F { public Integer proc(Integer x); } abstract class Church { abstract public F proc(F f); public static Church ZERO…
ということで,Java を勉強し直すということにして,チャーチ数を書いてみた. 色々納得がいってないので後で書き直す. interface F { public Integer proc(Integer x); } abstract class Church { abstract public F proc(F f); public static Church ZERO…