<aside class="msg message"><span class="msg-symbol">!</span><div class="msg-content">
<p data-line="1" class="code-line">この記事は <a href="https://adventar.org/calendars/10903" target="_blank" rel="nofollow noopener noreferrer">1人 ECMAScript Normative Changes Advent Calendar 2024</a> の 14 日目です。</p>
</div></aside>
<h1 id="%E6%95%B0%E5%80%A4%E8%A8%88%E7%AE%97%E7%B2%BE%E5%BA%A6%E3%81%AE%E6%89%B1%E3%81%84" data-line="4" class="code-line">
<a class="header-anchor-link" href="#%E6%95%B0%E5%80%A4%E8%A8%88%E7%AE%97%E7%B2%BE%E5%BA%A6%E3%81%AE%E6%89%B1%E3%81%84" aria-hidden="true"></a> 数値計算精度の扱い</h1>
<p data-line="6" class="code-line">ECMAScript の数値計算の精度を表す言葉に <a href="https://tc39.es/ecma262/multipage/overview.html#implementation-approximated" target="_blank" rel="nofollow noopener noreferrer">implementation-approximated</a> があります。これはなるべく正確な計算結果であるべきだが、仕様ではその正確さを保証しないことを表します。</p>
<p data-line="8" class="code-line">多くの <code>Math</code> 函数が implementation-approximated となっています。詳しくは uhyo さんの記事が参考になります。</p>
<p data-line="10" class="code-line"><span class="embed-block zenn-embedded zenn-embedded-card"><iframe id="zenn-embedded__3c821190b0c6c" src="https://embed.zenn.studio/card#zenn-embedded__3c821190b0c6c" data-content="https%3A%2F%2Fzenn.dev%2Fuhyo%2Farticles%2Fjavascript-math-accuracy" frameborder="0" scrolling="no" loading="lazy"></iframe></span><a href="https://zenn.dev/uhyo/articles/javascript-math-accuracy" style="display:none" target="_blank">https://zenn.dev/uhyo/articles/javascript-math-accuracy</a></p>
<p data-line="12" class="code-line">2014年に仕様で数値計算誤差を大きくても 1 ULP (Unit in the Last Place) に抑えようと調査されましたが結局実現出来ませんでした。その後2015年に <a href="https://ens-lyon.hal.science/ensl-01529804/document" target="_blank" rel="nofollow noopener noreferrer">CR-LIBM</a> ライブラリを使うことでなんとか出来ないかと再度フォローアップ調査されましたが、これも実現出来ませんでした。</p>
<p data-line="14" class="code-line"><span class="embed-block zenn-embedded zenn-embedded-card"><iframe id="zenn-embedded__9234f8bce8c5e" src="https://embed.zenn.studio/card#zenn-embedded__9234f8bce8c5e" data-content="https%3A%2F%2Fgithub.com%2Ftc39%2Fecma262%2Fissues%2F3347%23issuecomment-2161705091" frameborder="0" scrolling="no" loading="lazy"></iframe></span><a href="https://github.com/tc39/ecma262/issues/3347#issuecomment-2161705091" style="display:none" target="_blank" rel="nofollow noopener noreferrer">https://github.com/tc39/ecma262/issues/3347#issuecomment-2161705091</a></p>
<p data-line="16" class="code-line">現在の仕様ではフリーで配布されている <a href="http://www.netlib.org/fdlibm" target="_blank" rel="nofollow noopener noreferrer">fdlibm</a> アルゴリズムを使うことが推奨されていますが、強制力はなくあくまで実装者に委ねている状態です。</p>
<p data-line="18" class="code-line"><span class="embed-block zenn-embedded zenn-embedded-card"><iframe id="zenn-embedded__b67af4319894c" src="https://embed.zenn.studio/card#zenn-embedded__b67af4319894c" data-content="https%3A%2F%2Ftc39.es%2Fecma262%2Fmultipage%2Fnumbers-and-dates.html%23sec-function-properties-of-the-math-object" frameborder="0" scrolling="no" loading="lazy"></iframe></span><a href="https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-function-properties-of-the-math-object" style="display:none" target="_blank" rel="nofollow noopener noreferrer">https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-function-properties-of-the-math-object</a></p>
<h1 id="math.sqrt-%E7%B2%BE%E5%BA%A6%E3%81%AE%E6%AD%A3%E7%A2%BA%E3%81%95%E4%BF%9D%E8%A8%BC" data-line="20" class="code-line">
<a class="header-anchor-link" href="#math.sqrt-%E7%B2%BE%E5%BA%A6%E3%81%AE%E6%AD%A3%E7%A2%BA%E3%81%95%E4%BF%9D%E8%A8%BC" aria-hidden="true"></a> <code>Math.sqrt</code> 精度の正確さ保証</h1>
<p data-line="22" class="code-line">今日ではブラウザに実装されている JavaScript エンジンには全て WebAssembly が実装されており、その中に <code>f64.sqrt</code> 命令が入っています。また浮動小数点数の仕様である <a href="https://ieeexplore.ieee.org/document/8766229" target="_blank" rel="nofollow noopener noreferrer">IEEE 754-2019</a> に <code>squareRoot</code> 命令について記載されており、どのエンジンも仕様に準拠するために正確な結果を返すようになっています。というわけで2024年7月に <code>Math.sqrt</code> については implementation-approximated を辞め、精度の正確さを保証する変更が承認されました。</p>
<p data-line="24" class="code-line"><span class="embed-block zenn-embedded zenn-embedded-card"><iframe id="zenn-embedded__9328096ecc2fd" src="https://embed.zenn.studio/card#zenn-embedded__9328096ecc2fd" data-content="https%3A%2F%2Fgithub.com%2Ftc39%2Fecma262%2Fpull%2F3345" frameborder="0" scrolling="no" loading="lazy"></iframe></span><a href="https://github.com/tc39/ecma262/pull/3345" style="display:none" target="_blank" rel="nofollow noopener noreferrer">https://github.com/tc39/ecma262/pull/3345</a></p>


ENCA 14日目: Math.sqrt 精度の正確さ保証

Discussion