チューリング次数を再帰的に上げたところ以外は評価できるということでいいのか?
以外のところも評価できないとなるとBIG FOOTもLittle Bigeddonもゴミということに