学習概念を数える一階述語論理で定義可能なものについて

数え上げを伴う一階述語論理で定義可能な分類器は、多項式時間内に一貫して学習可能。