都立大 システムデザイン研究科 情報科学域 専門科目 2026年度 夏季入試 院試 過去問 解答例・解説(全4問)
全4問の分野は確率・統計1問、情報1問、線形代数1問です。固有値・固有ベクトル、重積分と極座標、計算量理論などが出ています。解説はすべて、途中式と最終答は大問1問ぶんを公開しています。残りは解答PDFに収録しています。問題本文は含みません。
最終更新:
第1問 — 微分積分
指数関数の増大
のような形では、多項式より指数関数の方が速く増大する。ロピタルの定理を使う場合は、分子の次数が1回ずつ下がり、分母は常に のままなので、有限回の微分で に落ちる。
制約付き最大値の落とし穴
ラグランジュの未定乗数法は停留候補を与える方法であって、最大値の存在を保証する方法ではない。この小問では制約集合が非有界であるため、候補点を計算しただけで「大きい方」を最大値にしてはいけない。実際に の枝では が可能であり、 も無限大へ発散する。したがって、最適化問題ではまず有界性を確認することが重要である。
同次関数としての見方
は、 を同時に 倍すると値が 倍される関数である。つまり次数 の同次関数であり、オイラーの同次関数定理から が成り立つ。解答では連鎖律で直接示したが、この構造を見抜くと式が になる理由を理解しやすい。
積分と変数変換の検算
不定積分は微分して戻るかを確認するのが最も確実である。 となるので積分結果は正しい。重積分ではヤコビアンの符号ではなく絶対値を面積要素に使う点に注意する。今回の を落とすと答が2倍になってしまう。
解答
(1-1)(a) 指数関数を含む極限
求める極限は である。分子・分母はともに で発散するので、ロピタルの定理を2回用いると となる。したがって極限値は である。
(1-1)(b) 制約付き最適化
制約から である。第1式より と書けるので、最大値の有無は実現できる の範囲を見ればよい。
実数 が和 、二乗和 をもつためには、判別式が非負であればよい。 を方程式 の2根と見ると、その判別式は である。よって なら制約を満たす点が存在する。
特に の枝では をいくらでも大きくでき、そのとき である。したがってこの制約条件のもとで は上に有界でなく、最大値は存在しない。
なお、ラグランジュの未定乗数法で停留候補を確認すると、条件式は である。最初の2式の差から となる。もし なら かつ となり、制約と矛盾する。したがって である。制約は となり、 を得る。これらは境界的な最小候補であって、最大値ではない。
(1-2)(a) 偏微分
とおく。連鎖律より である。したがって
(1-2)(b) 恒等式の確認
上の結果を代入すると ここで なので であり、 となる。よって全体は恒等的に である。
(1-3)(a) 不定積分
とおくと、 である。したがって 元に戻すと である。
(1-3)(b) 極方程式の面積
面積公式を用いると ここで だから これが に等しいので である。さらに であり、曲線全体で とするには が必要である。したがって である。
(1-3)(c) 変数変換による重積分
とおくと である。したがって 領域は という長方形に移るので、
最終答
(1-1)(a) 。 (1-1)(b) 最大値は存在しない。制約上で は上に有界でない。 (1-2)(a) 。 (1-2)(b) 。 (1-3)(a) 。 (1-3)(b) 。 (1-3)(c) 。
第2問 — 線形代数
線形独立性は一次関係で判定する
3本のうち1本が残り2本の和で表せると、ただちに線形従属である。次元を求めるときは、従属であることだけで終わらず、独立なベクトルが何本残るかまで確認する必要がある。今回は が独立なので次元は で止まる。
唯一解と行列式
連立一次方程式の係数行列が正則なら、右辺にかかわらず唯一解が存在する。ここでは行列式が偶然にも定数 になり、 による例外がない。パラメータ付き問題では、最後に「除外される値がない」ことを明記すると答案として締まる。
外積・射影・体積のつながり
は、 の張る平面に垂直で、長さがその平行四辺形の面積に等しい。したがって単位法線、正射影、平行六面体の体積はすべて外積を軸に計算できる。特に体積は であり、成分計算の符号が変わっても絶対値を取るため体積は非負である。
行列多項式の扱い
固有多項式が と分解できるため、ケーリー・ハミルトンの定理を使うと行列そのものが同じ多項式を満たす。 を得たあとは、目的の指数に合わせて を掛ければよい。固有値が異なる3つの値なので は対角化可能だが、漸化式の証明自体には対角化まで書く必要はない。
第3問 — 確率・統計
ポアソン分布の基本性質
ポアソン分布では「0件」の確率が になるため、「1件以上」は余事象で処理するのが最短である。また、平均と分散がともに になるのはポアソン分布の代表的な性質だが、答案ではモーメント母関数を微分して導出することが求められる。特に分散は そのものではなく、 である点を落とさないようにする。
検定の結論の書き方
検定統計量が負になっても、両側検定では絶対値で臨界値と比較する。今回の は、サーバAの標本平均がサーバBより小さい方向に大きく離れていることを示す。ただし検定の結論としては、指定された対立仮説に合わせて「差がある」と述べるのが正確である。どちらが速いかまで書く場合は、標本平均ではAの方が小さい、という観察に基づく補足として扱う。
標準誤差の検算
母分散が既知で両標本サイズが等しいため、標準誤差は とかなり小さい。平均差が なので、標準誤差の5倍の差が出ている。したがって棄却という判定は数値感覚としても自然である。
第4問 — データ構造とアルゴリズム
最後の一手で分類する
階段DPの標準的な考え方は「最後の一手」を見ることである。最後が1段なら残りは 段の問題、最後が2段なら残りは 段の問題になる。これにより、複雑な列挙をせずに が得られる。
の意味
としてしまうと、 となり、2段を一度で上る方法を数え落とす。 は「何もしないで到達済み」という空の手順を1通りとして数えるための初期条件である。動的計画法では、このような空のケースを正しく置くことが漸化式全体の整合性を支える。
トップダウン法とボトムアップ法の違い
トップダウン法は再帰で必要になった値だけを計算し、配列 に保存して同じ値の再計算を避ける。もし ならすでに計算済みなので、すぐに返すのがメモ化の要点である。ボトムアップ法は から出発し、 の順に表を埋める。
計算量
メモ化なしの単純再帰では同じ部分問題を何度も解くため、計算量が指数的に増える。今回のトップダウン法とボトムアップ法はいずれも各 の値を高々1回だけ確定するので、時間計算量は である。配列 を使うため、空間計算量も である。
年度別の解答例(3年度)
微分積分の基本計算 / 一次独立性と同時対角化 / 密度関数と最尤推定
2026年度 夏季入試(このページ・全4問)
微分積分 / 線形代数 / 確率・統計
合成関数・矩形積分・級数 / 行列計算と連立方程式 / 幾何分布と最尤推定
2026年度 夏季入試の出題内容
全4問
同じテーマを出した他大学・他年度
5テーマ
2026年度 夏季入試は3問に5テーマが出ています。
| テーマ | この年度 | 全体の出題実績 | 他大学の直近出題 |
|---|---|---|---|
| 固有値・固有ベクトル | 第2問 | 25大学・544問 | |
| 重積分と極座標 | 第1問 | 23大学・142問 | |
| 計算量理論 | 第4問 | 9大学・36問 | |
| ラグランジュの未定乗数法 | 第1問 | 12大学・33問 | |
| 動的計画法 | 第4問 | 9大学・24問 |
前年度(2025年度 冬季入試)との違い
- 大問数
- 2025年度 冬季入試 4問 → 2026年度 夏季入試 4問
- 2026年度 夏季入試で新しく出たテーマ
- 固有値・固有ベクトル・重積分と極座標・計算量理論・ラグランジュの未定乗数法・動的計画法
東京都立大学の公式過去問
- 公開年度範囲
- 2025年度冬季、2026年度夏季・冬季
- 公式の解答例
- 非公開(問題冊子のみ)
- 英語の扱い
- 募集要項・年度別案内を確認。
- 院試hubの最終確認
- 2026-07-05