積分因子法と数値検証