『応用数理』チュートリアル 「精度保証付き数値計算」