改めて学ぶ satisfies 演算子