미분방정식 대수적 연산 규칙