院試hub

京都大学 院試 過去問 解答例

京大 情報学研究科 システム科学コース 2024年度 院試 過去問 解答例・解説(全12問)

全12問。微分積分・解析3問・確率・統計2問・制御工学2問。テーマタグは9件(伝達関数・固有値・固有ベクトル・重積分と極座標)。2023年度と共通のテーマは伝達関数・固有値・固有ベクトル・重積分と極座標。

最終更新:

収録4年度分の解答PDF:京都大学 情報学研究科 システム科学コース(¥2,880・紙面見本あり)

このページで公開
解説12問と大問1問の途中式・最終答(全12問)
解答PDFに収録
途中式と最終答(最終答つき12問)
問題本文
非収録

京大 システム科学コース 2024年度 院試 過去問の出題内容(全12問)

この12問の分野は微分積分・解析3問・確率・統計2問・制御工学2問・線形代数2問・複素解析1問です。

大問分野主題解説の小見出し最終答
第1問線形代数行列の冪零性と部分空間ブロック下三角行列を見る / Cayley--Hamiltonで十分性を示すあり
第2問線形代数歪対称行列の行列式4次歪対称行列は平方になる / 奇数次では符号が反転するあり
第3問微分積分・解析対数関数と数列x は左端で0へ近づく / 逆関数の積分公式あり
第4問微分積分・解析距離と楕円領域の積分楕円の距離は の二次関数 / 超平面の距離は正射影あり
第5問複素解析複素対数と複素冪多価対数では代数法則に注意する / 絶対値が枝に依存するかを見るあり
第6問微分積分・解析三角不等式とFresnel積分単調性で三角不等式をまとめる / 回転で振動積分を減衰積分に変えるあり
第7問確率・統計確率統計1分散最小の重みは逆分散重み付き最小二乗 / 設計点は情報量を最大化するあり
第8問確率・統計確率統計2Pareto分布の対数は指数分布 / KLとRenyi型エントロピーあり
第9問制御工学制御工学1閉ループは L) / 右半平面極は で判定するあり
第10問制御工学制御工学2ゲイン余裕を増やすにはゲインを下げる / I-PDの効果は設定値応答に出るあり
第11問—信号処理1支持区間は / 直交性は周波数領域で見るあり
第12問—信号処理2間引きは偶数番目を取り出す / フィルタと間引きの交換条件あり

2024年度の出題テーマと、同じテーマを出した他大学・他年度

この年度は7問に9テーマが出ています。

前年度(2023年度)との違い

大問数
2023年度 14問 → 2024年度 12問
2024年度で新しく出たテーマ
波動関数・フィードバック制御
2023年度のページを見る

第1問 — 行列の冪零性と部分空間

ブロック下三角行列を見る

右上ブロックが零であるため,固有値は対角ブロックだけで決まる。冪零行列では固有値がすべて 00 であることを使う。

Cayley--Hamiltonで十分性を示す

5次正方行列の特性多項式が λ5\lambda^5 なら,Cayley--Hamiltonの定理から A5=0A^5=0 が直ちに従う。

部分空間は零ベクトルを含む

x1+⋯+x10=cx_1+\cdots+x_{10}=c は一般にはアフィン超平面である。線形部分空間になるのは,原点を通る c=0c=0 の場合だけである。

