九工大 知能情報工学 院試 過去問対策｜2年4大問で見る離散数学・オートマトン・Java

九工大の知能情報工学は、問題数だけを見ると軽く見えます。専門科目は離散数学系とプログラミング系の2本です。けれど、実際に手を動かすとすぐ分かります。集合や関係の数え上げで一度迷い、正規言語で止まり、Javaのprivate と staticをなんとなくで書き、最後にソートの表示回数で時間が溶ける。少ない大問ほど、途中のごまかしが残りません。

この記事では、InshiHubで解答化した九州工業大学大学院 情報工学府 知能情報工学の2025年度・2026年度、専門科目4大問をもとに、受験生が過去問を解いた後に何を直すべきかを整理します。公式問題本文、公式図表、公式解答例、出題意図本文は転載しません。ここで扱うのは、解答制作時に見えた「答案の入り方」と「落ちる条件」です。

公式情報で最初に確認すること

2026年5月25日時点で、九州工業大学の大学院情報工学府 過去の入試問題ページでは、2024年度実施分から入試問題、解答例、出題意図が公開されています。同ページでは、知能情報工学の専門科目として、2025年度実施分・2024年度実施分の「06_離散数学系科目群」と「07_プログラミング系科目群」が案内されています。

また、飯塚キャンパスの令和9年度一般選抜における試験科目の詳細では、知能情報工学は離散数学系科目群とプログラミング系科目群から各1問、計2問という構成が案内されています。出願、日程、TOEIC等の扱いは博士前期課程 入学試験案内と募集要項で必ず確認してください。

この記事で見た材料

2年4大問から見える出題の芯

2025・2026年度だけを見ると、範囲は狭く感じます。しかし芯ははっきりしています。離散数学系では「有限で扱えるもの」と「無限の記憶が必要なもの」を分ける力、プログラミング系では「Javaの仕様を知っているだけでなく、実行過程を表にできる力」が問われます。

最初の30分でやるべき選別

本番では、知っている単語から解き始めるのではなく、答案に「最初の一文」を置ける問題から進めます。迷っている時間は答案に残りません。下の表で、着手順を決めてください。

離散数学系科目群の対策

集合・関係・関数は「自由度」を数える

2025年度の離散数学系では、冪集合、直積、二項関係、全域的関数、全射が一気に出ています。ここで必要なのは、公式を暗記することではありません。対称な関係なら非対角成分をペアで見る、反対称なら両方向を同時に入れられない、全射なら全て同じ値に落ちる関数を除く。どの選択が自由で、どこに制約があるかを言葉にします。

参考書は、離散数学の「集合」「関係」「写像」「包除原理」の章を使います。演習では、答えを出す前に「選択単位」を1行で書く練習をしてください。九工大の答案では、数字だけの正解より、自由度の数え方が読める答案の方が強いです。

正規言語は有限記憶か無限記憶かで切る

2025年度では正規言語の判定、2026年度ではDFAの構成と非正規性証明が出ています。剰余や偶奇は有限個の状態で記憶できます。一方、コピー、個数差そのもの、任意長の対応は有限状態では持てません。この直観を、DFAなら状態定義へ、非正規性ならMyhill-Nerodeや反例構成へ変換します。

オートマトンの参考書では、「DFA/NFA」「正規言語の閉包性」「Myhill-Nerode」「ポンピング補題」の章を戻します。特に2026年度型の問題では、状態図だけでは弱く、状態が何を表すか、なぜ最小状態数になるか、どの接尾語で区別するかまで書きます。

プログラミング系科目群の対策

Java/OOPは言葉を仕様として書く

2025・2026年度のプログラミング系では、Javaのアクセス修飾子、抽象メソッド、継承、コンストラクタ、static、オーバーロードが出ています。ここは「知っているか」だけではなく、なぜその修飾子なのかを短く説明できるかが勝負です。

Java入門書や講義資料では、「クラス」「フィールド」「コンストラクタ」「アクセス制御」「継承」「抽象クラス」「メソッドのオーバーロード」の章を使います。たとえばcountは全インスタンスで共有するから static、学生番号やGPAは個体ごとの値だからインスタンス変数、実数入力を拒むセッターは代入しない、というように、仕様を1行で添える練習をします。

