最近話題の形式的冪級数 (FPS) です。最近と言いつつ 4 年くらい前から流行り始めていた気がします。当時は「母関数」と呼んでいる人が多かった気がします。 今回は、FPS で考察をしていて「$\frac{\dd}{\dd x}y = f(y)$ なる FPS $y(x)$ に対して $y(x)\bmo…

何らかの順序を持った型 T: Ord があって、それに関する何らかの（多重）集合の中央値を求めるライブラリを作りたいとします。 たとえば単に配列 a: [T] の中から中央値を探すだけだったり、a: [T], b: [T] から a[i] + b[j] として考えられるものの中央値 (…

カテゴリー機能を使っていなかったので、使うと便利なのでは？と思いました。圏論とは関係がないかもしれません。

ちゃんと理解していない人が大半だと思っています。あるいは、法が素数の場合に過学習して、法が合成数になった途端に不安になる人も多いでしょう*1。 競プロ er の三大得意分野として「計算量削減」「mod なんとかの数え上げ」「なんか」があるはずなのに、…

もしかすると全人類知っていたかもしれません。 $\gdef\lpf{\operatorname{lpf}}$ $\gdef\ord{\operatorname{ord}}$ 導入 前計算 高速化 実装 おまけ Euler の totient 関数 約数列挙 おわり 導入 以下、整数 $i$ の最小素因数 (least prime factor; LPF) を…