院試hub

大阪大学 院試 過去問 解答例

阪大 情報科学研究科 専門科目(情報工学) 2020年度 院試 解答例・解説

大阪大学 情報科学研究科 専門科目(情報工学) 2020年度の院試 過去問について、設問ごとの解法方針と確認点を解説。全7問収録の解答・解説PDFと併用できます。問題本文は含みません。

最終更新:

設問ごとの解法方針と確認点を公開しています。

続きの途中式・最終答は解答・解説PDFに収録しています。問題本文は含まれません。

1 — アルゴリズムとプログラミング

方針

この問題は「配列で表した完全二分木」と「最大ヒープ条件」を同時に読む問題である。添字 ii の左右の子は 2i+1,2i+22i+1,2i+2,親は (i1)/2\lfloor(i-1)/2\rfloor である。

検算ポイント

(2) の配列 [60,50,40,10,30,20][60,50,40,10,30,20] は各親が子以上である。後半の整列ループでは最小値ではなく最大値が末尾へ移るため,最終的に配列は昇順になる。

続きの解答(途中式・最終答)はPDFに収録

2 — 計算機システムとシステムプログラム

浮動小数点では「指数部の特殊値を除く」点と「非正規化を用いない」点が最大値・最小値を決める。仮想記憶では,ページングの利点は外部断片化を避けられること,欠点はページ単位の余りによる内部断片化である。

続きの解答(途中式・最終答)はPDFに収録

3 — 離散構造

後半はオイラーグラフの基本事実である。「連結かつ全頂点次数が偶数」なら橋は存在しない。橋が存在すると,橋を消した一方の連結成分で次数和の偶奇が破綻する,という証明が最短である。

続きの解答(途中式・最終答)はPDFに収録

4 — 計算理論

PDA はスタックで個数差を覚えられるが,DFA は有限個の状態しか持たないため,任意に大きい nn の一致は保持できない。CYK 法は Chomsky 標準形を前提にしているため,ε\varepsilon 規則をそのまま含む文法には適用できない。

続きの解答(途中式・最終答)はPDFに収録

5 — ネットワーク

交互ビット方式の要点は「データそのものの重複」と「新しいデータ」をシーケンス番号で区別することである。CRC では,送信符号語が生成多項式で割り切れるように検査ビットを付けるため,受信側は割り算の剰余だけを見ればよい。

続きの解答(途中式・最終答)はPDFに収録

6 — 電子回路と論理設計

RC 部分は Wien ブリッジ型の正帰還回路であり,位相が 0 になる周波数で利得が 1/31/3 になる。論理設計では,未使用状態を don't care にできるため,y0=k0x0y_0=k_0x_0 のように簡単化できる。

続きの解答(途中式・最終答)はPDFに収録

7 — 数学解析と信号処理

前半は x2x^2 の標準的なフーリエ級数である。x=πx= \pi を代入すれば 1/n2\sum 1/n^2,Parseval を使えば 1/n4\sum 1/n^4 が出る。後半のフィルタは 1 次 all-pass フィルタで,係数 aa は振幅ではなく位相遅れを変える。

続きの解答(途中式・最終答)はPDFに収録

大阪大学 専門科目(情報工学) — 他の年度