2010-01-24から1日間の記事一覧

買った本

バガボンド(32) (モーニング KC) ソフトタッチ・オペレーション (講談社文庫) 変調二人羽織 (光文社文庫)

Factorial in Lazy K その 2

Lazy K で階乗を計算するのに 1324 byte で充分とか笑っちゃいますよね。改行抜きで 1192 byte で書けるのに。あと、チャーチ数を使えば階乗の計算自体には Y コンビネータ使う必要なんてないですし、センスないですよ。 S(S(K(SII(S(K(S(K(S(S(KS)(S(KK)(S(…