令和7年度 基本情報技術者試験 科目B 問3の解説｜スタックの push と pop

令和7年度 科目B 公開問題 問3擬似言語・配列・スタック最終更新 2026-09-04

令和7年度の科目B、その3問目です。スタックという言葉が出てきますが、この問題で使うのは問題文の1文だけ ── stackPos は「次に値を格納する位置」を示す、という1文です。空欄は2つありますが、この1文から両方とも決まります。

出題

まず原文のまま読んでみてください。記号の読み方は次の節にまとめてありますので、読めなくてもここでは問題ありません。

大域: 整数型: stackPos ← 3
大域: 整数型の配列: stack ← {4, 3, 未定義の値, 未定義の値}

○論理型: push(整数型: inputData)
  if (stackPos ≦ stackの要素数)
    stack[a] ← inputData
    stackPos ← stackPos ＋ 1
    return true
  else
    return false
  endif

○整数型: pop()
  整数型: popData ← 未定義の値
  if (stackPos ＞ 1)
    stackPos ← b
    popData ← stack[stackPos]
    stack[stackPos] ← 未定義の値
  endif
  return popData

この問題に出てくる記号と言葉

読めない記号があったときだけ開いてください。先に全部読む必要はありません。

使うのは、問題文の1文だけ

スタックという言葉に身構えなくて大丈夫です。この問題を解くのに要るのは、問題文のこの1文だけです。

初期状態の図を見ると、stackPos は 3 を指していて、3番は網掛け（未定義）です。まだ入っていない場所を指している ── 「次に入れる位置」という定義のとおりです。

指しているのが空の枡だ、というところが効きます。3番から先はまだ空で、値が入っているのは stackPos より手前だけです。書くのは stackPos が指す枡、読めるのはその手前。あとはこれを式にするだけです。

初期状態から、1つ入れて1つ出す

言葉だけだと手ざわりが無いので、実際に動かします。入れるところと、出すところを1回ずつ見ます。

コードの中で、a は「どこに書くか」、b は「どこを読むか」

2つの関数に注釈を付けて見ます。空欄はどちらも「配列の何番を指すか」です。

※ 右側の注釈は当サイトで書き加えたものです。プログラム自体は原文のまま引用しています。

空欄に入るものを決める

空欄 a ── 書くのは「次に入れる位置」そのもの

決めるのは、push のこの行です。

〔プログラム〕push の抜粋

  if (stackPos ≦ stackの要素数)
    stack[a] ← inputData
    stackPos ← stackPos ＋ 1

※ 上の〔プログラム〕からの抜粋です（1字も変えていません）。

stackPos の定義が「次に値を格納する位置」でした。push がやりたいのはまさにそこへ格納することなので、そのまま使えます。書いたあとの stackPos ← stackPos ＋ 1 が「次に入れる位置を1つ進める」にあたります。

1つ手前（stackPos － 1）に書くと、どうなるか。空いている枡ではなく、すでに値が入っている枡に書くことになります。

空欄 b ── 読むのは「1つ手前」

stackPos が指しているのはまだ空の枡で、その先もずっと空でした。だから stackPos から先を読んでも 未定義の値しか出てきません。pop が読める枡は、stackPos より手前だけです。

決めるのは、pop のこの行です。

〔プログラム〕pop の抜粋

  if (stackPos ＞ 1)
    stackPos ← b
    popData ← stack[stackPos]

※ 上の〔プログラム〕からの抜粋です（1字も変えていません）。

先に位置を決めてから、その次の行で stack[stackPos] を読みます。つまり b の式が読む場所そのものです。手前でいちばん近いのは 1つ手前なので、1 を引きます。

ここで初めて解答群を見る

書いた式は a が stackPos、b が stackPos － 1。解答群でこの組合せは イ ひとつだけです。

答え合わせ ── 入れて動かすと、最後に入れた値が返る

空欄に イ を入れて、初期状態から push(9) → pop() と動かします。見るのは stack と stackPos、そして pop が返す値です。

ほかの3つは、ア・ウ（b が stackPos ＋ 1）が空きの側を読みます ── 初期状態で pop() すると、値ではなく未定義の値が返ります。エ（a が stackPos － 1）は push(9) が 2番の 3 を上書きしてしまいます。

同じ考え方で解く練習問題

位置の変数が何を指しているかを読み直すのが手順でした。次は、その変数が指すものが本問と違う形です。

○論理型: push2(整数型: inputData)
  if (topPos ＜ stackの要素数)
    stack[［　　］] ← inputData
    topPos ← topPos ＋ 1
    return true
  else
    return false
  endif

「配列＋位置の変数」の問題を見分ける

配列と、位置を表す変数が1つセットで出てきたら、この形です。スタック・キュー・待ち行列と名前は変わりますが、読むところは同じ ── その変数が何を指しているかの1文だけです。読み方は、上の「本番の手順」の3つで足ります。

この問題の解答群は4つとも「stackPos か、その ±1」でした。1つずれるかどうかしか違わないので、見比べても決まりません。定義の1文に戻るのが、いちばん速い道です。

次に読む