ラムダ簡約 lambda2comb
β簡約をクリックで進めて式を最短形に整える
ラムダ計算入門 — 関数適用 (λx.M) N は M の中の x を N に書き換える操作（β簡約）です。
クリックで簡約位置（ハイライト部）を選び、目標の正規形まで導いてください。
変数の衝突が起きたら α変換 で名前を変えます。
ステージ 1/8
ステップ 0
最少 ?
合計手数 0
−
α変換: 束縛変数 を新しい名前に置き換えます:
操作
緑のハイライト部分をクリックすると β簡約 を実行します。複数あれば最も外側の最左を選ぶのが習慣（normal order）。
変数捕獲が起きそうなときは α変換ボタンで束縛変数の名前を変えてください。
横山研連携: lambda2comb プロジェクトでは λ式を SKI 形式に変換します（→ 084参照）。本ゲームはその前段、純粋λ計算の体験です。