検証方法論

計算式が置かれている場所

計算レイヤーはこのウェブサイトの中には書かれていない。汎用的な工学計算式はすべて formulab というオープンソースの TypeScript ライブラリにあり、このサイトはその薄いラッパーである。この分離は意図的だ — 式を提示する画面とは無関係に、式そのものを読み、試験し、反証できる必要があるからである。formulab は現在 206 個の関数を提供し、208 個のテストファイルにまたがる 3,131 件の自動テストが、このサイトが固定しているバージョンですべて通過している。

ここでいう「規格と照合して検証した」の意味

しばしば混同される二つを区別する。引用とは、その式がどの規格に由来するかを示すことである。検証とは、誰かが実際にその規格の原文を入手し、実装された数値を一行ずつ照合したという意味である。全ツールで規格引用は 460 件あり、そのうち 61 件が現在 formulab ソース内の機械検査可能な出典注釈で裏付けられている。残りの引用は文脈と参考文献であって、検証の証拠ではない。すべての引用が検証済みであるかのように示唆せずこの比率を公開するのは、まさにその区別こそが方法論を公開する目的だからである。

• ISO 7243:2017 — WBGT 熱ストレス基準値。5 段階の作業強度クラス全件を原文と照合
• ISO 7870-2:2023 — X-bar/R 管理図定数。表の 5 セルが ±0.001 相違することを発見し訂正
• ISO 7870-3 — 受入管理図。規格の演習例から式を逆検証
• ISO 7870-4:2011 — CUSUM 管理図
• ISO 7870-5 — 移動平均／移動範囲管理図。規格の生データ表からゴールデン値を直接再計算
• ISO 4000-1 — タイヤ荷重指数および速度記号の表

変更ごとに走る検査

自動化されていない検証は劣化する。以下の検査は継続的インテグレーションで実行され、失敗するとリリースを止める。これにより、式が自ら根拠として掲げた出典から静かに乖離することができない。

• 規格自体に印刷された演習例をそのまま再現するゴールデンテスト
• ハードコードされた係数表を公表された出典と照合する定数表検査
• 本文に示されたすべての演習例の算術検査（9 ロケール全件）
• ページの本文と、そのページが実際に評価している式との整合性検査
• しきい値が正確に一箇所にのみ存在し、自分自身と矛盾できないようにする検査

重いツールを支えるソルバーエンジン

最適化・スケジューリング・統計・実験計画のツールも、アルゴリズムをここで再実装してはいない。WebAssembly にコンパイルされ、利用者のブラウザ上で実行されるオープンソースエンジンを呼び出している。

• u-numflow — 数学・統計・確率のプリミティブ
• u-analytics — SPC 管理図、工程能力、ワイブル信頼性、仮説検定
• u-insight — クラスタリング、異常検知、主成分分析、回帰、データプロファイリング
• u-metaheur — 遺伝的アルゴリズム、焼きなまし法、ALNS、制約プログラミング
• u-geometry — 多角形演算、衝突検出、ミンコフスキー和、空間インデックス
• u-nesting — 2D 多角形ネスティングおよび 3D ビンパッキング
• u-routing — 配送経路最適化（TSP、CVRP、VRPTW）
• u-schedule — ジョブショップスケジューリング
• u-doe — 要因計画・RSM・タグチ計画、分散分析、検出力分析

主張しないこと

これらはスクリーニングと概算のためのツールである。該当する規格、有資格の技術者、あるいは実測を代替するものではない。とくに安全に関わる結果 — 熱ストレス、アークフラッシュ、墜落時のクリアランス、荷重限界 — は判断の出発点であって判断そのものではない。手元の規格と食い違う数値を見つけたら知らせてほしい。原文と照合して確認する: [email protected]。