Mathematicaで微分を解く際に、初期条件が必要となる
理由を教えてください