Gコード：標準的なCNCプログラミング言語

補間とは、CNCコントローラ内で、プログラムされた終点間の滑らかな経路を作成するために、一連の中間座標点を生成する計算処理のことです。最も基本的なタイプは、直線用の線形補間（G01）と円弧用の円弧補間（G02/G03）です。これにより、Gコードプログラムの単純な幾何学的コマンドから複雑な形状を加工することが可能になります。

TMR（トリプルモジュラー冗長）は、同一のモジュール3つを並列に動作させることで、ハードウェアの耐障害性を実現する技術です。これらのモジュールの出力は多数決回路に入力されます。1つのモジュールが故障して誤った出力を生成した場合でも、他の2つのモジュールに基づいて正しい出力を判定できるため、故障を隠蔽し、継続的な動作を保証します。

マルコフ連鎖モンテカルロ法（MCMC法）は、確率分布からサンプリングを行うアルゴリズムの一種です。まず、目的とする分布を平衡分布または定常分布とするマルコフ連鎖を構築します。そして、多数のステップを経た後の連鎖の状態を、目的とする分布からのサンプルとして使用し、積分や期待値の計算を行います。

自動定理証明（ATP）は、コンピュータプログラムを用いて数学の定理を証明することに特化した、コンピュータ科学と数理論理学の一分野です。ATPシステム、すなわち証明器は、論理的推論を用いて、一連の公理と仮説から新しい定理を導き出します。これらは、より多くの人間の介入を必要とする証明支援システムとは異なりますが、両分野は大きく重なり合っています。

検証手法は大きく静的検証と動的検証に分類されます。静的検証（または静的解析）は、システムを実行せずにコードや設計を検証します。例としては、コードレビュー、検査、自動静的解析ツールなどがあります。動的検証（またはテスト）は、一連の入力を用いてシステムを実行し、その動作を観察して欠陥を発見します。どちらも包括的な品質保証のために相互補完的な役割を果たします。

信頼性関数 R(t) は、システムまたはコンポーネントが指定された時間 t の間、故障することなく要求された機能を実行する確率を定義します。故障率が一定のシステム (λ) の場合、R(t) は指数分布で表されます。[latex]R(t) = e^{-lambda t}[/latex]。この関数は、製品の寿命と性能を予測する上で不可欠です。

モンテカルロ法の典型的な例として、[latex]pi[/latex] の値を推定することが挙げられます。半径 [latex]r[/latex] の円を一辺の長さ [latex]2r[/latex] の正方形に内接させると、面積比は [latex]frac{pi r^2}{(2r)^2} = frac{pi}{4}[/latex] となります。正方形内に点をランダムに配置し、円の内側に入る点の割合 [latex]p[/latex] を数えると、[latex]pi approx 4p[/latex] という推定値が得られます。

1952年にグレース・ホッパーによって開発されたA-0システムは、最初のコンパイラとして広く認識されています。これは、数学的記法で指定された一連のサブルーチンと引数を機械語に変換しました。これは、低レベルのアセンブリ言語からより高レベルで抽象的なプログラミング言語への移行における基礎的なステップであり、手作業によるコード変換という面倒なプロセスを自動化しました。

シューハート管理図上の非ランダムなパターンを検出するための4つの判定ルール。これらのルールは、3シグマ限界を超える点が一つもない場合でも、プロセスが管理外であることを示します。これらのルールは、異常な連続、傾向、またはデータ点の集中を特定し、特別な変動原因の存在を示唆します。これにより、管理図の感度が向上します。

カテゴリ変数（通常は二値変数）の回帰モデル。結果を直接モデル化する代わりに、ロジスティック（シグモイド）関数を使用して結果の確率をモデル化します。このモデルは、イベントの対数オッズを独立変数の線形結合として予測します。[latex]ln(frac{p}{1-p}) = beta_0 + beta_1 x_1 + dots + beta_p x_p[/latex]、ここで p はイベントの確率です。

メトロポリス・ヘイスティングス法は、直接サンプリングが困難な確率分布からランダムサンプルの系列を取得するための、代表的なMCMC法です。各反復において、現在のサンプルに基づいて次のサンプルの候補を生成します。この候補は一定の確率で採択または棄却され、結果として得られる連鎖が目的の分布に収束することが保証されます。