数学の神は全ての微分方程式を解析的に解いてくれるのか?