東大の情報科学科のカリキュラム
from 雑に読む Google SWE対策
東京大学理学部情報科学科コンピュータ科学専攻のカリキュラム
https://www.is.s.u-tokyo.ac.jp/student/lecture/ に全体像がある
4年は明らかにSWE面接に出なそうなのでそれ以外を書く
情報数学
符号理論、情報理論入門、群・環・有限体の情報科学的展開
離散数学
グラフ理論、線形計画法、マトロイド理論、離散最適化法
アルゴリズムとデータ構造
問題解決のアルゴリズム、リスト、木、ハッシュ、ソート、グラフ
統計と最適化
統計的推定、仮説検定、凸最適化、確率的最適化
形式言語理論
オートマトン
正規言語
文脈自由言語
チューリングマシン
情報論理
一階述語論理の構文論・意味論、計算可能性、不完全性定理
言語処理系構築の理論と技術、構文解析、最適化
オペレーティングシステム
プロセス、プロセス間の同期・通信、仮想記憶、ファイル入出力、実時間処理
計算機構成論
コンピュータアーキテクチャ、プロセッサアーキテクチャ、キャッシュメモリ、命令レベル並列性
言語処理系論
計算量理論
チューリングマシン、計算量、NP完全、近似アルゴリズム
連続系アルゴリズム
浮動小数表現、常微分方程式の解法、数値積分、行列アルゴリズム、数値的安定性の理論
知能システム論
人工知能の基本技法、発見的探索、知識表現、機械学習・言語理解
言語モデル論
プログラミング言語のモデル、意味論、帰納的関数、λ計算、作用型並列処理、型推論
情報セキュリティ
公開鍵、暗号、認証、電子署名、 個人情報、デジタルフォレンジック
コンピュータネットワーク論
コンピュータネットワークの基礎、インターネット技術、経路制御