アルゴリズムは最終結果より途中表

2025年度では選択ソート型の表示と非再帰クイックソート、2026年度では交換ソートの計算量と中央値計算が出ています。ソート問題では、最終配列だけを見ていても点になりません。外側ループの何回目か、ピボットをどこに置いたか、表示が分割前か分割後かを追う必要があります。

アルゴリズムの参考書では、「基本整列」「クイックソート」「スタック」「計算量」「配列トレース」の章を使います。演習では、手元の配列を横に書き、比較、交換、表示のタイミングを別行に残してください。本番で一番苦しいのは、コードを読めないことではなく、読んだ結果を答案に残す時間が足りなくなることです。

参考書は買い足す前に章を絞る

九工大知能情報工学の対策で、参考書を広げすぎると逆に進みません。新しい本を何冊も積むより、次の章を2週間で潰す方が効きます。

4週間の演習計画

時間がない受験生ほど、年度をすぐ消費しないでください。過去問は少ないので、1回目は診断、2回目は答案修正、3回目は時間制限で使います。

1. 1週目：集合・関係・関数、Javaのクラス/修飾子を戻す。毎日、定義を1行で書いてから小問を解く。
2. 2週目：DFA、正規言語、Myhill-Nerode、ソートのトレースを練習する。状態表と配列表を必ず残す。
3. 3週目：2025年度を時間を測って解く。公式解答例とInshiHub解答で、答えではなく答案の入り方を照合する。
4. 4週目：2026年度を本番形式で解く。解けなかった小問を分野別に戻し、最後にもう一度4大問を通す。

自己採点チェックリスト

• 集合・関係の問題で、自由に選べる単位を答案に書いたか。
• 関係の性質判定で、同値変形か反例を残したか。
• DFAで、各状態が何を表すかを説明したか。
• 非正規性証明で、無限個の語、同じ同値類の2語、接尾語、矛盾を順に書いたか。
• Javaの修飾子で、なぜ private、static、abstractなのかを説明できるか。
• オーバーロードで、戻り値型ではなく仮引数リストが違うことを確認したか。
• ソート問題で、表示のタイミングと途中配列を残したか。
• 計算量で、最悪と最良を混ぜていないか。

後回しにしてよいこと

最初から高度なAI、機械学習、研究室別の専門論文へ行く必要はありません。知能情報という名前に引っ張られて、深層学習や最新モデルの勉強に時間を使いすぎると、目の前の筆記で落とします。少なくとも2025・2026年度の専門科目を見る限り、筆記の入口は離散数学、オートマトン、Java、整列です。

もちろん研究室選びや面接準備では、興味ある分野を語れることが必要です。ただし、筆記対策の最初の2週間は、研究テーマより答案の骨格です。点になる基礎を先に固めてください。

公式問題からInshiHub解答への使い方

まず公式過去問ページから該当年度の06・07を開き、問題本文を見ながら自分の答案を作ります。解けなかった小問も空欄のままにせず、「どの定義が出なかったか」「どの表を作れなかったか」をメモします。その後で、InshiHubの解答パックを使って、最終値、証明の流れ、Javaコード、ソートの途中状態を照合します。

対応する解答パックは九州工業大学 情報工学府 知能情報工学 専門科目 解答・解説PDFです。答えを眺めるためではなく、自分の答案が「採点者に読める形」になっているかを確認するために使ってください。

九工大 院試 の他専攻ガイド

九州工業大学 情報工学府は専攻別に専門科目が分かれます。知能情報工学で身につけた「アルゴリズム・確率の宣言」は、情報・通信基礎の数学、情報・通信工学の信号、物理情報工学の物理でも同じ骨格として効きます。下記の同大学他専攻ガイドも合わせて読むと、九工大 院試 全体の科目選択判断ができます。

• 九工大 情報・通信基礎 院試 過去問対策
• 九工大 情報・通信工学 院試 過去問対策
• 九工大 知的システム工学 院試 過去問対策
• 九工大 物理情報工学 院試 過去問対策