トランプ・チャーチ数
Successor / Predecessor / Identity を組み合わせ、自然数をラムダ関数として組み立てよ。
SCORE0
BEST0
DECK0
STACK0/8
ターゲット自然数: 3
山札を完全還元すると勝利
DROP CARDS HERE — TOP IS APPLIED FIRST
·
λf.λx. x
HAND 0 cards
STACK top → bottom
操作
カードをドラッグまたはクリックして関数スタックに積む（タッチもOK）。β簡約ボタンで上から順に n = f^n(x) を計算する。
カードの種類: SUC = 後者 (λn.λf.λx. f (n f x))、PRE = 前者、ID = 恒等。スタック上限は8（オーバー時失敗）。Y Lab tieup: チャーチ数でラムダ計算による自然数の表現と関数合成を直接体験。