結果 : initial value problem unique solution