線性ode定義