計算不可能性を設計する