OSの核心をコードで学ぶならこれ！MIT教材「xv6」と電通大の日本語訳テキストが素晴らしい

MIT teaches operating systems by giving students a complete Unix-like kernel and asking them to modify it.

it's called xv6, a ~6,000-line reimplementation inspired by Unix V6.

processes, system calls, virtual memory, and filesystems are all there pic.twitter.com/sFiHWgMmHb
— trish (@TrisH0x2A) September 22, 2026

オペレーティングシステム（OS）の仕組みを一から本格的に学びたい方に、ぜひおすすめしたい教材を見つけたのでご紹介であります。

かつて「UNIX 4.3BSDの設計と実装」（通称：悪魔本）などに挑んだ経験がある方も多いと思いますが、現代のLinuxやFreeBSDなどのOSは数百万行を超える巨大な規模に成長しています。いきなり本物のソースコードを読んで全体像を掴むのは、ハードルが高く挫折しやすいのが現実です。

そこで最適なのが、MITの教育用OS「xv6」であります。

👉 Xv6, a simple Unix-like teaching operating system（MIT公式サイト）

xv6が学習に最適な3つの理由

コード量が約6,000行と極めてコンパクト
Unix Version 6（V6）の基本設計を踏襲しつつ、無駄を削ぎ落としているため、個人でも全体のコードを読み切ることができます。
現代の標準アーキテクチャ「RISC-V（マルチコア）」に対応
古き良きUnixの設計思想を、今まさに注目を集めるRISC-V環境で学べます。
充実した講義テキストと「日本語訳」の存在
MITの公式テキストが配布されているだけでなく、電気通信大学の菅原研究室によって日本語訳テキストが無償公開されています。難解なカーネルの概念を母国語でじっくり追えるのは本当にありがたい環境です。

👉

RISC-V版xv6テキストの和訳（電気通信大学菅原研究室）

まず何から始めるべき？

まずは和訳テキストの「第0章（OSのインターフェース）」に目を通し、興味が湧いたらローカル環境（QEMUエミュレータなど）でxv6をビルドして動かしてみるのがよいかと思います。

「プロセス管理」「仮想メモリ」「ファイルシステム」といっOSの本質的なコア構造を、実際のコードを追いながら学びたい人にとって、これ以上の教材はないのではないでしょうか。

ちなみに悪魔本は「BSDカーネルの設計と実装改訂2版 FreeBSD詳解」が今年出版されたようです。xv6で基礎を学んだ後は、こちらも手に取ってみてもよいかと思います。

このブログの人気の投稿

ソフトウェア開発に関して個人的に有益な情報

ソフトウェア開発に関して個人的に有益と思った論文・資料等を列挙します。随時、追加・更新していく予定です。

「 UMLモデリングツールのインストール〜PlantUML〜」に引き続き、Papyrusを試してみるのであります。少し間が空いてしまいました・・・。インストール Eclipse バージョンは2022‑12。「Eclipse Modeling Tools」をインストール。 Papyrus Eclipseを立ち上げて、"Help" > "Install New Software"メニューで、サイト"2022-12 - https://download.eclipse.org/releases/2022-12/"を選択。"Modeling"の中に"Papyrus for UML"があるのでインストール。公式サイトには特に記載はないのですが、実はこれだけだとUML図しか書けない。SysML図も書きたい場合は、"Help" > "Eclipse Marketplace"メニューから、"Papyrus SysML 1.6"をインストールする必要があります。インストールは以上であります。動作確認 "File" > "New" > "Examples"メニューから、"Basic Papyrus Model Examples"の"User QVTO Example"を開いてみます。このような感じでモデルを見ることができました。 Papyrusは機能が豊富そうでありますが、PlantUMLの方が断然お手軽。メインはPlantUMLになりそうです。参考になれば。

仕事で役に立ちそうなClaudeリンク集

AI活用していますか？悩めるエンジニアはGeminiでちょっとした整理をお願いする、Notebook LMで技術文献の整理をする程度の使い方しかできていないのですが、AIを使い込んでる若手からClaude Codeが優秀と聞くなど。そして、Claudeを開発しているAnthropicのCEOである Dario Amodei氏は、「【Anthropicが世界を変える】ダリオ・アモデイの警鐘：コード90％自動化への最終カウントダウン」にあるとおり、「3～6 か月後には AI がコードの 90％を執筆」、「12 か月後にはほぼすべてのコードを AI が書く」という見通しを語ったとか。そんなClaude Codeが優秀と言われる所以は「Skills」という仕組みにあるようです。「Skills」については「【2026年最新版】Skillsって結局なに？ ― 作成から活用まで実践ガイド」などに詳しいですが、この「Skills」、簡単に共有できるというところが一番のポイントじゃないかと。すでに世界中のエンジニアが作成した「Skills」がたくさん公開されているようです。悩めるエンジニアの仕事がなくなってしまいそうですね・・・。というわけで、Claude Codeの解説や「Skills」公開サイトのリンクを集めてみました。

