2017-02-28から1日間の記事一覧
ラムダ計算において、自然数を扱う方法はよく知られている。 一方で、整数や負の数を扱う方法については、あまり知られていないように思われる。 そこで、ラムダ計算において整数を扱う方法を1から考えてみた。 この記事では、ラムダ計算とチャーチ数の知識…
ラムダ計算において、自然数を扱う方法はよく知られている。 一方で、整数や負の数を扱う方法については、あまり知られていないように思われる。 そこで、ラムダ計算において整数を扱う方法を1から考えてみた。 この記事では、ラムダ計算とチャーチ数の知識…