微分方程式の爆発解の精度保証付き数値計算：ケーススタディ --- 指数関数非線型項を持つ場合