ページ置き換えを整える。

＝メモリが足りないとき、どれを追い出すかを比べる

ページ参照列（空白かカンマで区切る・0〜99・40個まで）ページ枠の数

枠の中身と、ページフォールトの印

方式を選ぶと、参照するたびに枠がどう変わるかが表で出ます。●がページフォールト（枠に無かった）です。

4つの方式を並べて比べる

枠を増やすとフォールトは減る？（Belady の異常）

同じ参照列で、枠の数を1〜7に変えたときのフォールト回数です。前より増えたところに印をつけます。

「Belady の例」のボタンを押すと、FIFO では枠3で9回、枠4で10回と、枠を増やしたのにフォールトが増えます。LRU と OPT は、枠を増やしても増えません（スタックアルゴリズムと呼ばれる性質）。

数え方と、4つの方式の決まり

主記憶（メモリ）に載せられるページの数には限りがあります。必要なページが載っていない（ページフォールト）とき、補助記憶から読み込み、枠が満杯なら載っているどれかを追い出します。誰を追い出すかの決め方が、ページ置き換えアルゴリズムです。

FIFO：枠に入った順が最も古いページを追い出す。
LRU：最後に使われた時刻が最も古いページを追い出す。
LFU：参照回数が最も少ないページを追い出す（同数なら先に入ったほう）。
OPT（最適）：この先いちばん長く使われないページを追い出す（将来が分かる理想形）。

このページの約束

最初に枠が空いている間の読み込みも、ページフォールトとして数えます（試験の典型的な数え方）。
追い出したページの枠に、そのまま新しいページを入れます（枠の位置は動かしません）。
LFU は、枠に入ってからの参照回数で比べ、同数なら先に入ったほうを追い出します。追い出されると回数は 0 に戻ります。OPT で候補が同じ（どれも二度と使われない）ときも、先に入ったほうです。
LFU の同数の決め方（先に入ったほうか、最後に使われたのが古いほうか）は、教材や問題によって違います。問題文の指定があればそれに従ってください。

試験での出方と実務での意味

基本情報技術者試験では、参照列と枠の数を示して、FIFO や LRU でのフォールトの回数や、ある時点の枠の中身を問う形が典型です。OPT は先の参照を知っている必要があり、実際の OS では作れません。他の方式がどこまで理想に近いかを測る物差しとして使います。実際の OS は LRU に近い近似を使い、フォールトが続いてメモリと補助記憶の出し入ればかりになる状態（スラッシング）を避けるように作られています。

出典・時点：IPA「基本情報技術者試験」の仮想記憶（ページング方式・ページ置換えアルゴリズム）の範囲に沿った一般的な定義と、OS 教科書の定番例（参照列 7 0 1 2 0 3 0 4 2 3 0 3 2 1 2 0 1 7 0 1・枠3で FIFO 15 回・LRU 12 回・OPT 9 回）による。2026年11月時点。シラバスの正確な項目名は IPA の最新版で確認してください。