大学でlisp処理系を作らされる学生の数、それがlispの仕様の数である