疑似言語と科目B読解

基本の仕組み

s ← 0として、iを1から3まで1ずつ増やしながらs ← s＋iを実行すると、sは1、3、6と変わります。更新前と更新後を分けた表を作ると、何が累積されたか分かります。

条件分岐は条件を評価した時点の値で進む先が決まり、反復では終了条件を再評価します。配列の走査では、添字（要素番号）がどこからどこまで動くかを先に確認します。

科目Bの問題文では「配列の要素番号は1から始まる」と注記されるのが通例です。一般的なプログラミング言語の0始まりと混同すると、参照する要素が一つずれます。また、ループの外で初期化する変数と毎回初期化する変数では結果が変わります。

科目Bの追跡手順

IPAの擬似言語の記述形式では、代入を「変数名 ← 式」、剰余算をmodで書きます。選択はif〜elseif〜else〜endifで、条件式を上から評価し、最初に真になった処理だけを実行します。値が格納されていない状態は「未定義」と呼びます。

繰返しのwhileは前判定で、条件が最初から偽なら一度も実行しません。do〜whileは後判定で、処理を必ず1回は実行します。forは制御記述（例：iを1からnまで1ずつ増やす）に従って繰り返します。

演算子の優先順位は、単項のnot・＋・−が最も高く、乗除（mod・×・÷）、加減、関係演算子（≠・≦・＝など）、and、orの順に低くなります。「a or b and c」は「a or (b and c)」と読みます。

読解では、変数の型、要素番号の開始、引数と戻り値を問題文で確認します。分岐の真偽と反復の各回で変わる値を表にし、境界値と終了条件を追います。最大値を判定する条件なら、候補が他の全ての値以上であることを確かめる必要があります。