$#{x\in X | P(x) } = \sum_{x\in X} [P(x)]$ where P: predicate 「条件を満たすものの数を数える」は「条件を満たすなら1、満たさないなら0」の総和を取る処理 足し算の順序の変更 数式でのif ABC172D