区間演算は、あいまいさや不正確さを含む実数値を単一の数ではなく閉区間 [a, b] で表す数値計算の枠組みです。各区間は、真の値であるが未確定かもしれない値を含むものとして解釈されます。演算や関数は拡張され、各結果もまた、入力区間ごとに1つずつ値を選んだときに生じうるすべての結果を、証明可能な形で含む区間になります。この包含性により、区間演算は信頼できる誤差境界の算出、丸め誤差やモデリング誤差の自動検出、科学計算における解の保証付き包含の生成に役立ちます。区間が使われる計算環境の背景については、計算用算術の資料も参照できます。
基本演算と性質
基本演算は、結果が端点のあらゆる組み合わせを覆うように定義されます。たとえば加算は [a,b]+[c,d] = [a+c, b+d]、減算は [a,b]-[c,d] = [a-d, b-c] です。乗算と除算では複数の端点同士の積を調べる必要があり、特に除算では割る側の区間に0が含まれる場合に追加の注意が必要です。実装では通常、方向付き丸め（外向き丸め）を用い、浮動小数点の端点を調整して、丸めがあっても包含が保証されるようにします。入門書ではしばしば単純な例として [1,2] + [3,4] = [4,6] が示されます。区間関数は、これらの演算を組み合わせるか、ある関数の区間上での値域を求めることで構成されます。標準的な構成の1つが自然区間拡張であり、式の引数を区間に置き換え、区間演算で評価します。
表現と拡張
区間演算にはいくつかの形があります。古典的な実区間のほか、アフィン形式やモーダル区間は、過大評価を抑え、量どうしの依存関係をよりよく捉えようとする、より豊かな表現の例です。区間行列や区間連立一次方程式は、この考え方を線形代数へ拡張したものです。ソフトウェアライブラリは、こうした概念を多くのプログラミング言語向けに実装しており、通常は基本的な区間型、初等関数、さらに根探索や大域最適化のアルゴリズムを提供します。ライブラリや実装戦略の入門としては、区間のドキュメントや、誤差解析の解説のような実践的なガイドが参考になります。
応用と例
区間演算は、保証された境界が必要な場面で広く使われます。典型的な応用には、検証付き数値計算（計算量に対して数学的に厳密な誤差境界を与える）、測定の不確かさの伝播（各測定区間が計器誤差を表す）、ロバスト制御や数値アルゴリズムの検証、大域最適化（区間を使って最小値や根を包含する）が含まれます。単純な利用例としては、不確かな入力が与えられたときの関数値の境界を計算することや、ある領域に根が存在しないことを確認することが挙げられます。実際の事例やサンプルコードについては、実例集と、実践ガイドの実装ノートを参照してください。
限界と特筆すべき点
強みがある一方で、区間演算には限界もあります。依存性問題により過大評価が生じ、式の中で同じ変数を何度も使うと、不要に広い区間が得られることがあります。たとえば x=[1,2] に対して x-x を評価すると、厳密には {0} ですが、[1-2,2-1] = [-1,1] となります。この問題は、代数的な式変形、領域分割、またはアフィン算術の利用などの手法で軽減できます。もう1つの実用上の懸念は性能です。保証された包含を得るには保守的な丸めが必要で、場合によっては追加計算も必要になるため、通常の浮動小数点演算より遅くなることがあります。
歴史と実務上の考慮
区間法の現代的な体系的研究は20世紀半ばの数値解析にさかのぼり、R. E. Moore らの研究によって理論的基礎とアルゴリズムがさらに整備されました。今日では、区間技術は検証付き計算の中核的な道具となり、多くの科学・工学ツールキットに組み込まれています。区間演算を採用する際には、厳密な境界が必要であることと、計算コストの増加や過度に保守的な結果の可能性とのバランスを取る必要があります。さらに読み進めたい場合や権威ある概説を探す場合は、さらなる参考文献を参照してください。
- 要点: 不確かさを区間で表し、計算を通して伝播させることで、証明済みの境界を保ちます。
- 実践のコツ: 式を変形し、領域を分割して過大評価を減らします。
- 注意: 0を含む区間による除算は未定義であり、特別な扱いが必要です。