回数は和

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