高校生と語り合った「AIでは代替不可な価値」、これからの人生で守りたいもの

Image by Christiaan Tonnis, via Wikimedia Commons 「加速するAI社会で「無駄」と「芸術」を握りしめる理由」で書いたことについて、優秀な高校生とチャットする機会がありました。会話を通じて確信したのは、1960年代から70年代に吹き荒れた「ヒッピー」文化のような、巨大なカウンターカルチャーが再来するのではないか、ということです。実際、この予感は私だけのものではありませんでした。詳しくは「「満たされすぎる社会」とカウンターカルチャーの再演――1960年代とAI時代をつなぐ視点―― 」を見ていただきたいですが、今後は「AIでは代替不可能な価値」への志向が、これまでになく強まっていくでしょう。ジョージ・オーウェルが「 1984 」で描いたディストピアへ向かうのか、それとも人類の定義を塗り替えるような分岐点に立つのか。私たちは今、歴史の特等席に座っているのかもしれません。効率や正解ばかりが求められる時代だからこそ、あえて「無駄」を愛し、「芸術」に震える。そんな人間らしい手触りを大切にしながら、子どもたちと一緒に、この激動の時代を面白がって生きていきたい。そんなことを思ったのでした。

オクトパスエナジーにチェンジ

暑い日が続きます。電気代もうなぎのぼり・・・。我が家はオール電化で、東京電力の「電化上手」というプランをずっと使ってきました。料金設定は以下のような感じであります。在宅勤務も多く夏場はエアコンをつけっぱなしなのですが、夏場の昼間の料金が高く、今年の３月で最大5%の割引がなくなってしまったので、会社を変更しようと考えていたところに目に入ってきたのがオクトパスエナジーという会社の広告。調べてみると以下のような料金設定。燃料調整費を加えて、昼間27.35円、夜間20.7円、夏場だと昼間が約37%、夜間が約28％安くなるという計算になりました。計算どおりだとかなりお安くなるのであります。「友達紹介割」で8,000円の割引が付くのも大きい。というわけで、オクトパスエナジーにチャンジしました！！結果が出たらまた報告したいと思います。オクトパスエナジーへの変更を検討されている方はぜひ以下のURLから。「友達紹介割」で8,000円の割引になりますよ！！ https://octopusenergy.co.jp/friend/contrary-berry-425

加速するAI社会で「無駄」と「芸術」を握りしめる理由

ここしばらく、AIという巨大な波に向き合い、思考を積み重ねてきました（ちょっと大げさか・・・）。技術の裏側にある「嘘」や「消費電力」の正体から、言語の本質、そして私たちの生存戦略まで。書き続けるうちに、抱えていた得体の知れないモヤモヤが、ようやく晴れてきたように感じています。これまでに執筆した、AI時代の歩き方を考える6つの記事をご紹介します。 AIの「嘘」と「電力大食い」の正体は？「言語の本質」 AIで「速く」なった今、私たちが失ったもの AI時代に「無駄」を愛する勇気 AIは「意味」を理解するのか？「記号創発システム論」から見えた次世代AIの姿「人的資源」に成り下がらないために AIに「悪意」は不要、人類が資源として排除される未来と、私たちが抗う術見えてきたのは、AIが単なるツールではなく、「収奪的な資本主義」を加速させる「装置」になり得るという危うい現実です。効率だけを追い求めれば、私たちはいつの間にか「資源」として駆り立てられ、人間としての本質を見失ってしまうかもしれません。だからこそ今、あえて「効率」の対極にある時間を大切にしたいと考えています。役に立たないとされる芸術的な時間や、答えのない問いに沈潜すること。それが、AIという加速装置に飲み込まれず、自分自身を取り戻すための、ささやかで強力な「抵抗」になるはずです。子どもたちと一度こういった議論をしてみたいと思います。

