院試hub

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

東大 情報理工学系研究科 数理情報学専攻 数理情報学 2023年度 院試 過去問 解答例・解説(全5問)

全5問。微分積分・解析1問。テーマタグは5件(固有値・固有ベクトル・留数定理・二次形式)。

最終更新:

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

東大 数理情報学 2023年度 院試 過去問の出題内容(全5問)

この5問の分野は微分積分・解析1問です。

大問分野主題解説の小見出し最終答
第1問微分積分・解析指数核平均と連続極限—あり
第2問—Lotka--Volterra型方程式と安定性採点上の注意あり
第3問—複素積分による台形公式誤差—あり
第4問—逆二乗正規変数と安定分布採点上の注意あり
第5問—疎な三値表現—あり

この年度の解説には検算2件・採点上の注意2件・典型ミス1件が付いています。

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

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

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

大問数
2021年度 3問 → 2023年度 5問
2021年度のページを見る

第1問 — 指数核平均と連続極限

方針

核 e−∣x−y∣e^{-|x-y|} は「距離が近いほど似ている」ことを表す正の類似度である。 第1問全体は、この類似度平均の逆数を使って、集合どうしのずれを測る問題として読むと見通しがよい。

検算

s=0s=0 のとき、移動する区間 [s,s+1][s,s+1] は参照区間 [0,1][0,1] と一致する。 このとき最小になるという結論は直観にも合う。一方、ss を大きく正または負に動かすと h(z)h(z) が指数的に小さくなり、積分は急に大きくなる。

指数核平均と連続極限の途中式・最終答をPDFで見る

第2問 — Lotka--Volterra型方程式と安定性

方針

平衡点では v+Ax∗=0v+Ax^*=0 が成り立つので、非線形性の多くは diag⁡(x)\operatorname{diag}(x) の形に押し込められる。局所安定性を見るだけなら、 原点 z=0z=0 での二次形式の符号を見れば十分である。

採点上の注意

L˙\dot L の計算で xi′x_i' が分母と打ち消える点を書かないと、なぜ単純な二次形式に落ちるのかが見えにくい。 また、最後の wi=ci/xi∗w_i=c_i/x_i^* は正値であることも確認しておく必要がある。

Lotka--Volterra型方程式と安定性の途中式・最終答をPDFで見る

第3問 — 複素積分による台形公式誤差

方針

等間隔台形公式の誤差は、単位根を極にもつ補助関数の留数として表せる。 正則性が単位円の外側まであるため、積分路を半径 R>1R>1 に広げると ∣zN−1∣|z^N-1| が大きくなり、指数的な誤差評価が得られる。

典型ミス

留数の符号を間違えると IN(f)I_N(f) の符号が反転する。単位円上の表示 dz=iz dθdz=iz\,d\theta と、zN−1z^N-1 の導関数 NzN−1Nz^{N-1} を別々に確認すると安全である。

複素積分による台形公式誤差の途中式・最終答をPDFで見る

第4問 — 逆二乗正規変数と安定分布

方針

1/X21/X^2 は右裾が非常に重い分布で、平均は存在しない。 そのため通常の nn や n\sqrt n ではなく、n2n^2 で割る安定なスケーリングが現れる。

採点上の注意

密度変換では x=+1/yx=+1/\sqrt y と x=−1/yx=-1/\sqrt y の二つの枝がある。 この二つを足すことで係数 1/2π1/\sqrt{2\pi} が得られる。 片方だけにすると係数が半分になり、以降のラプラス変換も合わなくなる。

解答

(1)

Y=1/X2Y=1/X^2 なので Y>0Y>0 である。y>0y>0 に対し、対応する xx は x=±y−1/2 x=\pm y^{-1/2} であり、 ∣dxdy∣=12y−3/2 \left|\frac{dx}{dy}\right|=\frac12 y^{-3/2} である。標準正規密度を ϕ(x)=12πe−x2/2 \phi(x)=\frac1{\sqrt{2\pi}}e^{-x^2/2} と書くと、変数変換より f(y)=ϕ(y−1/2)12y−3/2+ϕ(−y−1/2)12y−3/2=12πy−3/2e−1/(2y)(y>0). \begin{aligned} f(y) &= \phi(y^{-1/2})\frac12 y^{-3/2} +\phi(-y^{-1/2})\frac12 y^{-3/2}\\ &= \frac{1}{\sqrt{2\pi}}y^{-3/2}e^{-1/(2y)} \qquad(y>0). \end{aligned} y≤0y\le0 では f(y)=0f(y)=0 である。

(2)

