関東 · 東京科学大学
東京科学大学 情報理工学院 情報工学系 院試対策|5商品年度30ファイルで読む選択順
東京科学大学(旧東工大)情報理工学院 情報工学系の院試過去問対策。2025・2024・2023・2022・2020商品年度の30本のローカル解答ファイルから、数学、論理、形式言語、アルゴリズム、制御、計算機アーキテクチャの選択順と答案開始を整理します。
最終更新: 2026-05-30
公式過去問PDFと併用する、院試hub(東大大学院出身者が運営する解答制作チーム)独自の解答・解説PDF。問題本文は含みません。
このガイドでは、東京科学大学 情報理工学院 情報工学系について、 InshiHubで作成済みの2025・2024・2023・2022・2020商品年度のcomputer-science/solutions/problem01.tex〜problem06.tex、合計30ファイルを確認しました。実質的な解答は21本で、2025年度と2024年度のproblem04〜problem06、および2023・2022・2020年度のproblem06は、ローカル解答上では「公式PDFに該当設問なし」として確認されています。
結論から言うと、東京科学大情報工学系は「プログラミングができるか」だけの試験ではありません。最初の10分で、数学・確率、論理/形式言語、アルゴリズムを優先して読み、制御と計算機アーキテクチャは表や伝達関数を答案の冒頭に置ける場合だけ取りに行く準備に寄せるべきです。公式ページは2026年5月30日に確認し、情報工学系について2024・2023・2022・2021・2019年実施問題のリンクと、2020年は筆答試験なしという注記を確認しました。この記事では公式問題文、公式図表、出題の意図本文は転載せず、ローカル解答制作で見えた対策判断だけをまとめます。
この分析で見た材料
| 材料 | 確認範囲 | 読者への使い方 |
|---|---|---|
| ローカル解答TeX | answers/institute-of-science-tokyo/school-of-computingの2025・2024・2023・2022・2020商品年度、情報工学系problem01.tex〜problem06.tex。 | 解答見出し、InshiHubPoint、該当設問なしメモから、どの分野を先に読み、どの一行で答案を始めるかを抽出する。 |
| source notes | 公式ファイル名は exam_cs_20248、exam_cs_20238、exam_cs_20228、exam_cs_20218、exam_cs_20198。 pdfinfoは10p、11p、16p、11p、11p。 | 公式PDFが画像ベースでOCRを併用していること、問題本文を販売PDFや記事に転載しない方針を確認する。 |
| 公式ページ | 東京科学大学の大学院過去問ページを2026年5月30日に確認。 | 情報工学系の公開年度、2020年筆答試験なし、私的利用以外の複製・転載・転用禁止を確認欄に置く。 |
年度別テーママップ
下の表は問題本文の要約ではなく、ローカル解答ファイルの見出しと解説ポイントから、準備判断に直結するテーマだけを整理したものです。商品年度はInshiHub内の年度表示で、公式過去問ページ上の実施年とは1年ずれるものがあります。
| 商品年度 | 確認した解答見出し | 重かった論点 | 準備への示唆 |
|---|---|---|---|
| 2025 | 微分・線形独立・二変量正規分布、正規文法・有限オートマトン・言語族、格子経路と再帰・動的計画法。 | 媒介変数表示、係数ベクトルでの独立判定、二変量正規、正規文法とNFA、DP配列の添字。 | 直近側の入口年度。数学、形式言語、DPの3本を90分で一度解き、答案冒頭を短く置けるかを確認する。 |
| 2024 | 行列式・二次形式・変数変換、文法・オートマトン・論理、計算量と二分探索木。 | 行列式の積、二次形式の勾配、密度の変数変換、導出木、NFA、無矛盾性、BSTの重複値、AVL回転。 | 「計算できる」だけでは弱い年度。変数変換のヤコビアン、文法とオートマトンの対応、木の不変条件を答案に残す。 |
| 2023 | 漸化式と歪対称行列、論理式・自然演繹・文法、スタックと動的計画法、ラプラス変換とフィードバック制御、論理回路とパイプライン。 | 漸化式の行列化、量化記号、あいまい性、substring/subsequence、編集距離、Bode線図、Routh条件、データハザード。 | 情報工学系らしい横断年度。アルゴリズムだけでなく、制御と計算機アーキテクチャを表にできるかで選択幅が変わる。 |
| 2022 | 対称行列の固有値分解、形式言語と論理、ヒープ配列とヒープソート、PID制御と安定判別、8ビットプロセッサ。 | ユニタリ性とエルミート性、文法の分担、冠頭標準形、下方調整の不変条件、閉ループ分母、Routh判別、出力タイミング。 | 対策の基準年度。数学、論理、ヒープ、制御、プロセッサのうち、2本を主力、1本を保険にする構成を決める。 |
| 2020 | 極限・行列式・確率、命題論理と一階述語論理、整列アルゴリズムと反転数、ラプラス変換と2次系、順序回路とカウンタ。 | 極限処理、行列式の積、密度関数の積分、検定、自然演繹、量化順序、反転数、マージ添字、初期値、Gray符号。 | 旧年度側の広さを確認する年度。論理回路・制御まで準備できる人は強いが、数学とアルゴリズムの基本を崩さない方が優先。 |
最初の10分で見る場所
いきなり一問目から解き始めると、得意な問題を見落とします。最初の10分は、完答できる問題を探す時間ではなく、答案の一行目が書ける問題を拾う時間にしてください。
| 判断 | 先に見る分野 | 一行目の確認 | 保留条件 |
|---|---|---|---|
| 先に取る | 数学・確率、形式言語、アルゴリズム/DP | 行列の標準形、密度の正規化、NFA/CFGの構成対象、DP状態と添字をすぐ置けるか。 | 確率密度や配列添字の定義が曖昧なら、計算量だけで押し切ろうとしない。 |
| 得意なら拾う | 制御、ラプラス変換、論理回路、プロセッサ、パイプライン | 伝達関数、閉ループ分母、状態遷移表、命令実行の時系列、ハザードの種類を書けるか。 | Routh表、初期値、クロック単位、出力タイミングを表にできないなら深追いしない。 |
| 最後に回す | 量化記号の深い証明、自然演繹、回路設計の細部、制御の根軌跡 | 反例、導出木、根の条件、状態名がすぐ決まるかだけ確認する。 | 説明が「それっぽい日本語」だけになりそうなら、部分点を作れる主力分野へ戻る。 |
分野別の答案開始テンプレート
数学・確率
答案開始は、式変形ではなく設定の固定です。行列なら「対象行列の対称性、固有値、核、二次形式を先に置く」。確率なら「密度の台、正規化定数、変数変換、検定統計量を先に書く」。2025の二変量正規、2024の変数変換、2022の固有値分解、2020の密度関数は、最後の計算より前の設定で答案の強さが決まります。
失敗モードは、行列式を展開で押し切る、二次形式の勾配を列ベクトルの向きなしで書く、確率密度の台を書かない、検定で棄却域だけを書いて統計量を置かないことです。
論理・形式言語
形式言語では「構成する文法、オートマトン、または反例文字列を先に決める」。論理では「命題記号、量化記号の順序、自然演繹で使う規則を先に書く」。2025の正規文法、2024のNFA、2023の自然演繹、2022の冠頭標準形、2020の一階述語論理は、記号の置き方がそのまま採点対象になります。
失敗モードは、閉包性を使う向きを逆にすること、導出木の左右順を曖昧にすること、全称記号と存在記号の順序を日本語の雰囲気で処理することです。
アルゴリズム・データ構造
アルゴリズムは「状態、添字、不変条件、計算量の変数を最初に宣言する」のが入口です。2025の格子経路とDP、2024の二分探索木、2023のスタックと編集距離、2022のヒープソート、2020の整列と反転数は、実装経験だけでは答案になりません。配列添字、親子関係、遷移式、マージの境界を紙面で追える形にしてください。
失敗モードは、substringとsubsequenceを混同する、BSTで重複値の扱いを書かない、heapifyの不変条件を説明しない、DP配列の初期条件を省くことです。
制御・ラプラス変換
制御を選ぶ場合は、「入力、出力、伝達関数、閉ループ分母、安定判別の表」を先に作ります。2023のフィードバック制御、2022のPID制御、2020のラプラス変換では、式を覚えているかより、初期値、時間遅れ、分母多項式、Routh条件を整理できるかが重要です。
失敗モードは、初期値を入れ忘れる、閉ループ分母ではなく開ループの式で安定性を見てしまう、積分器の効果を定常偏差と結びつけずに説明することです。
計算機アーキテクチャ・論理回路
計算機系は、文章で説明する前に表を作ります。プロセッサなら「命令、レジスタ、出力タイミング」、パイプラインなら「ステージ、依存関係、ハザード、停止サイクル」、順序回路なら「現状態、入力、次状態、出力」を先に置きます。2023のパイプライン、2022の8ビットプロセッサ、2020の順序回路は、図を眺める時間より、状態表を作る時間の方が得点に近いです。
失敗モードは、組合せ回路と順序回路を混同する、出力がどのクロックで出るかを書かない、Gray符号の利点を「便利」とだけ書く、データハザードの種類を区別しないことです。
参考書の戻り先
- 線形代数は、固有値・対角化・二次形式・行列式の章に戻る。計算練習だけでなく、核と像、係数ベクトル、勾配を一行で説明する練習を入れる。
- 確率統計は、密度関数の変数変換、二変量正規、検定統計量、期待値と分散の章を使う。分布名暗記ではなく、台と正規化から書く。
- 論理と形式言語は、命題論理、一階述語論理、自然演繹、正規文法、有限オートマトン、文脈自由文法の章を往復する。導出木とNFAを手で描く練習が必要。
- アルゴリズムは、ヒープ、ソート、反転数、動的計画法、二分探索木、AVL回転の章へ戻る。CLRS型の証明では、ループ不変条件と添字を省かない。
- 制御は、ラプラス変換、伝達関数、フィードバック、Routh判別、Bode線図の章に絞る。制御全体を広く読むより、閉ループ分母を作る練習を優先する。
- 計算機アーキテクチャは、順序回路、カウンタ、プロセッサ、パイプライン、ハザードの章を使う。用語暗記ではなく、状態表と時系列表を書く。
直前期に広げすぎないもの
機械学習、データベース、ネットワーク、分散システム、競技プログラミングの難問を広く読むより、まず上の5分野を答案化してください。特に、競プロ経験がある人ほど、DPや探索をコードのイメージだけで処理しがちです。本番の答案では、状態定義、初期条件、漸化式、計算量を紙に残さないと点になりません。
逆に、制御と回路をまったく捨てるのも危険です。主力にしなくても、伝達関数と状態表の入口だけ作っておくと、数学・論理・アルゴリズムで詰まったときの保険になります。
90分で1年度を回す演習手順
- 最初の10分で全問を読み、数学、論理/形式言語、アルゴリズム、制御、計算機系のどれに分類されるかだけを書く。
- 次の45分で主力2問を解く。各答案の一行目に、標準形、台、文法、状態、添字、伝達関数、状態表のいずれかを置く。
- 次の25分で保険1問を処理する。完答狙いではなく、採点者が追える表、定義、遷移式、不変条件を残す。
- 最後の10分で、量化記号の順序、配列添字、Routh表の符号、密度の正規化、回路の出力タイミングを確認する。
自己採点チェックリスト
- 数学で、行列の性質、変数変換のヤコビアン、確率密度の台を書いたか。
- 論理で、命題記号、量化記号の順序、使用した推論規則が見えるか。
- 形式言語で、文法、オートマトン、閉包性、反例文字列のどれを使うか明確か。
- アルゴリズムで、状態、添字、初期条件、不変条件、計算量の変数を落としていないか。
- 制御で、開ループと閉ループ、分母多項式、Routh条件、初期値を混同していないか。
- 計算機系で、状態遷移表、命令実行表、パイプライン表、出力タイミングを書いたか。
- 「公式PDFに該当設問なし」の年度では、解答対象外ファイルを問題数として数えず、実質解答だけで演習計画を立てたか。
公式情報の確認
2026年5月30日に、東京科学大学の大学院過去問ページを確認しました。情報理工学院 情報工学系について、2024・2023・2022・2021・2019年実施問題が掲載され、2020年は筆答試験を実施しなかったため問題を掲載しないと案内されています。同ページには、私的利用以外の目的での複製、転載、転用を禁じる注意もあります。出願年度の試験内容、日程、英語、口頭試問は必ず最新の募集要項で確認してください。
InshiHub解答パックの使い方
まず公式PDFだけで90分演習を行い、最初の10分の分類表、主力2問、保険1問、撤退した問題の理由を残してください。その後で東京科学大 情報理工学院 情報工学系の院試 過去問 解答PDFを開き、答案の始め方とInshiHubPointを照合します。正解した問題でも、添字、台、量化記号、状態表、Routh表のどれかが抜けていたら、本番答案では減点される可能性があります。
特に2025のDP、2024のBST、2023のパイプライン、2022のヒープとPID制御、2020の順序回路は、解答を見て終わりにしないでください。自分の答案に「最初の一行」と「表」があるかを確認し、2周目では同じ年度を短時間で選び直す練習に使うのが効果的です。
東京科学大 院試 の他専攻ガイド
東京科学大(旧東工大)の計算機科学系は形式言語・OS・アルゴリズム・コンピュータアーキテクチャの総合戦です。計算機科学で身につけた「不変量・計算量の宣言」は、数理・計算科学の数学、情報通信系の信号処理、システム制御系の制御理論でも答案の骨格として効きます。下記の同大学他専攻ガイドも合わせて読むと、東京科学大 院試 全体の科目選択判断ができます。
この大学・研究科の解答パック
上記の出題範囲をカバーするオリジナル解答・解説PDFを年度別に整備しています。
対応する解答パックを見る東京科学大学 東京科学大 情報工学 過去問 院試 — 出題範囲・倍率・日程・面接・研究計画書
筆記対策と並行して、東京科学大学 院試の倍率・日程・配点・出題範囲・面接対策・研究計画書・英語スコア要件・準備のタイムラインを確認できます。
よくある質問
- この記事は東京科学大情報工学系の募集要項まとめですか。
- いいえ。InshiHubで作成した2025・2024・2023・2022・2020商品年度の解答TeX、source notes、公式過去問ページを確認し、過去問を最初の10分でどう読むか、答案をどの一行から始めるかに絞った記事です。
- 東京科学大情報工学系は何から対策すべきですか。
- まず数学・確率、論理と形式言語、アルゴリズムを同じ週で回してください。制御や計算機アーキテクチャは得意なら得点源ですが、伝達関数、状態表、アクセス列を答案冒頭で置けない場合は深追いしない判断が必要です。
- 2024年実施以降は問題数が少ないですか。
- ローカル解答では、2025商品年度と2024商品年度は各6ファイルのうち実質解答が3本で、problem04〜06は公式PDFに該当設問なしという確認メモです。公式ページでは情報工学系の2024・2023・2022・2021・2019年実施問題が掲載され、2020年は筆答試験なしと案内されています。
- 数学だけ、またはプログラミングだけで押し切れますか。
- 危険です。直近側のローカル解答では数学・確率、文法/オートマトン、動的計画法が中心ですが、旧年度側では制御、順序回路、プロセッサ、パイプラインも出ています。主力を2分野に決めつつ、保険としてもう1分野の答案開始を作る方が安定します。
- InshiHubの解答パックはいつ使うべきですか。
- 公式PDFを制限時間で解いた後に、答案冒頭、状態定義、添字、真理値表、Routh表、回路状態表などを照合する用途で使ってください。最初から解答を見るより、選択判断と撤退理由を先に残す方が効果的です。