『コンピュータシステムの理論と実装』を始めた

『コンピュータシステムの理論と実装 - モダンなコンピュータの作り方』を始めた。

コンピュータシステムの理論と実装
コンピュータを理解するための最善の方法はゼロからコンピュータを作ることです。コンピュータの構成要素は、ハードウェア、ソフトウェア、コンパイラ、OSに大別できます。本書では、これらコンピュータの構成要素をひとつずつ組み立てます。具体的には、NANDという電子素子からスタートし、論理ゲート、加算器、CPUを設計します。そして、オペレーティングシステム、コンパイラ、バーチャルマシンなどを実装しコンピュータを完成させて、最後にその上でアプリケーション(テトリスなど)を動作させます。実行環境はJava(Mac、Windows、Linuxで動作)。 ● 本書のサポートサイト ● 本書で使用するツール「Nand2tetris Software Suite」 ● 「Nand2tetris Software Suite」のチュートリアル
本書では、これらコンピュータの構成要素をひとつずつ組み立てます。具体的には、NANDという電子素子からスタートし、論理ゲート、加算器、CPUを設計します。そして、オペレーティングシステム、コンパイラ、バーチャルマシンなどを実装しコンピュータを完成させて、最後にその上でアプリケーション(テトリスなど)を動作させます。

"NAND to Tetris" と呼ばれている本。HDL で NAND だけを使って論理ゲートを書くところからはじめて、最終的に GUI でテトリスを作るコンピュータの教科書。OS 作る本、CPU 作る本、コンパイラ作る本、いろいろある「勢いで買ったけど積んじゃう系の本」のひとつだと思う。多くの人がきっと買っただけ or 途中で挫折しているのではないだろうか。私も 2020 年に購入していたけど積んであった。

最近は仕事以外でほとんど技術的なことをしてない気がして、こういうものに気長に取り組むのもいいな~と思って再挑戦。一年くらいかけてできればいいなと思ってるが、はたしてどれくらいで終わるのだろうか。

かなりボリュームがあって、特に後半が難しいみたいで挫折要素満載だけど、今の自分ならやりきれる気がする。ここ数年で物事を継続する能力がかなり高くなったし、やりきるために自分と環境をコントロールするスキルも身につけた(まだジム通いも続いてるし)。

2021年に原著で第2版が出たらしく、2024年の年末には日本語訳も出ていた。ありがたや~。第1版と比べて構成も分かりやすくなって、各種シミュレーターも Web 上で構築されててモダンな感じ。Web でできるからローカルに保存する必要はないんだけど、ちゃんとやったんだよという記録を残していくために public repository に作業を残しておくことにした。

GitHub - hshiozawa/nand2tetris
Contribute to hshiozawa/nand2tetris development by creating an account on GitHub.

今は Not, And, Or, Xor, Mux, Demux の論理ゲート作った。テトリスまで先は長い。

Read more

2025年の冬

今年ももう終り。読んだ本などのメモ。 『三体0【ゼロ】 球状閃電』 三体0【ゼロ】 球状閃電 (ハヤカワ文庫SF) | 劉 慈欣, 大森 望, 光吉 さくら, ワン チャイ | 中国の小説・文芸 | Kindleストア | AmazonAmazonで劉 慈欣, 大森 望, 光吉 さくら, ワン チャイの三体0【ゼロ】 球状閃電 (ハヤカワ文庫SF)。アマゾンならポイント還元本が多数。一度購入いただいた電子書籍は、KindleおよびFire端末、スマートフォンやタブレットなど、様々な端末でもお楽しみいただけます。このブランドからフォロー これまでに三体シリーズの Ⅰ、Ⅱ、Ⅲ はすでに読んでいて、また三体っぽい重めの雰囲気の小説が読みたいと思っていたところ、三体シリーズの前日譚という触れ込みで Amazon のおすすめに出てきたから手に取ってみた。 著者は三体シリーズと同じ劉慈欣。出版の時系列としては、原著は劉慈欣が三体を執筆する直前に出版されていて、三体の人気があって日本語訳が最近になって出版された。原著のタイトルは「球状閃電」であり、

2025年の秋

いつのまにか11月になっていた。今年もあと一月しかない。読んだ本を書いていく。 『すごい物理学講義』 Amazon.co.jp: すごい物理学講義 : カルロ・ロヴェッリ, 竹内 薫, 栗原 俊秀: 本Amazon.co.jp: すごい物理学講義 : カルロ・ロヴェッリ, 竹内 薫, 栗原 俊秀: 本Amazonのストアでお買い物 ›フォロー 前の記事で少しふれた最新の理論物理学の本。ちゃんと最後まで読んだ。 著者はループ量子重力理論の研究者。本の内容は、古典力学、電磁気学、相対性理論、量子力学を経て量子重力理論に至るまでの解説。最初の章では古代ギリシアの原子論についても触れ、「最新の理論物理学的の視点で見ると、その時代の世界の捉え方はいい線いってた」みたいな話も。電磁気学、相対性理論、量子力学、それぞれについての解説本は軽く読んだことはあるけど(Newton とかね)、理論が発展してきた流れを知ることができてよかった。 この本の中でキャッチーなのは「第7章: 時間は実は存在しない」のところで、ループ量子重力理論では時間を扱うことなく理論を構築することができる、

2025の夏

月に一本はブログを書きたいから最近のできごとを書いておく。まとまりはないが書かないよりはよい。本当は8月中に投稿したかったけど、9月になってしまった。 『因果推論の科学 - なぜ?の問いにどう答えるか』 因果推論の科学 「なぜ?」の問いにどう答えるか | ジューディア・パール, ダナ・マッケンジー, 松尾 豊, 夏目 大 |本 | 通販 | AmazonAmazonでジューディア・パール, ダナ・マッケンジー, 松尾 豊, 夏目 大の因果推論の科学 「なぜ?」の問いにどう答えるか。アマゾンならポイント還元本が多数。ジューディア・パール, ダナ・マッケンジー, 松尾 豊, 夏目 大作品ほか、お急ぎ便対象商品は当日お届けも可能。また因果推論の科学 「なぜ?」の問いにどう答えるかもアマゾン配送商品なら通常配送無料。Amazonのストアでお買い物 ›フォロー 夏前から読んでた本。 因果推論という新しい統計的手法を解説した本。この分野の潮流として、「ドナルド・

『1984年』ジョージ・オーウェル著

ジョージ・オーウェルの『1984年』を読みました。 一九八四年 (ハヤカワepi文庫) | ジョージ・オーウェル, 高橋 和久, 高橋和久 | 英米の小説・文芸 | Kindleストア | AmazonAmazonでジョージ・オーウェル, 高橋 和久, 高橋和久の一九八四年 (ハヤカワepi文庫)。アマゾンならポイント還元本が多数。一度購入いただいた電子書籍は、KindleおよびFire端末、スマートフォンやタブレットなど、様々な端末でもお楽しみいただけます。Amazonフォロー 特に紹介するまでもない有名な本だからあらすじとかそういうのは書かなくていいかな。海外では『読んだことないけど読んだふりして語る本』の第一位らしい。だから、意外とみんな実際に読んだことはないのかもしれない。それでも、“BIG BROTHER IS WATCHING YOU” とか、“WAR IS PEACE” はよくオマージュされてるし、有名なのはたぶん間違いない。 大学生活の終わりのころ、ハヤカワから出てる旧訳を読んで感銘(?)を受けたけど記憶も薄れてきて、新訳もたくさん出てたからもう一度手に取った。訳