▲「お兄ちゃん、最近『ABC 緑 diff を攻略する』っていうスライドを見たんだけど、要求される数学の知識に $\bmod$ 関連の知識が載ってるんだよね」 ■「ああ、最近は $\bmod$ 逆元を使う問題も緑あたりの難易度になるんだね」 ▲「で、このスライド、必要って言っときながら説明しないんだよねー」 ■「そうなんだ。実装は言語によるから、各自で調べてってことなのかな」 ▲「だから、教えて?」 ■「それはいいんだけど、そもそもどこまで知ってるの?」 mod の定義 ▲「$\bmod$ っていうのは、割った余りの話だよね」 ■「うん。整数を正整数で割ったときの余りを考える話だね」 ▲「で、“$a$ と $b$ をそれぞれ $M$ で割った余りが一致する” っていうのを、こんなふうに書くんだよね。“合同式” っていう名前があって、『$a$ と $b$ は $M$ を法として合同』って言っ