악어 알: 람다 계산을 가르치는 게임
2025-01-20
2007년, 브렛 빅터는 추상적인 람다 계산 개념을 재미있는 게임 메커니즘으로 번역한 '악어 알'이라는 퍼즐 게임을 만들었습니다. 배고픈 악어는 람다 추상을, 늙은 악어는 괄호를, 알은 변수를 나타냅니다. 악어가 다른 악어 가족을 먹는 과정은 베타 환원에 해당하고, 색깔 규칙은 알파 변환에 해당하며, 늙은 악어의 죽음 규칙은 괄호 제거에 해당합니다. 플레이어는 일련의 퍼즐을 풀면서 베타 환원과 알파 변환과 같은 람다 계산의 핵심 개념을 점진적으로 이해하게 됩니다. 이 게임은 아이들이 람다 계산을 배우는 재미있는 방법을 제공할 뿐만 아니라, 람다 계산을 이해하고 계산하기 위한 직관적인 도구도 제공합니다.
게임
게임화 학습