連続力学系のコネクティングオービットの精度保証付き数値解析法(数値計算における品質保証とその応用 : 感度解析から証明まで)