学生版 社会人版
JA EN
ホーム › システム基盤

⬢ FIELD

システム基盤

AIを動かす足場そのもの。OS・ネットワーク・データベース・言語処理系・セキュリティ・クラウドを、仕組みから理解する。

0章 22基礎 2論文解説 0動かす

この巻は ①教科書 → ②基礎 → ③論文解説 → ④ラボ の順に進むと、前提を飛ばさずに読めます。

② 基礎

前提知識を置かずに、その分野の考え方を組み立てる記事。ジャンル順に並べています。

OSと実行環境

プロセス・メモリ・コンテナ。プログラムが動く土台

  1. プロセスとメモリを1から — OSは何を守っているのか 無料
  2. コンテナを1から — namespaceとcgroupの正体 ★ 会員
  3. ファイルシステムを1から — 「保存した」は何を保証するか ★ 会員

ネットワーク

TCP/QUIC・DNS・CDN。データが届く仕組み

  1. TCPからQUICへ — 信頼できる通信の再発明 無料
  2. DNSとCDN — URLを打ってから画面が出るまで ★ 会員
  3. HTTP/1.1→2→3 — 多重化への道 ★ 会員

データベース

内部構造・トランザクション・分散。データが消えない仕組み

  1. データベース内部構造 — SQLの1行の裏側 無料
  2. トランザクションとACID — 同時実行の地獄と分離レベル ★ 会員

言語処理系

コンパイラ・JIT・GC。コードが速く動く理由

  1. コンパイラを1から — ソースが機械語になるまで 無料
  2. JITとGC — 実行しながら速くする・掃除する ★ 会員
  3. Pythonはなぜ遅いのか、をちゃんと言う ★ 会員

セキュリティ

暗号・認証・LLM攻撃。守る側の設計

  1. 暗号を1から — 共通鍵・公開鍵・ハッシュ 無料
  2. TLSを1から — 鍵交換と証明書の仕組み ★ 会員
  3. 認証と認可 — パスワードからOAuth・パスキーまで ★ 会員

クラウドと運用

サーバーレス・コスト・可観測性。壊さず運ぶ技術

  1. サーバーレスとコスト設計 — 破産しないクラウド 無料
  2. 可観測性 — ログ・メトリクス・トレースの実務 ★ 会員
  3. GPUクラウドの経済学 — 借りるか・買うか・予約するか ★ 会員

開発プロセス

要件定義・設計・見積もり。コードを書く前に勝敗が決まる上流工程

  1. 上流工程を1から — 要件定義で勝負がつく理由 無料
  2. 要件定義の技術 — 「言われた通り」が失敗する理由 ★ 会員
  3. アーキテクチャ設計 — 後から変えられないものを見分ける ★ 会員
  4. 見積もりとスコープ — 不確実性コーンと握り方 ★ 会員
  5. AI時代の上流工程 — コードが安くなると何が価値になるか ★ 会員

③ 論文解説

元の論文を読んで書いた解説。各記事に論文ページとPDFへのリンクを付けています。

  1. 分散データベース — CAP・レプリケーション・合意 ★ 会員 "USENIX ATC 2014
  2. LLMセキュリティ — プロンプトインジェクションと防御 ★ 会員 arXiv:2302.12173