チューリング次数
Recursively enumerable Turing degree