えびちゃんの日記

えびちゃん(競プロ)の日記です。

2023-05-29から1日間の記事一覧

形式的冪級数に関する一階常微分方程式を解く

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