解答

  1. 行列を左上の 22 次ブロックと右下の 33 次ブロックに分けると A=(B10∗C) A= \begin{pmatrix} B_1&0\\ *&C \end{pmatrix} というブロック下三角行列である。ここで B1=(71x−7),C=(0231005−1550). B_1=\begin{pmatrix}7&1\\ x&-7\end{pmatrix}, \qquad C=\begin{pmatrix}0&2&3\\ 10&0&5\\ -15&5&0\end{pmatrix}. したがって AA の固有値は B1B_1 と CC の固有値を合わせたものである。 まず det⁡(λI−B1)=det⁡(λ−7−1−xλ+7)=λ2−(49+x) \det(\lambda I-B_1) = \det\begin{pmatrix}\lambda-7&-1\\ -x&\lambda+7\end{pmatrix} = \lambda^2-(49+x) である。また直接計算により det⁡(λI−C)=λ3 \det(\lambda I-C)=\lambda^3 である。A5=0A^5=0 なら AA のすべての固有値は 00 なので, 49+x=0 49+x=0 が必要である。 逆に x=−49x=-49 のとき,AA の特性多項式は λ5\lambda^5 である。Cayley--Hamiltonの定理より A5=0A^5=0 が従う。したがって x=−49 x=-49 である。
  2. x=113x=113 とすると det⁡B1=7(−7)−113=−162≠0 \det B_1=7(-7)-113=-162\ne0 である。したがって By=0By=0 において,最初の2成分を uu,残りの3成分を vv と書くと,まず B1u=0B_1u=0 から u=0u=0 である。残る条件は Cv=0 Cv=0 だけである。 CC は零行列ではなく,かつ det⁡C=0\det C=0 である。さらに第1行と第2行は一次独立なので rank⁡C=2\operatorname{rank}C=2 である。よって dim⁡ker⁡C=3−2=1. \dim\ker C=3-2=1. したがって dim⁡ker⁡T=1 \dim\ker T=1 である。
  3. W(c)W(c) が部分空間なら零ベクトルを含まなければならない。零ベクトルの成分和は 00 なので,必要条件は c=0 c=0 である。 逆に c=0c=0 のとき, W(0)={x∈R10∣x1+⋯+x10=0} W(0)=\{x\in\mathbb R^{10}\mid x_1+\cdots+x_{10}=0\} である。x,y∈W(0)x,y\in W(0),α∈R\alpha\in\mathbb R とすると ∑i=110(xi+yi)=0,∑i=110αxi=0 \sum_{i=1}^{10}(x_i+y_i)=0,\qquad \sum_{i=1}^{10}\alpha x_i=0 であるから,加法とスカラー倍で閉じている。よって部分空間となるのは c=0c=0 のときに限る。

最終答

(1) x=−49x=-49。 (2) dim⁡ker⁡T=1\dim\ker T=1。 (3) c=0c=0 のみ。

第2問 — 歪対称行列の行列式

4次歪対称行列は平方になる

4次歪対称行列の行列式はPfaffianの二乗である。ここでは展開しても同じ式 (af−be+cd)2(af-be+cd)^2 が得られる。

奇数次では符号が反転する

det⁡(−D)=(−1)ndet⁡D\det(-D)=(-1)^n\det D であり,奇数次ではこれが −det⁡D-\det D になる。転置で行列式が変わらないことと合わせる。

歪対称行列の行列式の途中式・最終答をPDFで見る

第3問 — 対数関数と数列

xlog⁡xx\log x は左端で0へ近づく

x→+0x\to+0 では log⁡x→−∞\log x\to-\infty だが,xlog⁡x→0x\log x\to0 である。このため −1/e<y<0-1/e<y<0 では二つの正の解を持つ。

逆関数の積分公式

∫f−1(y) dy=xy−∫f(x) dx\int f^{-1}(y)\,dy=xy-\int f(x)\,dx は,面積の補完関係から導ける。ここでは y=xlog⁡xy=x\log x を最後に代入する。

数列は一度負になってから単調に0へ近づく

e>1.5\sqrt e>1.5 を使うと a2<0a_2<0 が分かる。負の領域では an+1<0a_{n+1}<0 かつ an+1>ana_{n+1}>a_n となるため,単調収束で処理できる。

対数関数と数列の途中式・最終答をPDFで見る

第4問 — 距離と楕円領域の積分

楕円の距離は cos⁡θ\cos\theta の二次関数

距離そのものではなく距離の二乗を最大化する。b/ab/a の大きさにより,頂点が [−1,1][-1,1] に入るかどうかが変わる。

超平面の距離は正射影

原点から超平面へ下ろした垂線は法線ベクトル cc の方向を向く。Cauchy--Schwarzで下限を出し,その下限を達成する点を与える。

楕円領域は円板へ移す

指数係数付きの楕円は,座標を ep/2,eq/2e^{p/2},e^{q/2} で伸縮すれば円板になる。積分値は円板上の放物面体積にヤコビアンを掛けたものになる。

距離と楕円領域の積分の途中式・最終答をPDFで見る

第5問 — 複素対数と複素冪

多価対数では代数法則に注意する

log⁡(i2)\log(i^2) と 2log⁡i2\log i は,多価関数としては一致しない。後者は前者の枝を一つおきに拾う形になる。

絶対値が枝に依存するかを見る

ici^c の値そのものが一価でなくても,絶対値だけが一価になる場合がある。枝番号 kk への依存は Im⁡c\operatorname{Im}c だけで決まる。

複素対数と複素冪の途中式・最終答をPDFで見る

第6問 — 三角不等式とFresnel積分

単調性で三角不等式をまとめる

sin⁡θ/θ\sin\theta/\theta が (0,π/2](0,\pi/2] で単調減少することを示せば,両端の値から不等式が一度に出る。

