ポリモーフィズム（プログラミング）

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

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

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

オブジェクト指向プログラミングにおける抽象化とは、複雑な実装の詳細を隠蔽し、オブジェクトの本質的な機能のみを示す概念です。オブジェクトがどのように動作するかではなく、何をするかに焦点を当てます。これは、完全な実装を提供せずに他のクラスの設計図を定義する抽象クラスとインターフェースによって実現され、複雑なシステムを簡素化します。

品質管理の7つの基本ツールとは、石川馨氏が品質関連の問題のトラブルシューティングのために考案した一連の図解手法です。これらのツールは、特性要因図（フィッシュボーン図）、チェックシート、管理図、ヒストグラム、パレート図、散布図、および層別化（フローチャートとして表現されることが多い）です。これらは使い方が簡単で、統計学の専門的な訓練をほとんど必要としないため、「基本」ツールとされています。

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

Gコード（正式名称はRS-274）は、CNC工作機械を制御するための最も一般的なプログラミング言語です。これは、機械の位置決め、速度、および特定の動作を指示する一連のコマンドで構成されています。コマンドは文字アドレスで始まり、「G」は動作の準備コマンド（例：直線送りのG01）を、「M」はその他の機能（例：スピンドル始動のM03）を示します。

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

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

リスク優先度番号（RPN）は、FMEAにおいてリスクの優先順位付けに使用される定量的な指標です。これは、重大度（S）、発生頻度（O）、検出可能性（D）という3つの要素の積として算出されます。計算式は[latex]RPN = S × O × D[/latex]です。各要素は通常1から10までの尺度で評価され、チームはスコアの高いリスクから優先的に対応することができます。

リアルタイムシステムは、期限を過ぎた場合の影響に基づいて「ハード」または「ソフト」に分類されます。ハードリアルタイムシステムでは、期限を過ぎるとシステム全体が停止します。例えば、アンチロックブレーキシステムなどがこれに該当します。ソフトリアルタイムシステムでは、期限を過ぎるとパフォーマンスが低下しますが、壊滅的な障害には至りません。例えば、ライブオーディオ・ビデオストリーミングなどがこれに該当します。