競プロ:形式的冪級数メモ