2008-02-01から1日間の記事一覧

λ計算で世界征服

この発想はなかった! http://d.hatena.ne.jp/gomi-box/20080201/1201836625サイトウサン抽象を計算機プログラムに変換すると、つまりこういうことか。 征服されないケース (define サイトウサン (lambda (x) (x x))) (サイトウサン サイトウサン) これだと…