微分方程式y"+y'=yを解くときって
yの定義域が実数全体であることが前提となってるんですか?