あの名店の革新スープがSAで？未体験だった「せたが屋」守谷SA店へ足を運んでみた

「ミスターラーメン」こと前島司氏が創業し、動物系×魚介系の革新的スープで一世を風靡した名店「せたが屋」。昼は塩ラーメン専門店「ひるがお」に変わる二毛作営業や海外進出でも知られる、誰もが知る有名店であります。そんな本格派の味が、実は常磐自動車道の守谷SA下りで気軽に楽しめるとご存知でしたか？「いつか行こう」と思いつつ未体験だったのですが、満を持して足を運んでみました。今回チョイスしたのは、「のり玉らーめん」。チャーシュー、メンマ、ネギに、とろりとした煮卵と香ばしい海苔が乗った、まさに王道のビジュアル。注目のスープを一口すすると、ガツンとくるかと思いきや、体に優しく染み渡る絶妙な味わい。その分、濃いめに味付けされたメンマと煮卵がよいアクセントになっていて、全体のバランスが計算し尽くされています。この日は午前中の草刈りで体がヘトヘトだったのですが、優しく染み渡るスープで疲れが吹き飛んだのでありました。サービスエリアでこのクオリティのラーメンがサクッと食べられるのはうれしい限り。お腹も心も満たされる大満足の一杯、ちょくちょく足を運ばせてもらおうと思います。守谷SAにお立ち寄りの際はぜひどうぞ。

羅家東京豚饅エキュート秋葉原店

もうすぐお正月。お正月が近づいてくると望郷の念に駆られます。悩めるエンジニアが生まれた関西で豚饅といえば「551蓬莱」、関東には出店してないのでありますが、エキュート秋葉原にできた「羅家東京豚饅」は「551蓬莱」の創業者の孫にあたる方が創業者の味を再現すべくオープンしたお店と知るなど。そんなわけでたまのお土産をかねて買ってみるなど。スタンダードな豚饅が売り切れていたので、黒胡椒豚饅を購入。これが当たりでありました。甘めの生地に黒胡椒のパンチが効いた餡が合う！！たいへんおいしくいただきました。ちょくちょくお土産にさせていたたこうと思います。近くに来られた際はぜひどうぞ。

最近の地震頻発は首都直下の前兆？データ可視化と今すぐすべき備え

2026年に入り、「最近、大きめの地震が頻発しているな・・・」と不安を感じていたりしないでしょうか？実際、今年発生した震度5以上の地震を可視化してみたところ、12件のうち実に9件（75%）が4月〜6月のわずか3ヶ月間に集中して発生していることが分かりました。特に気になったのは、6月25日の岩手県沖（震度6強）の翌日に発生した、6月26日の山梨県東部・富士五湖（震度6弱）の地震です。「これらは連動していて、首都直下型地震の引き金になるのでは？」と素人ながら心配になりました。しかし調べてみると、これらは数百キロメートル離れており、属するプレート構造も異なるため、片方がもう片方を直接引き起こした（連動した）とは言えず、偶然時期が重なったと見るのが地震学的には自然なようです。むしろ私たちが心配すべきは、4月1日と6月16日の茨城県南部（震度5弱）、そして6月26日の山梨県東部・富士五湖（震度6弱）の動きです。関東周辺の地殻活動がアクティブ（活発）な状態にあることは確かなようです。今回の地震を首都直下型地震の「直接の予兆」と過度に恐れる必要はなさそうですが、「関東一帯の地下に歪みがたまっているサイン」として受け止め、日頃の備えを再チェックする最高の契機にしたいところです。悩めるエンジニアは、さっそくデスク周りのPCモニターの固定を強化し、水やカセットボンベのストックをチェックしておきました。みなさんの備えは大丈夫ですか？これを機にチェックしてみてください。

market

所用があり久々につくば駅へ。ちょっと小腹がすいたのでお茶でもと思いトナリエに足を運んでみるとスタイリッシュなオープンキッチンが目に入る。「 market 」さんというカフェでありました。サステナブルな暮らしや地域のつながりを大切にしたいという思いで「 Villege Market Tsukuba 」というマーケットを主催されているご夫妻が活動の場として新たにオープンしたレストランだそうです。スタイリッシュですし、店内に流れる音楽も悩めるエンジニア好み。もちろんコーヒーとケーキもおいしくいただきました。ちょくちょく利用させてもらうと思います。気になった方はぜひ足を運んでみてください。

悩めるエンジニアの気まぐれ日誌

このブログを検索