GNU libc の atanh が完全に正しく丸められる

GNU libcのatanhが完全に正しく丸められるという発表は、数値計算における重要なマイルストーンです。atanhは逆双曲正接関数で、科学技術計算や工学分野で広く使用される基本的な数学関数です。

従来の標準数学ライブラリは、計算結果の誤差が約1 ULP（最後のビットの単位）以内という精度を目指していましたが、完全に正しく丸められるということは、理論上の無限精度の結果を浮動小数点形式で表現する際に、最も近い値になるということを意味しており、これは数値計算の精度において理想的な状態です。単精度浮動小数点数の場合、全入力値は約40億個に限定されるため徹底的なテストが可能ですが、倍精度の場合は入力値が膨大で完全な網羅的テストは現実的ではありません。

現在の主要プロジェクトとして、標準数学ライブラリ関数を段階的に完全に正しく丸められる仕様へ移行する取り組みが行われており、GNU libcのこの実現は数値計算の信頼性と正確性を向上させる重要な進歩となります。