2026-05-28

フォント設定

code:css

body {

font-family: "BIZ UDGothic", "Meiryo", sans-serif;

}

社内研修

システムプログラミング

イリノイ大学の教授が、既存のシステムプログラミングの教科書に不満を感じた

そこで、ウィキブックプロジェクトを始め、学生たちに手伝ってもらって執筆した

C言語、プロセス、スレッド、同期、メモリ割り当て、ネットワーク、ファイルシステム、スケジューリング、セキュリティを扱っている

すべてが1つの無料PDFにまとめられている

最終的に、UIUCのCS 241の公式教科書となり、毎年1000人以上の学生がその授業を受けている

すでにプログラミングのやり方を知っていて、下層で何が実際に起こっているのかを理解したい人向けに書かれている

形式化

型理論

A type is inhabited if it has constructors and therefore can be instantiated. An inhabited type is not “empty” in the sense that there can be values of the type. Opposite of Uninhabited.

その型に属する具体的な値（インスタンス）が存在し、空（から）ではない型