↓メインコンテンツへスキップ

OS

セキュアすぎる！形式証明済みSeL4マイクロカーネル入門[pdf]：堅牢性の秘密とは？
·3 分
2025/03 SeL4 マイクロカーネル セキュリティ 形式証明 OS
Linuxの初期の歴史を振り返る！1992年からの進化と懐かしい思い出
·2 分
2025/03 Linux テクノロジー 歴史 コンピュータ OS