多倍長演算を用いた高精度な精度保証付き数値計算に基づく制御系設計

摘要

本稿では精度保証付き数値計算と多倍長演算を組み合わせることで可能となる高品質な数値計算の現状と今後について概説する．また，高品質な数倍計算を制御系設計に適用する例を紹介する．まず，高品質な数値計算を実現する計算手法である精度保証付き数値計算と多倍長演算の原理や歴史，ツールを紹介する．そして，精度保証付き数値計算と多倍長演算を組み合わせた高品質な数値計算を紹介する．また，これらの計算手法を制御系設計に適用する例を具体的な数値例とともに紹介する．最後に，今後の展望について述べる．