>>50のことなんぞどうでもいいことだが
微分方程式の解としての定義は解析性を意識してないなんて言わせねーぞ