>>53
ｘが満たすべき条件という意味で必要条件としての値を求める処理。