解法条件バグ