COMPUTER SCIENCE, CONNECTED
仕組みを知る。
知識がつながる。
「動いた」の先にある、なぜ。
コード、メモリ、CPU、OSを行き来しながら、
計算機の中で起きていることを理解する。
教材は登録なしで読めます。
let total = 0;
for (const value of values) {
total += value;
}ひとつの処理を、いくつもの層から見る。
- 公開教材
- 13単元
- 体系マップ
- 22分野
- 学習の道筋
- 3コース
CHOOSE YOUR STARTING POINT
どこから、学び始めよう。
目的に合わせて、最初に読む教材を選びます。
OPEN TEXTBOOKS
基礎から、ひとつずつ。
具体例をたどり、コードの背後にある仕組みを考える教材です。
KNOWLEDGE MAP
全体の中で、今学ぶことを見つける。
公開教材と今後扱う単元を見渡せます。単元を選ぶと、学習目標と前提が表示されます。
数学と論理
離散数学・論理・証明
CSで扱う離散構造を、集合・関係・論理・証明・帰納法の共通言語で理解する。
線形代数
ベクトル、行列、線形写像、固有値、分解を通じて多次元構造を扱う。
確率統計
不確実性を確率変数と分布で表し、標本から推定・評価する。
微積分・最適化
変化率、勾配、連鎖律、凸性、最適化を機械学習とシステム分析へ接続する。
計算機科学の基礎
プログラミング基礎
コードの記述だけでなく、実行・メモリ・抽象化・デバッグまで理解する。
アルゴリズムとデータ構造
計算手順とデータ表現を、正しさ・計算量・実測性能の観点から理解する。
計算機アーキテクチャ
命令、CPU、パイプライン、キャッシュ、I/O、マルチコアから実行の物理的基盤を理解する。
計算理論
形式言語、オートマトン、計算可能性、還元、計算量クラスから計算の限界を理解する。
オペレーティングシステム
仮想化・並行性・永続性を軸に、計算資源の抽象化と保護を理解する。
ネットワーク
階層化、アドレス、ルーティング、信頼性、名前解決、Web通信を理解する。
データベース
データモデル、索引、問い合わせ、トランザクション、回復から永続データ管理を理解する。
システムと安全性
並行性
複数の実行が重なるときの競合、同期、順序、進行保証を理解する。
分散システム
部分障害と通信遅延を前提に、複数ノードで一貫性と可用性を保つ。
プログラミング言語・コンパイラ
構文・意味・型から、解析・変換・実行時系までを理解する。
仮想化・クラウド
VM、ハイパーバイザ、コンテナ、オーケストレーションによる資源抽象化と運用を理解する。
コンピュータセキュリティ
脅威モデル、認証認可、メモリ安全性、Web攻撃、隔離、サイドチャネルを理解する。
暗号
機密性、完全性、認証、鍵交換を支える暗号プリミティブと利用条件を理解する。
TEE・機密計算
信頼できないホスト上で実行とデータを保護し、遠隔から状態を検証する。
AIと実行基盤
機械学習
損失最小化、汎化、評価、表現からデータから規則を学ぶ原理を理解する。
深層学習
ニューラルネットワーク、誤差逆伝播、最適化、主要アーキテクチャを理解する。
Transformer・LLM
トークン化、自己注意、事前学習、生成、KVキャッシュからLLMの内部を理解する。
AI Systems
GPU実行、推論基盤、ベクトル検索、RAG、評価、観測、セキュリティを統合する。