2013-03-20から1日間の記事一覧
ラムダ計算に魅了されたあやぴーが、ラムダ計算でプログラミングしてみる。 今回の目標は「1+2=3」をラムダ計算で計算することです。 準備:ラムダ計算とは? 「函数の函数による函数のための計算」とか言ってると、「ぽい」のかもしれないです。 1930年頃に…
ラムダ計算に魅了されたあやぴーが、ラムダ計算でプログラミングしてみる。 今回の目標は「1+2=3」をラムダ計算で計算することです。 準備:ラムダ計算とは? 「函数の函数による函数のための計算」とか言ってると、「ぽい」のかもしれないです。 1930年頃に…