反射α
出題されるラムダ式を瞬時に簡約する反射神経クイズ
問 0/15
正解 0
ペナルティ 0
スコア 0
最高 —
十級
反射α 段位試験
15問のβ簡約・α変換・η変換クイズに即答せよ。
制限時間内なら満点、過ぎるごとにペナルティ。
操作 / Controls
3つの選択肢から正解をクリック/タップ。各問7秒。3秒以内なら高スコア。
問題種別: β(関数適用) / α(変数名変更同値性) / η(λx.f x → f)。
累計スコアで段位昇格: 十級 → 一級 → 初段 → 五段 → 名人。