計算可能になる