계산이론 주요문제