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

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