初期値問題と存在定理