東大 コンピュータ科学 専門科目（コンピュータ科学） 院試 過去問 解答・解説【5年分】

年度別の出題内容と解説の見出し

1. 2026年度の解答・解説全4大問
   • 第1問 情報形式言語とオートマトン解説: 削除操作の見方 / 正規表現の作り方
   • 第2問ページングとTLB解説: ページテーブルサイズの基本 / FIFOの落とし穴
   • 第3問 電磁気学・回路パイプラインと論理回路解説: パイプライン時間の分解 / ゲート数制限への対応
   • 第4問有限差分と対数時間探索解説: 有限差分の係数 / 最大値探索の見方
2. 2025年度の解答・解説全4大問
   • 第1問 情報形式言語とオートマトン解説: 平方根言語の見方 / 正規言語で閉じる理由
   • 第2問パイプラインとキャッシュ解説: CPIの分解 / ラインサイズの決まり方
   • 第3問スケジューリングとセマフォ解説: 待ち時間の数え方 / SRTFとセマフォの相互作用
   • 第4問グラフの連結度とサイクル解説: サイクルと2本のパス / 新しい頂点を足す補題
3. 2023年度の解答・解説全4大問
   • 第1問半分接頭辞と言語クラス解説: 前半だけを見る操作 / DFAでの構成
   • 第2問 情報集合分割の近似アルゴリズム解説: 平均下界と最大要素下界を組み合わせる / ループ回数の証明で見るべき不変量
   • 第3問ページ置換解説: LRUと最適置換の違い
   • 第4問キャッシュとCPI解説: リトルエンディアン / CPI式の作り方