計算可能レベルだってwell-defineかどうか容易にはわからない物もたくさんある