複雑性を計算可能にする