静岡大 総合科学技術研究科 情報学専攻 情報科学 2022年度 院試 過去問 解答例・解説(全5問)
全5問の分野は数学1問です。テイラー展開、ラグランジュの未定乗数法、最尤推定などが出ています。2021年度と共通するテーマは動的計画法です。解説はすべて、途中式と最終答は大問1問ぶんを公開しています。残りは解答PDFに収録しています。問題本文は含みません。
最終更新:
第1問 — 数学・数理系
採点観点
平面の角度では、平面上の点ではなく法線ベクトルを使うことを明記する。連立一次方程式では、行基本変形の途中式を残し、最後に元の3式へ代入して確認できる形にする。
勾配は各変数で偏微分するだけだが、 の第1成分で を落としやすい。 マクローリン展開では、 は ではなく を代入しているため、奇数次の項が現れない。
典型ミス
で絶対値を付け忘れると、平面の鋭角としての角度と合わない場合がある。本問では内積が正なので値は変わらないが、答案には平面の角をどう定義したかを書いておくと安全である。
問3では、内側の極限と外側の極限の順序を入れ替えてはいけない。先に を取ることで、 が かどうかだけが残る。無理数の場合に「 は整数でない」と書くことが、 を保証する要点である。
確認
連立一次方程式の解を代入すると すべて成り立つので、掃き出しの計算結果と整合している。
解答
問1:平面の角度
2つの平面の法線ベクトルを とおく。平面のなす角は法線ベクトルのなす角で求めればよいので、 したがって
問1:連立一次方程式
拡大係数行列に対して掃き出しを行う。 よって 。第2行から であるから 第1行に戻して
問2:勾配
問2:マクローリン展開
幾何級数、対数関数、正接関数の標準展開を用いる。 まで書くという指定では、 の 係数は である。
問3:有理数判定型の関数
固定した に対して とおく。もし ならば である。一方、 ならば偶数乗は に収束するので である。
と既約分数で表す。 ならば だから したがって となり、十分大きい では常に である。よって
次に とする。このとき任意の整数 について も無理数であり、整数にはならない。したがって で、各 について である。よって
最終答
、連立方程式の解は 。勾配と展開は本文の式の通り。 最後の関数は で 、 で である。
第2問 — ソフトウェア系
採点観点
GMMでは、単純に全データの平均と分散を書くのではなく、各成分への所属の度合い で重み付けする点が中心である。導出式では、責任度、、平均、共分散、重み制約の関係がつながっていれば十分に説明できている。
音声認識の説明では、Forwardは全経路の和、Viterbiは最良経路の最大値、ベイズ式では音響モデルが 、言語モデルが を与える、と対応を明示することが重要である。
典型ミス
Viterbi計算では、出力確率を掛けるタイミングを抜かしやすい。また、終端状態への遷移を含めるかどうかで最後の数値が変わる。図に終端状態がある場合は、完全な経路確率として終端遷移まで掛けるのが自然である。
スタックの実装では、 を「現在の最上段」ではなく「次に入れる添字」として解釈するのがポイントである。この解釈なら、pushは格納してから増やし、popは減らしてから読む。
計算量の考察
ランダムなデータでは、バブルソート、選択ソート、挿入ソートはいずれも主な比較回数が2次オーダーになる。ただし選択ソートは交換回数が高々 回で、挿入ソートは反転数に比例して交換が起こる。
大部分が整列済みのデータでは、挿入ソートは反転している箇所だけを局所的に直せるため有利である。一方、この形のバブルソートは早期終了判定がない限り比較回数が2次のままで、選択ソートも最小値探索を毎回行うため比較回数は2次のままである。
第3問 — ハードウェア系
採点観点
固定小数点は、小数点を含む見た目で直接読むより、まず「64倍された符号付き整数」と見なす方が安全である。負数の変換では、16ビット全体を2の補数として扱ってから64で割る。
順序回路は、状態遷移図をそのまま回路にしようとせず、まず真理値表に落とす。真理値表から が単に になることに気づくと、回路が大きく簡単になる。
典型ミス
固定小数点の整数部だけを2の補数として読み、小数部を別に符号なしで足すと負数の値を誤る。2の補数は16ビット全体に対して成立している。
順序回路では、検出時の出力が次状態ではなく「現在状態と入力」に依存するMealy型である点に注意する。したがって は ではなく の関数として求める。
第4問 — OSとネットワーク
採点観点
OSコールの論述では、「戻れる」「機能を選べる」に加えて「特権モードへ安全に入る」を書くことが高得点の軸である。CPUが何を保存し、どこへ分岐し、どう復帰するかを動作順に説明すると、(A)から(C)の対応が明確になる。
仮想化の論述では、単に便利であると書くのではなく、固定長ブロック、無限または独占に見せる仕組み、装置固有手続きの隠蔽を、それぞれ具体例へ結びつける。
典型ミス
フロー制御と輻輳制御をどちらも「速度を落とす」とだけ書くと区別が弱い。受信側バッファが理由ならフロー制御、ネットワーク内部のキューやリンクが理由なら輻輳制御である。
回線利用率では、分子は実際にデータフレームを送っている時間 であり、分母はACKを待って次に送れるまでの周期である。ACKのサイズを無視しても、伝播遅延と受信処理時間は分母に残る。
第5問 — ヒューマンサイエンス系
採点観点
表情分類の答案では、単に「AIが間違う」と書くのではなく、文化差、教師ラベル、交絡特徴、公平性、プライバシーを具体的に結びつけると説得力が出る。改善策は、モデル名だけでなく、要件定義、データ設計、評価設計、運用設計まで含める。
データ・情報・知識の定義では、人の認知的関与の度合いが増える順に整理する。データは記録、情報は解釈、知識は構造化と利用、という対応を明確にするとよい。
典型ミス
感情分類の問題を「国別に学習すればよい」だけで終えると、ラベルの信頼性や運用時の誤分類リスクが残る。分類保留、人手確認、属性別評価を入れると、システム設計としての粒度になる。
情報伝達の問題では、Aが嘘をついたという説明だけでは不足する。知覚、記憶、符号化、伝送、復号、文脈照合、知識更新のどこでずれたのかを分けると、3通り以上の過程を自然に説明できる。
年度別の解答例(8年度)
オートマトンと行列式 / 探索・再帰・機械学習 / 数表現と論理回路
形式言語と固有値 / 計算量・再帰・学習 / 数表現・PSW・論理簡約
数学・数理系 / ソフトウェア系 / ハードウェア系
数学・数理系 / ソフトウェア系 / ハードウェア系
2022年度(このページ・全5問)
数学・数理系 / ソフトウェア系 / ハードウェア系
数学・数理系 / ソフトウェア系 / ハードウェア系
情報科学基礎:数学CS / 情報科学基礎:アルゴリズムとデータ構造 / 情報科学基礎:論理回路と計算機基礎
情報科学基礎:数学CS / 情報科学基礎:アルゴリズムとデータ構造 / 情報科学基礎:論理回路と計算機基礎
2022年度の出題内容
全5問
同じテーマを出した他大学・他年度
4テーマ
2022年度は2問に4テーマが出ています。
| テーマ | この年度 | 全体の出題実績 | 他大学の直近出題 |
|---|---|---|---|
| テイラー展開 | 第1問 | 18大学・45問 | |
| ラグランジュの未定乗数法 | 第2問 | 12大学・33問 | |
| 最尤推定 | 第2問 | 8大学・28問 | |
| 動的計画法 | 第2問 | 9大学・24問 |
前年度(2021年度)との違い
- 大問数
- 2021年度 5問 → 2022年度 5問
- 両年度に出たテーマ
- 動的計画法
- 2022年度で新しく出たテーマ
- テイラー展開・ラグランジュの未定乗数法・最尤推定
静岡大学の公式過去問
- 公開年度範囲
- 2019〜2026(CS情報科学。2021〜2026は各1本、2019・2020は情報科学基礎/情報科学の2本構成)
- 公式の解答例
- 非公開(問題冊子のみ)
- 英語の扱い
- 英語の扱いは募集要項で年度別に確認。公式過去問ページは専門科目PDFをプログラム別に公開。
- 院試hubの最終確認
- 2026-07-05