連続な区分線形ベクトル場から生成されるPoincare写像の精度保証とその応用