ラプラス変換は L(u)=12π∫0∞y−3/2exp⁡(−uy−12y) dy(u≥0) L(u)=\frac{1}{\sqrt{2\pi}}\int_0^\infty y^{-3/2}\exp\left(-uy-\frac{1}{2y}\right)\,dy \qquad(u\ge0) である。標準積分 ∫0∞y−3/2exp⁡(−ay−by) dy=πb e−2ab(a,b>0) \int_0^\infty y^{-3/2}\exp\left(-ay-\frac{b}{y}\right)\,dy = \sqrt{\frac{\pi}{b}}\,e^{-2\sqrt{ab}} \qquad(a,b>0) を a=u, b=1/2a=u,\ b=1/2 に適用すると L(u)=e−2u L(u)=e^{-\sqrt{2u}} を得る。従って u>0u>0 で dL(u)du=−12ue−2u=−12uL(u). \frac{dL(u)}{du} = -\frac{1}{\sqrt{2u}}e^{-\sqrt{2u}} = -\frac{1}{\sqrt{2u}}L(u).

(3)

特性関数は、ラプラス変換を複素方向へ解析接続して φ(u)=L(−iu) \varphi(u)=L(-iu) と読める。主値の平方根を用いれば φ(u)=exp⁡{−−2iu}. \varphi(u)=\exp\{-\sqrt{-2iu}\}. 実数 uu に対しては −2iu={(1−i)u,u>0,0,u=0,(1+i)∣u∣,u<0, \sqrt{-2iu} = \begin{cases} (1-i)\sqrt{u}, & u>0,\\ 0, & u=0,\\ (1+i)\sqrt{|u|}, & u<0, \end{cases} なので φ(u)=exp⁡[−(1−i sgn⁡u)∣u∣] \varphi(u) = \exp\left[-(1-i\,\operatorname{sgn}u)\sqrt{|u|}\right] とまとめられる。ただし u=0u=0 では φ(0)=1\varphi(0)=1 とする。

(4)

Y1,…,YnY_1,\ldots,Y_n が独立同分布であるから、 Y1+⋯+Ynn2 \frac{Y_1+\cdots+Y_n}{n^2} の特性関数は {φ(un2)}n=[exp⁡{−(1−i sgn⁡u)∣u∣n}]n=exp⁡[−(1−i sgn⁡u)∣u∣]=φ(u). \begin{aligned} \left\{\varphi\left(\frac{u}{n^2}\right)\right\}^n &= \left[ \exp\left\{-(1-i\,\operatorname{sgn}u) \frac{\sqrt{|u|}}{n}\right\} \right]^n\\ &= \exp\left[-(1-i\,\operatorname{sgn}u)\sqrt{|u|}\right]\\ &= \varphi(u). \end{aligned} これは YY 自身の特性関数である。従って、実は各 nn ですでに同じ分布をもち、 特に n→∞n\to\infty で YY の分布へ収束する。

最終答

f(y)={12πy−3/2e−1/(2y),y>0,0,y≤0. f(y)= \begin{cases} \dfrac{1}{\sqrt{2\pi}}y^{-3/2}e^{-1/(2y)}, & y>0,\\[2mm] 0, & y\le0. \end{cases} L(u)=e−2u,φ(u)=exp⁡[−(1−i sgn⁡u)∣u∣]. L(u)=e^{-\sqrt{2u}},\qquad \varphi(u)=\exp\left[-(1-i\,\operatorname{sgn}u)\sqrt{|u|}\right]. また (Y1+⋯+Yn)/n2(Y_1+\cdots+Y_n)/n^2 は各 nn で YY と同分布であり、極限密度も上の f(y)f(y) である。

第5問 — 疎な三値表現

方針

これは暗号実装などで使われる non-adjacent form の基本性質である。 奇数のときに ±1\pm1 のどちらを選ぶかを 44 で割った剰余で決めると、次の桁が必ず 00 になり、非零桁が隣接しない。

検算

最初の数個は 1=(1),2=(0,1),3=(−1,0,1),5=(1,0,1) 1=(1),\quad 2=(0,1),\quad 3=(-1,0,1),\quad 5=(1,0,1) となる。隣接する非零桁を許せば 3=1+23=1+2 と書けるが、疎な表現では −1+4-1+4 として重みを同じか小さく保ちながら隣接を消す。

疎な三値表現の途中式・最終答をPDFで見る

東大 数理情報学 院試 過去問の収録5年度

  • 2026年度(全5問)

    半正定値錐への射影 / ガウス行列の集中 / 平面力学系の不変領域と爆発

  • 2025年度(全5問)

    半正定値行列の真偽判定 / 相分離モデルとエネルギー / 密度の平均と中央値

  • 2024年度(全5問)

    直交Procrustes問題 / 加速勾配法のエネルギー評価 / 一方向三角多項式による近似

  • 2023年度(このページ・全5問)

    指数核平均と連続極限 / Lotka--Volterra型方程式と安定性 / 複素積分による台形公式誤差

  • 2021年度(全3問)

    基礎概念:凸最適化と双対性 / 研究計画:分布ロバスト学習 / 社会課題論述:感染症対策