形式的べき級数Fの形式微分を下記のように定義する F=∑n=0∞fnxn F′=∑n=1∞nfnxn−1=∑n=0∞(n+1)fn+1xn Leibniz則(FG)′=F′G+FG′などが成り立つ 多項式・形式的べき級数(3)線形漸化式と形式的べき級数 | maspyのHP