阪大 情報科学研究科 情報基礎数学専攻 数学 2011年度 院試 過去問 解答例・解説
- 大学
- 大阪大学
- 研究科・専攻
- 情報科学研究科 情報基礎数学専攻
- 科目
- 数学
- 年度
- 2011年度
収録した解説・解答・最終答を公開しています。問題本文は含みません。

第1問 積分評価
方針
第1の積分は 型の基本形である。半角正接置換を使うと,三角関数の周期積分が 有理関数の実軸積分に落ちる。第2の積分は二次形式を対角化してから極座標にするのが最短である。
検算
第2の積分は正の被積分関数なので,答も正でなければならない。また で,変数変換のヤコビアンが であるため になる。ヤコビアンを落とすと になってしまう。
採点上の注意
二次形式の交差項をそのまま扱うと計算が重くなる。平方完成で としてから,線形変換の行列式まで明記するのが安全である。
解答
- 標準公式 を用いると,ここでは なので 公式を使わずに確認するなら, とおく。すると の積分は実軸上の積分に変わり,
- 二次形式を平方完成する。 そこで とおくと, したがって ここで とすれば よって
最終答
第2問 線形部分空間
方針
と はどちらも核空間なので,階数と零化空間の次元を使う。 は「両方の条件を同時に満たす」ことだから, と を縦に並べた行列の核である。
検算
交わりの2つの基底候補を と に代入すると,どちらも零ベクトルになる。 また2つのベクトルは第5成分を見るだけで一次独立と分かる。
採点上の注意
は と の単なる和 ではない。重複して数えた の次元を必ず引く。ここで交わりの基底を出しているので,次元公式まで自然につながる。
解答
行列 の2行は一次独立である。したがって
次に は を同時に満たすベクトル全体である。拡大ではない係数行列 を行基本変形すると よって と書けば 自由変数を とすると したがって は の基底の1組である。
最後に の2行も一次独立なので である。次元公式より
最終答
第3問 正則関数と調和共役
方針
正則性から,複素微分を実方向と虚方向のどちらで計算しても同じ値になる。 この「2通りの差商の一致」を実部・虚部で比べるのが Cauchy--Riemann の最も基本的な証明である。
関数の見方
第2項の実部は である。したがって答は実は と予想できる。計算による導出は,この予想が定数差を除いて正しいことを確認している。
採点上の注意
だけから を決めると,積分定数が の関数として残る。 その後に の式へ代入し,その関数が定数であることまで確認する必要がある。
解答
- とし,正則性から複素微分 は近づけ方によらず存在する。 まず実方向 から近づけると 一方,虚方向 から近づけると 両者の実部と虚部を比較して を得る。
- とおく。偏微分は Cauchy--Riemann の式より まず を で積分すると と書ける。これを で微分すると したがって であり, は定数である。
最終答
第4問 逆行列の非負性
方針
仮定は「像が非負ベクトルなら,元も非負ベクトル」という順序保存の逆向き条件である。 正則性は核が零であることから示し,逆行列の各列は の解として取り出す。
検算
もし のある列に負の成分があれば,その列を として なのに が成り立たず,仮定に反する。標準基底を使うのは,逆行列の列を1本ずつ調べるためである。
採点上の注意
から だけを得ても,まだ とは言えない。 も同じ核に入ることを使って を出すのが正則性の決め手である。
解答
仮定は である。ここで不等号は成分ごとの不等号を表す。
- とする。このとき だから,仮定より である。また でもあるので,同じ仮定から を得る。よって各成分について かつ であり, である。 したがって である。有限次元の正方行列なので, は正則である。
- を第 成分だけが1で他が0の標準基底ベクトルとする。 とおけば である。仮定より である。 ところが は の第 列そのものである。任意の について この列ベクトルの全成分が非負だから, のすべての成分は非負である。
最終答
第5問 条件付き確率
方針
これは検査精度と事前確率を混同しないための Bayes の定理の問題である。 感染率が非常に低いので,偽陽性率が小さくても陽性者の中に未感染者が多く混ざり得る。
検算
では偽陽性率 が感染率と同程度であり,陽性者の感染確率は高くても およそ半分程度にしかならない。 にすると偽陽性率が感染率の10分の1になり, 感染者由来の陽性が全陽性の9割を超える。
採点上の注意
感度 をそのまま としてはいけない。 求めたいのは「陽性という結果を見た後の感染確率」であり,事前確率 を必ず掛けて比較する。
解答
感染している事象を ,陽性反応が出る事象を とする。感染率は であり,試薬の性質から
- Bayes の定理より
- 陽性反応が出たとき実際に感染している確率は これが を超える条件を解く。, と書けば 分母は正なので すなわち よって 右辺は約 である。したがって なので,条件を満たす最小の自然数は である。
最終答
年度別の解答例
階数と連立一次方程式の整合条件 / 2つの放物線上の点の距離 / 二点境界条件付き線形常微分方程式
楕円体と円柱条件の共通部分 / 二変数関数の極値判定 / 単調列と指数型列
主値積分 / 二次曲線上の積の極値 / 冪級数の収束半径
一次微分方程式 / 4次元球の体積 / 導関数の極限と微分可能性
三角関数の定積分 / 定数係数線形微分方程式 / 凸関数の導関数の極限
有理関数の広義積分 / 二変数関数の極値 / 正則行列の開性と行列冪の極限
パラメータ付き有理型積分 / 偏導関数が消える関数 / 行列の冪と作用素ノルム
三角置換と周期積分 / 行列の核と階数1行列 / 制約付き極値
二重積分と球・円柱の共通部分 / 二次形式の最大値と固有値 / 漸化式と収束半径
2016年度最終答まで公開
円盤上の積分と差分商 / 数列空間と線形漸化式 / 留数定理によるフーリエ型積分
2015年度最終答まで公開
重積分と広義積分 / 階段型行列の行列式 / Rodrigues型多項式と直交性
2014年度最終答まで公開
変数変換とベータ積分 / 多項式の零点と三角格子 / 直交行列のCayley変換
2013年度最終答まで公開
多項式空間上の線形変換 / 積分剰余と凸性 / 巡回行列の固有値
2012年度最終答まで公開
積分の変数変換 / 実数連立方程式 / 指数型母関数と3周期列
2011年度(このページ)最終答まで公開
積分評価 / 線形部分空間 / 正則関数と調和共役
2010年度最終答まで公開
広義積分と留数計算 / 行列の核の次元 / 複素数列の周期性
2009年度最終答まで公開
制約付き最大化 / 歪対称行列と非対角化性 / 単位円上の留数計算
2008年度最終答まで公開
球と円柱の共通部分の体積 / 同伴行列の固有多項式と対角化 / 有界正則関数の係数評価
2007年度最終答まで公開
左右から近づく微分商 / 楕円体の体積 / 留数による有理関数積分
2006年度最終答まで公開
漸化式と階乗正規化 / 二変数関数の極値 / 単位円上の留数計算
2005年度最終答まで公開
可積分条件と無限遠での極限 / 極座標でのラプラシアン / フーリエ型積分と留数
2011年度の出題内容
同じテーマを出した他大学・他年度
前年度(2010年度)との違い
- 大問数
- 2010年度 5問 → 2011年度 5問
- 両年度に出たテーマ
- 重積分と極座標
大阪大学の他の解答PDF
院試対策ガイド
大阪大学の公式過去問
- 公開年度範囲
- 専攻・科目別に掲載(情報基礎数学は2005〜2026年度、情報数理・生物情報は2022〜2026年度など)
- 公式の解答例
- 解答例の掲載なし
- 英語の扱い
- 2027年4月一般は情報基礎数学のみ90分の独自英語。情報科学専攻は2024年7月以降のTOEIC公開スコア、提出困難ならTOEFL。IP・ITP不可。