条件式の厳密化