SKIパズル lambda2comb
S・K・Iコンビネータだけで指定の関数を組み立てる
SKI コンビネータ — 任意の λ式は S, K, I 三つの基本コンビネータで表せます。
S = λxyz. xz(yz), K = λxy. x, I = λx. x。
キャンバスにコンビネータと変数をドラッグして、左結合で式を組み立て、簡約結果が目標と一致すればクリア。
ステージ 1/12
使用ノード 0
最少 ?
クリア 0
−
−
クリック順に左結合で式を構築。例: S→K→K で
((SK)K) = I 相当。コンビネータ
S
K
I
引数変数
構造
(
)
⌫
操作
パレットのコンビネータをタップ／クリックでキャンバス右端に追加。⌫ で末尾削除。
「簡約して試す」で SKI 簡約を全段展開し、目標と β=η 等価かを判定します。
横山研連携: lambda2comb は λ式 → SKI を Curry 訳で実装。本ゲームはその逆問題（SKI で λ式を組み立てる）。