九大 システム情報科学府 情報理工学専攻 専門科目(情報系4分野) 2026年度 院試 過去問 解答例・解説(全4問)
全4問の分野は情報4問です。正規表現・形式言語、ソートアルゴリズムが出ています。解説はすべて、途中式と最終答は大問1問ぶんを公開しています。残りは解答PDFに収録しています。問題本文は含みません。
最終更新:
第1問 — 情報理論
定常分布では対称性を先に使う
この問題では、図の形をそのまま連立方程式にするより、1列目と2列目の式が一致することに気づくと短い。特に の後半では を最初に置くことで、エントロピーレートの計算が一行になる。
ハフマン符号は一例でよい
同じ確率の語があるため、ハフマン符号は一意ではない。必要なのは、短い符号語が高確率語に割り当てられ、平均符号長が一致していることを示すことである。
解答
マルコフ情報源
状態を とし、図から読み取れる遷移確率を とおく。定常分布を とすると、1列目と2列目が同じ形なので である。正規化条件と から よって
のとき、状態1,2の条件付きエントロピーは であり、状態3では二つの遷移が なので条件付きエントロピーは bit である。したがって では なので では行分布が で だから
ハフマン符号
である。与えられた近似値を使うと に対しては、例えば とすれば平均符号長は bit である。
の確率は ハフマン併合では とできる。例えば とすれば、平均符号長は であり、1文字あたり bit である。
では確率 の 、確率 の3語、確率 の3語、確率 の がある。ハフマン符号の一例は である。この平均符号長は すなわち1文字あたり bit である。
最終答
定常分布は 。 で bit、 で bit。ハフマン平均長は 、 bit/文字、 bit/文字。
第2問 — オートマトンと言語
操作1は多重集合化
操作1を何度でも使えると、文字列の順序情報は消え、各文字の出現回数だけが残る。この観察で の問題は一気に数え上げ問題になる。
巡回シフトは「切る位置」を探す
では、元の文字列をどこで切るかを探す。 の証明は、式変形だけでなく「回転の始点をどこに置くか」を答案に書くことが重要である。
第3問 — アルゴリズム
道の数の証明は最後の1辺で分解する
隣接行列の累乗を道の数と読む問題では、「最後の中継点 」で和を取る形に落とすと証明が自然になる。連結性の判定では長さを まで見れば十分である点を書き落とさない。
クイックソートの添字は1始まり
問題文の配列は1始まりで書かれている。実装経験から0始まりで答えると、PARTITION の返り値と再帰範囲がずれるので注意する。
第4問 — 計算機アーキテクチャ
NAND段は積和形に直す
NANDだけの回路は、そのまま追うよりド・モルガンで積和形へ直す方が速い。今回の後段は と読める。
FIFOとLRUの差
FIFOは古く入ったブロックを追い出すため、途中で再利用されたブロックも順番が来れば捨てる。LRUは直近利用を反映するので、このアクセス列では後半の再利用を拾える。
年度別の解答例(5年度)
2026年度(このページ・全4問)
情報理論 / オートマトンと言語 / アルゴリズム
情報理論 / オートマトンと言語 / アルゴリズム
情報理論 / オートマトンと言語 / アルゴリズム/プログラミング
情報理論 / オートマトンと言語 / アルゴリズム・プログラミング
情報理論 / オートマトンと言語 / アルゴリズム・プログラミング
2026年度の出題内容
全4問
同じテーマを出した他大学・他年度
2テーマ
前年度(2025年度)との違い
- 大問数
- 2025年度 4問 → 2026年度 4問
九州大学の公式過去問
- 公開年度範囲
- 令和4〜8年度(直近5年)
- 公式の解答例
- 非公開(問題冊子のみ)
- 英語の扱い
- 2027年度は国内TOEIC L&Rのデジタル認定証、TOEFL iBT(ETS送付も必要)、IELTS Academic。一般試験の出願末日から2年以内の受験日。
- 院試hubの最終確認
- 2026-10-15