都立大 システムデザイン研究科 情報科学域 専門科目 2026年度 冬季入試 院試 過去問 解答例・解説(全4問)
全4問の分野は微分積分・解析2問、線形代数1問です。固有値・固有ベクトル、線形空間・基底、重積分と極座標などが出ています。2026年度 夏季入試と共通するテーマは固有値・固有ベクトル、重積分と極座標です。解説はすべて、途中式と最終答は大問1問ぶんを公開しています。残りは解答PDFに収録しています。問題本文は含みません。
最終更新:
第1問 — 微分積分の基本計算
端点での微分可能性
は連続ではあるが、連続性だけでは微分可能性は言えない。端点で片側差商が発散するため、接線の傾きが有限に定まらない。この問題では「定義域が右半直線である」ことに気を取られず、実際の差商の極限を確認するのが確実である。
停留点の分類
二変数関数では、停留条件を解いただけでは極値とは限らない。今回の1点目ではヘッセ行列の固有値が と になり、増える方向と減る方向が同時に存在する。したがって「停留点である」ことと「極大・極小である」ことを分けて書く必要がある。
広義積分の収束判定
円柱の半径方向と角度方向は有限な体積因子を与えるだけなので、収束性を決めるのは の 近傍での振る舞いである。標準事実として は で収束する。この条件を先に確認してから値を代入すると、発散する場合に形式的な を書いてしまう誤りを避けられる。
解答
とおく。端点 で右側から差商を調べると、 に対して である。これは で有限値に収束しない。したがって、少なくとも有限な片側微分係数は存在せず、 で微分可能ではない。
であるから、積分して を得る。さらに より
対象の二変数関数を と書く。偏微分は である。停留条件 から が従う。範囲 では なので であり、また である。よって停留点は の2点である。
ヘッセ行列は まず では であるから鞍点であり、極大でも極小でもない。次に では となり正定値である。したがってこの点は極小点であり、値は である。
として とおくと、 は に対応し、 である。したがって 恒等式 を用いると、振動項の積分は区間端で消えるため よって
円柱座標ではヤコビアンが である。収束する範囲を仮に として計算すると 各因子は であるから となる。
の近くでのみ広義積分性が問題になる。積分 は のときだけ収束し、 では対数発散、 ではべき発散する。したがって三重積分の収束条件は である。
最終答
(a) 微分可能でない。 (b) 。 (c) は鞍点、 は極小点で極小値 。極大点はない。 (d) 。 、収束条件は 。
第2問 — 一次独立性と同時対角化
平面と一次独立
2本の独立なベクトルが作る平面は、その外積を法線にすれば一行で表せる。第3のベクトルがその平面に入らないことは、法線との内積が非零であることと同値である。この確認により、3本のベクトルが3次元空間で互いに独立な方向を持つことが分かる。
過剰決定系の考え方
未知数が3個で方程式が4本あるため、単に3本を解くだけでは残り1本との整合性を落としやすい。係数行列の階数を と仮定すると、拡大係数行列の4次行列式が であることが整合条件になる。最後に3次小行列式を調べて、得られた条件のもとで本当に一意解になることまで確認するのがこの設問の要点である。
-正規化と同時対角化
は通常の相似変換ではなく、二次形式の合同変換である。先に を単位行列へ正規化し、その座標で に対応する対称行列 を直交対角化すると、 の条件を保ったまま も対角化できる。
第3問 — 密度関数と最尤推定
同時密度の正規化
同時密度関数では、定義域全体で積分した値が にならなければならない。今回の は単位正方形上で対称なので、 と がそれぞれ になり、正規化定数はそのまま になる。
ベイズの分母
ベイズの定理で最も落としやすいのは分母 である。これは が起きた場合と起きなかった場合に分けて と計算する。観測後の確率 は、事前確率 から へ更新されている。
二項モデルの最尤推定
独立なベルヌーイ試行でエラー数が 、試行数が なら、最尤推定量は直感どおり標本比率 になる。ここでは 、 なので である。ただし答案では、対数尤度を微分して内部最大であることを確認すると、導出として十分に説得力がある。
第4問 — ダイクストラ法の追跡
確定順序の読み方
ダイクストラ法では、暫定距離が最小の未確定頂点を選んだ時点で、その距離は最短距離として確定する。今回、2回目の後に の距離が になり、 の距離 より小さいため、先に を確定する。この順序を誤ると の距離を のままにしてしまいやすい。
同距離候補の扱い
については最終的に距離 の経路が複数あり得る。擬似コードの条件は であり、同じ距離では更新しないため、表では先に得られた を直前頂点として残している。最短路長そのものは同じなので、距離の答えは変わらない。
計算量の支配項
この擬似コードは優先度付きキューを使わず、毎回すべての頂点を走査して最小の暫定距離を探す実装である。そのため、辺の緩和よりも 回の全頂点走査、すなわち の部分が支配的になる。優先度付きキューを使う実装なら別の計算量になるが、この設問の擬似コードでは と評価する。
年度別の解答例(3年度)
2026年度 冬季入試(このページ・全4問)
微分積分の基本計算 / 一次独立性と同時対角化 / 密度関数と最尤推定
微分積分 / 線形代数 / 確率・統計
合成関数・矩形積分・級数 / 行列計算と連立方程式 / 幾何分布と最尤推定
2026年度 冬季入試の出題内容
全4問
同じテーマを出した他大学・他年度
9テーマ
前年度(2026年度 夏季入試)との違い
- 大問数
- 2026年度 夏季入試 4問 → 2026年度 冬季入試 4問
- 両年度に出たテーマ
- 固有値・固有ベクトル・重積分と極座標
東京都立大学の公式過去問
- 公開年度範囲
- 2025年度冬季、2026年度夏季・冬季
- 公式の解答例
- 非公開(問題冊子のみ)
- 英語の扱い
- 募集要項・年度別案内を確認。
- 院試hubの最終確認
- 2026-07-05