読者です 読者をやめる 読者になる 読者になる

ラムダ計算で整数(負の数)を扱う

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

ラムダ計算のpredを理解する

チャーチ数に対する前者関数predは、足し算や掛け算などの他の関数に比べ、理解がしにくく作るのが難しいように思われる。 この記事は、pred を理解することを目的とする。 定義 ラムダ計算では自然数は以下のように表現することができ、これをチャーチ数と…