サバイバー数式
迫りくる数式群を自動攻撃で撃退、レベルアップで定理を獲得
TIME 00:00
HP 10/10
LV 1
XP 0/30
KILLS 0
LEVEL UP — choose theorem
η-expansion
OPERATION
マウスを動かしてプレイヤーを誘導。武器は自動発射。レベルアップで定理（高階関数）を 1 つ選ぶ。30 分生存でクリア。R でリスタート。
武器は λx.x（恒等射）から始まり、map / fold / fix など高階関数を獲得して撃退範囲を広げる。