回転で振動積分を減衰積分に変える

z=eiπ/4tz=e^{i\pi/4}t とすると z2=it2z^2=it^2 になる。これにより e−x2e^{-x^2} の積分と e−it2e^{-it^2} の積分が結びつく。

三角不等式とFresnel積分の途中式・最終答をPDFで見る

第7問 — 確率統計1

分散最小の重みは逆分散重み付き最小二乗

正規分布で分散が g(xi)g(x_i) と異なるため,重みは xi/g(xi)x_i/g(x_i) に比例する。最尤推定量も同じ形になる。

設計点は情報量を最大化する

各観測点が加える情報量は xi2/g(xi)x_i^2/g(x_i) である。区間内でこれを最大化する点をすべて選べばよい。

確率統計1の途中式・最終答をPDFで見る

第8問 — 確率統計2

Pareto分布の対数は指数分布

log⁡(X/b)\log(X/b) とおくと下端 bb が消え,率 α\alpha の指数分布になる。

gαg^\alpha の正規化という読み方

f=gα/∫gαf=g^\alpha/\int g^\alpha なので,gg は f1/αf^{1/\alpha} に比例する。最後に gg 自身を確率密度として正規化する。

KLとRenyi型エントロピー

log⁡f=αlog⁡g−log⁡Z\log f=\alpha\log g-\log Z を積分に代入すると,HH と RR だけで整理できる。

確率統計2の途中式・最終答をPDFで見る

第9問 — 制御工学1

閉ループは L/(1+L)L/(1+L)

図では誤差 r−yr-y から KP+FKP+F の二つの経路が並列に出力へ入る。外乱は出力直前で加算されるため,rr からは L/(1+L)L/(1+L),dd からは 1/(1+L)1/(1+L) になる。

右半平面極は Δ(−s)\Delta(-s) で判定する

Δ(s)\Delta(s) の極をすべて右半平面へ置くことは,Δ(−s)\Delta(-s) をHurwitz安定にすることと同じである。係数の正性だけで矛盾が出る。

制御工学1の途中式・最終答をPDFで見る

第10問 — 制御工学2

ゲイン余裕を増やすにはゲインを下げる

位相交差周波数でのゲインがより低くなれば,0 dBまでの余裕が大きくなる。したがって 10 dB10\,\mathrm{dB} 増やす操作は KPK_P を 10 dB10\,\mathrm{dB} 下げる操作である。

I-PDの効果は設定値応答に出る

外乱応答ではPIDと同じ一巡伝達関数になる。一方,設定値変化に対しては比例・微分動作が直接効かないため,操作量の急変を抑える効果がある。

制御工学2の途中式・最終答をPDFで見る

第11問 — 信号処理1

支持区間は [− Ω,Ω][-\,\Omega,\Omega]

rect⁡(ω/(2Ω))\operatorname{rect}(\omega/(2\Omega)) は ∣ω∣<Ω|\omega|<\Omega で1である。ここを [−2Ω,2Ω][-2\Omega,2\Omega] と取り違えない。

直交性は周波数領域で見る

畳み込みは周波数領域で積になる。最後に τ=π/Ω\tau=\pi/\Omega を使うと,指数関数の積分が sin⁡((m−n)π)\sin((m-n)\pi) を含むため 00 になる。

信号処理1の途中式・最終答をPDFで見る

第12問 — 信号処理2

間引きは偶数番目を取り出す

X(z)X(z) と X(−z)X(-z) を足すと奇数番目の項が消え,偶数番目だけが残る。これが2分の1を掛ける理由である。

フィルタと間引きの交換条件

下段では G(z)G(z) と G(−z)G(-z) がそれぞれ X(z)X(z),X(−z)X(-z) に掛かる。上段ではどちらにも同じ H(z2)H(z^2) が掛かるため,係数比較で条件が出る。

信号処理2の途中式・最終答をPDFで見る

京大 システム科学コース 院試 過去問の収録4年度

  • 2025年度(全12問)

    回転行列とノルム / 線形写像と正規直交基底 / 積分領域と反復対数

  • 2024年度(このページ・全12問)

    行列の冪零性と部分空間 / 歪対称行列の行列式 / 対数関数と数列

  • 2023年度(全14問)

    数学I・連立一次方程式と固有値和 / 数学I・行列式の最大値と平方根行列 / 数学I・直交射影

  • 2021年度(全13問)

    数学I・漸化式と行列の極限 / 数学I・内積空間と最小二乗近似 / 数学II・変数変換と漸近評価