APシステム開発技術 · 設計

ジャクソン法

Jackson Structured Programming

じゃくそんほう

M.A.ジャクソンが提唱したプログラムの設計手法。入力と出力のデータ構造を、順次（連接）・選択・繰返しの要素からなる木構造の図で表し、両者を対応させてプログラムの構造を導く。データの構造に着目する手法で、ワーニエ法と並んで代表的。

共有:

Past Exams

過去問での出題

過去問で 2 回出題（システムアーキテクト試験 2）

出典: 独立行政法人情報処理推進機構（IPA）の過去問題。問題文は IPA のサイトの PDF で確認できます。「選択肢」は、問題文ではなく選択肢に出たものです。用語名で照合しているため、関係の薄い問題が含まれることがあります。

J.D.ワーニエが提唱したプログラムの設計手法。入力データの構造を、データの集合と、その要素が何回・どの条件で現れるかに着目して階層的に分析し、それに沿ってプログラムの処理の構造を導く。データの構造に着目する手法で、ジャクソン法と並んで代表的。

演算子をオペランドの後に置く数式の表記法（後置記法）。括弧が不要でスタックを用いて容易に評価でき、コンパイラの中間コード生成や電卓の実装に利用される。例：「3 4 + 5 *」は(3+4)*5を表す。

同一型のデータを連続したメモリ領域に格納するデータ構造。インデックスによるO(1)のランダムアクセスが可能。静的配列はサイズ固定、動的配列は必要に応じてサイズを変更できる。多次元配列で行列などを表現。

各要素がデータとポインタ（次の要素への参照）を持つデータ構造。単方向リスト、双方向リスト、環状リストがある。挿入・削除がO(1)で可能だが、ランダムアクセスにはO(n)必要。メモリの動的確保に適する。

LIFO（Last In First Out）方式でデータの出し入れを行うデータ構造。プッシュ（追加）とポップ（取出し）の2つの操作を持つ。関数呼出しの管理、式の評価、Undo機能の実装などに利用される。

FIFO（First In First Out）方式でデータの出し入れを行うデータ構造。エンキュー（追加）とデキュー（取出し）の操作を持つ。タスクスケジューリング、バッファ管理、幅優先探索に利用される。優先度付きキューでは優先度の高い要素から取り出す。