2017-02-25から1日間の記事一覧

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

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