λ式タイプ
ラムダ式を一文字ずつ正確に入力し簡約まで決める
ラムダ計算 は計算の最小モデル。
λx.x (恒等)、(λx.M) N → M[x:=N] (β簡約) という単純規則だけで全計算を表現できる。
本ゲームでは ラムダ式を 正確にタイピングし、続いて 正規形まで簡約 を選択する。誤入力は赤く表示され、Backspace でロールバック (可逆思想)。\ は λ の代用として使える。
Question
1/8
Time
60s
Score
0
Acc
100%
Miss
0
Step
入力
お題
スタートを押してください
解答数
0
正規形到達
0
タイプ精度
—
操作
キーボードで一文字ずつ入力。\ は自動的に λ に変換される。誤入力時は Backspace で巻き戻して再入力。
入力完了後、提示される簡約候補から正しい1ステップβ簡約を選ぶ。正規形 (これ以上簡約できない形) に到達するまで続ける。
勝利条件: 8問中 6問以上で正規形到達かつ全体タイプ精度 80% 以上。