ワニの卵：ラムダ計算を教えるゲーム

2007年、ブレット・ビクターは「ワニの卵」というパズルゲームを作成しました。これは、ラムダ計算の抽象的な概念を巧みにゲームメカニクスに翻訳したものです。空腹のワニはラムダ抽象を表し、年老いたワニは括弧、卵は変数を表します。ワニが他のワニの家族を食べる過程はベータ簡約に対応し、色のルールはアルファ変換に対応し、年老いたワニの死亡ルールは括弧の除去に対応します。プレイヤーは一連のパズルを解くことで、ベータ簡約やアルファ変換などのラムダ計算の中核概念を徐々に理解していきます。このゲームは、子供たちがラムダ計算を学ぶための楽しい方法を提供するだけでなく、ラムダ計算の理解と計算のための直感的なツールも提供します。