計算できるかできないかという問題は有理数時間で解けるか否かってところに落ち着くと思うんだけど、どうですか?