九大 システム情報科学府 情報理工学専攻 専門科目(情報系4分野) 2025年度 院試 過去問 解答例・解説(全4問)
全4問の分野は情報4問です。解説はすべて、途中式と最終答は大問1問ぶんを公開しています。残りは解答PDFに収録しています。問題本文は含みません。
最終更新:
第1問 — 情報理論
対称通信路は一様入力を見る
この通信路は0と1が対称で、出力2への確率も両入力で同じである。そのため容量計算では、出力0と1を均等にする入力分布が自然に候補になる。
新記号の混合は二段階エントロピー
は「新記号を出すかどうか」というベルヌーイ選択と、出さない場合の の値に分解できる。ここを直接和で展開すると計算が長くなる。
解答
通信路
入力 、出力 の通信路で、遷移行列は である。入力分布を とすると まず である。 のエントロピーは、固定された の下で のとき最大となる。よって である。ただし の退化場合は、任意の で となる。
通信路容量は は入力に依らず であり、最大の は で達成される。したがって
エントロピーの分解
が と独立で、 のときだけ新しい記号 を出す。したがって よって自然対数単位で ただし である。固定された の下で微分すると したがって最大値を与える
最終答
。 最大は通常 。容量は 。後半は 、最大化する は 。
第2問 — オートマトンと言語
スターフリーは「禁止部分文字列」で表す
禁止部分文字列を含まない言語は、 の形にできる。問題文の定義では を と見ればよい。
交換操作は2カウンタになる
操作3が入ると順序情報が消え、二つの独立な個数一致条件が残る。この二重一致が文脈自由性を壊す。
第3問 — アルゴリズム
ヒープは添字で親を確認する
見た目ではなく、 で親を確定してから比較する。0始まりの配列なので、ここを1始まりに読み替えると誤る。
探索距離は等差級数か等比級数か
Algorithm 1 は折り返し距離が線形なので累積距離が二次になる。Algorithm 2 は倍々に伸びるので、直前までの総和が最後の距離と同じオーダーに収まる。
第4問 — 計算機アーキテクチャ
ドントケアを利用する
表に現れない の入力は、どちらの値を置いても外部出力に影響しない。最簡形ではこのドントケアを積極的に使う。
WB同一サイクル読み出しの意味
WBで書いた値を同じサイクルのIDで読めるため、隣接依存では2個の nop で足りる。3個入れる答案は過大である。
年度別の解答例(5年度)
情報理論 / オートマトンと言語 / アルゴリズム
2025年度(このページ・全4問)
情報理論 / オートマトンと言語 / アルゴリズム
情報理論 / オートマトンと言語 / アルゴリズム/プログラミング
情報理論 / オートマトンと言語 / アルゴリズム・プログラミング
情報理論 / オートマトンと言語 / アルゴリズム・プログラミング
2025年度の出題内容
全4問
前年度(2024年度)との違い
- 大問数
- 2024年度 4問 → 2025年度 4問
九州大学の公式過去問
- 公開年度範囲
- 令和4〜8年度(直近5年)
- 公式の解答例
- 非公開(問題冊子のみ)
- 英語の扱い
- 2027年度は国内TOEIC L&Rのデジタル認定証、TOEFL iBT(ETS送付も必要)、IELTS Academic。一般試験の出願末日から2年以内の受験日。
- 院試hubの最終確認
- 2026-10-15