変数 分離 微分 方程式オオナナフシ夏色天使hal