ちゃんと理解していない人が大半だと思っています。あるいは、法が素数の場合に過学習して、法が合成数になった途端に不安になる人も多いでしょう*1。 競プロ er の三大得意分野として「計算量削減」「mod なんとかの数え上げ」「なんか」があるはずなのに、big-O 記法や mod の性質やなんか*2に関して適当な理解をしている人が多いように見受けられるのはやや残念なところです。 水色から青程度であってもちゃんとやっていない人が多い気がします。AtCoder Beginner Contest においてパターンマッチで問題を解くマシーンになる上では必要ない(身につかない)部分かもしれないので仕方がない…