クラウドが好きな大学生が読んで良さげだった本を紹介する


## 前提

大学1年の終わり頃にプログラミング学習を始めて、ちょうど3年弱くらい経ちました。
数え切れないほどの技術書を読んできましたが、その中でも「これはよかったような気がする！」という書籍を載せておきます。
選出の観点は「面白さ」「わかりやすさ」「その知識が役に立ったか」の３つの観点から総合的に評価しています。

また、原則翻訳されたものがあればそちらを掲載しています。
ところが、僕はO'Reillyのサブスクを契約しているため、ほとんどのO'Reillyの書籍を原文で読んでいます。
そのため、翻訳の精度などについて評価することはできない点をご了承ください。


※ リンクはアフィリエイトリンクではないので、気にせずご覧ください。



## ネットワーク

### [3分間ネットワーク](https://www.amazon.co.jp/%E6%94%B9%E8%A8%82%E6%96%B0%E7%89%88-3%E5%88%86%E9%96%93%E3%83%8D%E3%83%83%E3%83%88%E3%83%AF%E3%83%BC%E3%82%AF%E5%9F%BA%E7%A4%8E%E8%AC%9B%E5%BA%A7-%E7%B6%B2%E9%87%8E-%E8%A1%9B%E4%BA%8C/dp/4774143731/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=3%E5%88%86%E9%96%93%E3%83%8D%E3%83%83%E3%83%88%E3%83%AF%E3%83%BC%E3%82%AF&qid=1637911998&sr=8-1)

ネットワークのプロトコルとか以前の最低限の仕組みをトーク形式でわかりやすく話してくれている書籍です。
大学の授業とかを受ける前にこの本を読んでいたおかげで、論理ネットワーク系の授業の内容がすっと頭に入ってきました。

情報系の学生であれば、あとは大学の講義でかなり深いところまで扱うと思いますが、
そうでない場合は、

### [コンピュータネットワーク](https://www.amazon.co.jp/%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E3%83%8D%E3%83%83%E3%83%88%E3%83%AF%E3%83%BC%E3%82%AF-%E7%AC%AC5%E7%89%88-%E3%82%A2%E3%83%B3%E3%83%89%E3%83%AA%E3%83%A5%E3%83%BC%E3%83%BBS%E3%83%BB%E3%82%BF%E3%83%8D%E3%83%B3%E3%83%90%E3%82%A6%E3%83%A0/dp/482228476X/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E3%83%8D%E3%83%83%E3%83%88%E3%83%AF%E3%83%BC%E3%82%AF&qid=1637912160&sr=8-1)

くらいを読んでおくといいと思います。
詳解TCP／IPの3冊には到底手が出ないという方でも、こちらなら比較的読みやすいと思います。
とはいえ、和訳がちょっと読みにくいところがありますが、それでも名著を日本語で読めるってことはとてもありがたいことだなと思います。
採用面接では、ネットワーク(特にTCP/IP)に関するテーマがやたら問われます。この書籍の内容を一通り抑えておけば、ネットワーク周りの質問にはおおよそ答えられる気がしています。

### [DNSがよくわかる教科書](https://www.amazon.co.jp/DNS%E3%81%8C%E3%82%88%E3%81%8F%E3%82%8F%E3%81%8B%E3%82%8B%E6%95%99%E7%A7%91%E6%9B%B8-%E6%A0%AA%E5%BC%8F%E4%BC%9A%E7%A4%BE%E6%97%A5%E6%9C%AC%E3%83%AC%E3%82%B8%E3%82%B9%E3%83%88%E3%83%AA%E3%82%B5%E3%83%BC%E3%83%93%E3%82%B9%EF%BC%88JPRS%EF%BC%89-ebook/dp/B07KQSRZ1S/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&crid=16CL9R1D7ABN0&keywords=dns%E3%81%8C%E3%82%88%E3%81%8F%E3%82%8F%E3%81%8B%E3%82%8B%E6%95%99%E7%A7%91%E6%9B%B8&qid=1638285093&sprefix=DNS%E3%81%8C%E3%82%88%E3%81%8F%2Caps%2C267&sr=8-1)

DNSに関しても採用面接ではとてもよく聞かれます。
DNS自体のOverviewは知っているけれど、より詳細な挙動は知らないという方がとっつきやすいのはこの本だと思います。ちょうど一年位前の外資系企業の技術面接の対策で慌ててこの本を読みましたが、かなり狙われたので結果的に読んで良かったです。


## コンピュータアーキテクチャ

### [コンピュータシステムの理論と実装](https://www.amazon.co.jp/%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E3%81%AE%E7%90%86%E8%AB%96%E3%81%A8%E5%AE%9F%E8%A3%85-%E2%80%95%E3%83%A2%E3%83%80%E3%83%B3%E3%81%AA%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E3%81%AE%E4%BD%9C%E3%82%8A%E6%96%B9-Noam-Nisan/dp/4873117127/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E3%81%AE%E7%90%86%E8%AB%96%E3%81%A8%E5%AE%9F%E8%A3%85&qid=1637913863&sr=8-1)

オライリーで読みやすく個人的には、必読の書です。
大学の授業で作るCPUと重なる部分は多いのですが、むしろ一度CPUを作ったことがある人が読んでも楽しめるくらい充実した内容だと思います。CPUは噛めば噛むほど味が出る。

### [パタヘネ](https://www.amazon.co.jp/%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E3%81%AE%E6%A7%8B%E6%88%90%E3%81%A8%E8%A8%AD%E8%A8%88-%E7%AC%AC5%E7%89%88-%E4%B8%8A%E4%B8%8B%E3%82%BB%E3%83%83%E3%83%88/dp/B079ZLXYQW/ref=sr_1_5?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=%E3%83%91%E3%82%BF%E3%83%98%E3%83%8D&qid=1637912865&sr=8-5)

同じ著者ですが、順番が逆になったヘネパタは難しいので、まずはパタヘネの上下巻から読むことをおすすめします。

こちらの方がだいぶ簡単のため「必読の書」と言われていますが、ボリュームはかなりあるので、僕は友達と読みました。1人で読むと確実に挫折するくらいのボリュームがあります。



### [FPGAの原理と構成](https://www.amazon.co.jp/FPGA%E3%81%AE%E5%8E%9F%E7%90%86%E3%81%A8%E6%A7%8B%E6%88%90-%E5%A4%A9%E9%87%8E%E8%8B%B1%E6%99%B4/dp/4274218643/ref=sr_1_11?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=FPGA&qid=1637912474&sr=8-11)

個人的に好きな本です。FPGA上で、VerilogやVivadoを動かすのは大学の授業で嫌になるほどやると思います。
が、そもそもFPGAってなんだっけ。というところにアプローチしてくれることはなかなかないのではないのでしょうか。少なくとも東工大だと、RISC-Vみたいな命令セットをVerilogなどの論理回路で記述することはありますが、FPGA自体に着目することはあまりありません。


### [Modern Compiler Implementation in C](https://www.amazon.co.jp/%E6%9C%80%E6%96%B0%E3%82%B3%E3%83%B3%E3%83%91%E3%82%A4%E3%83%A9%E6%A7%8B%E6%88%90%E6%8A%80%E6%B3%95-Andrew-W-Appel/dp/4798114685/ref=sr_1_4?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=Modern+Compiler+Implementation+in+C&qid=1637912355&sr=8-4)

コンパイラの仕組みについて解説した本で比較的難易度は高いです。僕も読破できていないのですが、前半だけでも読む価値はあると思います。
また、採用面接はなぜか、コンパイラが大好きです。この書籍の内容をかなり聞かれたので、読んでおいてよかったです。

## オペレーティングシステム

### [大規模サービス技術入門](https://www.amazon.co.jp/Web%E9%96%8B%E7%99%BA%E8%80%85%E3%81%AE%E3%81%9F%E3%82%81%E3%81%AE-%E5%A4%A7%E8%A6%8F%E6%A8%A1%E3%82%B5%E3%83%BC%E3%83%93%E3%82%B9%E6%8A%80%E8%A1%93%E5%85%A5%E9%96%80-%E2%80%95%E3%83%87%E3%83%BC%E3%82%BF%E6%A7%8B%E9%80%A0%E3%80%81%E3%83%A1%E3%83%A2%E3%83%AA%E3%80%81OS%E3%80%81DB%E3%80%81%E3%82%B5%E3%83%BC%E3%83%90-PRESS-plus%E3%82%B7%E3%83%AA%E3%83%BC%E3%82%BA/dp/4774143073/ref=sr_1_6?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=%E3%81%AF%E3%81%A6%E3%81%AA+%E5%A4%A7%E8%A6%8F%E6%A8%A1&qid=1637913246&sr=8-6)

これは、はてな社のサマーインターンを題材にした大規模システムで使われている技術の話の書籍ですが、とてもおすすめです。
OSの基本的な挙動から懇切丁寧に教えてくれるので、正直コンピュータサイエンスの知識がほとんどない状態でも読み始めることができます。とはいえ、これ以外にちゃんとしたOSの仕組みについて学べる書籍を一つは読んでおくことをおすすめします。

### [Linuxのしくみ ~実験と図解で学ぶOSとハードウェアの基礎知識](https://www.amazon.co.jp/%E8%A9%A6%E3%81%97%E3%81%A6%E7%90%86%E8%A7%A3-Linux%E3%81%AE%E3%81%97%E3%81%8F%E3%81%BF-%E5%AE%9F%E9%A8%93%E3%81%A8%E5%9B%B3%E8%A7%A3%E3%81%A7%E5%AD%A6%E3%81%B6OS%E3%81%A8%E3%83%8F%E3%83%BC%E3%83%89%E3%82%A6%E3%82%A7%E3%82%A2%E3%81%AE%E5%9F%BA%E7%A4%8E%E7%9F%A5%E8%AD%98-%E6%AD%A6%E5%86%85-%E8%A6%9A/dp/477419607X/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=Linux+%E5%AE%9F%E9%A8%93&qid=1637913387&sr=8-1)

もう本当に分かりやすいです。この本も超おすすめです。いわゆるエンジニア必読の書に入ると思います。
しかも、3~4時間くらいで読み終わっちゃう程度のボリュームで読んでてめっちゃ楽しいです。

### [Linuxプログラミングインタフェース](https://www.amazon.co.jp/Linux%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E3%82%A4%E3%83%B3%E3%82%BF%E3%83%95%E3%82%A7%E3%83%BC%E3%82%B9-Michael-Kerrisk/dp/487311585X/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=Linux%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E3%82%A4%E3%83%B3%E3%82%BF%E3%83%95%E3%82%A7%E3%83%BC%E3%82%B9&qid=1637913511&sr=8-1)

これも必読の書に値する良書でした。他にも詳解Linux カーネル など有名な本もありますが、この本の方が難易度はだいぶ低く学士や修士ならまずはこれから読む方がいいかななんて思います。
物語のようにかかれていて、類書よりも読みやすいの気がしました。
Linuxのカーネルモジュールの開発などの際に役に立つ知識も多くかなりおすすめできる書籍です。

## セキュリティ

### [暗号技術入門 第3版　秘密の国のアリス](https://www.amazon.co.jp/%E6%9A%97%E5%8F%B7%E6%8A%80%E8%A1%93%E5%85%A5%E9%96%80-%E7%AC%AC3%E7%89%88-%E7%B5%90%E5%9F%8E-%E6%B5%A9/dp/4797382228/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=%E6%9A%97%E5%8F%B7%E6%8A%80%E8%A1%93%E5%85%A5%E9%96%80+%E7%AC%AC3%E7%89%88+%E7%A7%98%E5%AF%86%E3%81%AE%E5%9B%BD%E3%81%AE%E3%82%A2%E3%83%AA%E3%82%B9&qid=1637914335&sr=8-1)

この本はまじでおすすめです。
基本的な暗号の仕組みがめちゃくちゃ分かりやすく解説されています。
この辺の内容は、新卒採用の面接でもこれでもかというくらいに狙われたところなので、かなり読んでおいてよかったなと思っています。

### [体系的に学ぶ 安全なWebアプリケーションの作り方 第2版 脆弱性が生まれる原理と対策の実践](https://www.amazon.co.jp/%E4%BD%93%E7%B3%BB%E7%9A%84%E3%81%AB%E5%AD%A6%E3%81%B6-%E5%AE%89%E5%85%A8%E3%81%AAWeb%E3%82%A2%E3%83%97%E3%83%AA%E3%82%B1%E3%83%BC%E3%82%B7%E3%83%A7%E3%83%B3%E3%81%AE%E4%BD%9C%E3%82%8A%E6%96%B9-%E7%AC%AC2%E7%89%88-%E8%84%86%E5%BC%B1%E6%80%A7%E3%81%8C%E7%94%9F%E3%81%BE%E3%82%8C%E3%82%8B%E5%8E%9F%E7%90%86%E3%81%A8%E5%AF%BE%E7%AD%96%E3%81%AE%E5%AE%9F%E8%B7%B5-%E5%BE%B3%E4%B8%B8/dp/4797393165/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=%E4%BD%93%E7%B3%BB%E7%9A%84%E3%81%AB%E5%AD%A6%E3%81%B6+%E5%AE%89%E5%85%A8%E3%81%AAWeb%E3%82%A2%E3%83%97%E3%83%AA%E3%82%B1%E3%83%BC%E3%82%B7%E3%83%A7%E3%83%B3%E3%81%AE%E4%BD%9C%E3%82%8A%E6%96%B9+%E7%AC%AC2%E7%89%88+%E8%84%86%E5%BC%B1%E6%80%A7%E3%81%8C%E7%94%9F%E3%81%BE%E3%82%8C%E3%82%8B%E5%8E%9F%E7%90%86%E3%81%A8%E5%AF%BE%E7%AD%96%E3%81%AE%E5%AE%9F%E8%B7%B5&qid=1637914199&sr=8-1)

実務で役に立つポイントがまとまっていて良書です。
かなり実際の業務でも意識しているポイントが詰まっているような気がしました。

## データベース

### [実践ハイパフォーマンスMySQL](https://www.amazon.co.jp/%E5%AE%9F%E8%B7%B5%E3%83%8F%E3%82%A4%E3%83%91%E3%83%95%E3%82%A9%E3%83%BC%E3%83%9E%E3%83%B3%E3%82%B9MySQL-%E7%AC%AC3%E7%89%88-Baron-Schwartz/dp/4873116384/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&crid=22KKKYB5SAC25&keywords=mysql+%E3%83%91%E3%83%95%E3%82%A9%E3%83%BC%E3%83%9E%E3%83%B3%E3%82%B9&qid=1637914632&sprefix=mysql+%2Caps%2C281&sr=8-1)

これも必読の書です。入っているプログラミングサークルの活動で読みましたが、役に立つことがかなり多いです。
詳解データベースを読むのは重いけれど、ストレージエンジンやクエリパーサーについて知りたいという方はこの本が比較的軽量でおすすめです。

### [Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery](https://www.amazon.co.jp/Transactional-Information-Systems-Algorithms-Concurrency/dp/1558605088)

Weikum本なんて日本では言われています。ググったら読んでみた人の記事とかも出てくるのでそういうのも参考にしながら読むと良いかなと思います。

僕は3章と5章だけ読みました。
トランザクションとMVCCについて興味があったので、読みましたが、全て通読するとなるとかなりの重みだと思います。
分散システムとかトランザクションに興味があるとなったら、この本は避けては通れないのかなと思います。


## CloudNative / SRE

### [SRE サイトリライアビリティエンジニアリング ―― Googleの信頼性を支えるエンジニアリングチーム](https://www.amazon.co.jp/SRE-%E3%82%B5%E3%82%A4%E3%83%88%E3%83%AA%E3%83%A9%E3%82%A4%E3%82%A2%E3%83%93%E3%83%AA%E3%83%86%E3%82%A3%E3%82%A8%E3%83%B3%E3%82%B8%E3%83%8B%E3%82%A2%E3%83%AA%E3%83%B3%E3%82%B0-%E2%80%95Google%E3%81%AE%E4%BF%A1%E9%A0%BC%E6%80%A7%E3%82%92%E6%94%AF%E3%81%88%E3%82%8B%E3%82%A8%E3%83%B3%E3%82%B8%E3%83%8B%E3%82%A2%E3%83%AA%E3%83%B3%E3%82%B0%E3%83%81%E3%83%BC%E3%83%A0-%E6%BE%A4%E7%94%B0-%E6%AD%A6%E7%94%B7/dp/4873117917/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=SRE+%E3%82%B5%E3%82%A4%E3%83%88%E3%83%AA%E3%83%A9%E3%82%A4%E3%82%A2%E3%83%93%E3%83%AA%E3%83%86%E3%82%A3%E3%82%A8%E3%83%B3%E3%82%B8%E3%83%8B%E3%82%A2%E3%83%AA%E3%83%B3%E3%82%B0&qid=1637914879&sr=8-1)

言わずもがなの名著です。
とはいえ、僕も実はまだあまり読めてないのであまり解説できないです。
一緒に読んでくれる人募集中です。

### [Infrastructure as Code](https://www.amazon.co.jp/Infrastructure-Code-%E2%80%95%E3%82%AF%E3%83%A9%E3%82%A6%E3%83%89%E3%81%AB%E3%81%8A%E3%81%91%E3%82%8B%E3%82%B5%E3%83%BC%E3%83%90%E7%AE%A1%E7%90%86%E3%81%AE%E5%8E%9F%E5%89%87%E3%81%A8%E3%83%97%E3%83%A9%E3%82%AF%E3%83%86%E3%82%A3%E3%82%B9-Kief-Morris/dp/4873117968/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=infrastructure+as+code&qid=1638285275&sr=8-1)

インフラの管理力に着目した書籍だと思います。
「Terraformの"使い方"」みたいなツールの使い方ではなく、宣言的アプローチの哲学を学ぶことができるので、かなり好きな書籍の一つです。
同時に、アンチパターンやベストプラクティスのような実践よりの内容も含まれているので、現場のエンジニアとしても読みやすい内容になっています。

### [入門監視](https://www.amazon.co.jp/%E5%85%A5%E9%96%80-%E7%9B%A3%E8%A6%96-%E2%80%95%E3%83%A2%E3%83%80%E3%83%B3%E3%81%AA%E3%83%A2%E3%83%8B%E3%82%BF%E3%83%AA%E3%83%B3%E3%82%B0%E3%81%AE%E3%81%9F%E3%82%81%E3%81%AE%E3%83%87%E3%82%B6%E3%82%A4%E3%83%B3%E3%83%91%E3%82%BF%E3%83%BC%E3%83%B3-Mike-Julian/dp/4873118646/ref=sr_1_6?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=%E5%85%A5%E9%96%80%E3%81%8B%E3%82%93%E3%81%97&qid=1637914925&sr=8-6)

これも言わずもがなの名著です。SRE本に載っていることも多いですが、薄くて読みやすいので一度読んでおいてもいいと思います。

### [Kubernetesで実践するクラウドネイティブDevOps](https://www.amazon.co.jp/Kubernetes%E3%81%A7%E5%AE%9F%E8%B7%B5%E3%81%99%E3%82%8B%E3%82%AF%E3%83%A9%E3%82%A6%E3%83%89%E3%83%8D%E3%82%A4%E3%83%86%E3%82%A3%E3%83%96DevOps-John-Arundel/dp/4873119014/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=kubernetes+devops&qid=1637915656&sr=8-1)

DevOpsというふわっとした言葉を実践に近いところに落としてくれているのかな思いました。
DevOpsそのものの哲学自体は、ネット上にも転がっているので、まずそこについて理解することが重要だけれど現場において、うーん、DevOpsってなんだっけみたいなポイントは自分の中ではあまりわからなくなっていたので、いい書籍だったかなと思います。
とはいえ、DevOpsとはなんたるやが腑に落ちるわけではない気もします。

## アーキテクチャ

### [クリーンアーキテクチャ](https://www.amazon.co.jp/Clean-Architecture-%E9%81%94%E4%BA%BA%E3%81%AB%E5%AD%A6%E3%81%B6%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E3%81%AE%E6%A7%8B%E9%80%A0%E3%81%A8%E8%A8%AD%E8%A8%88-Robert-C-Martin/dp/4048930656/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=%E3%82%AF%E3%83%AA%E3%83%BC%E3%83%B3%E3%82%A2%E3%83%BC%E3%82%AD%E3%83%86%E3%82%AF%E3%83%81%E3%83%A3&qid=1637915093&sr=8-1)

クリーンアーキテクチャというもの自体について書いてあるというよりは、オブジェクト指向の原則から、必然的にクリーンアーキテクチャが導かれるというようなアーキテクチャそのものの哲学についてかかれています。
ここで書かれていることは、クリーンアーキテクチャに限らずどんなシステムにおいても通づるような重要なことばかりが書かれていて、しかも読みやすいです。伝説の名著だと思ってます。

### [マイクロサービスパターン](https://www.amazon.co.jp/%E3%83%9E%E3%82%A4%E3%82%AF%E3%83%AD%E3%82%B5%E3%83%BC%E3%83%93%E3%82%B9%E3%83%91%E3%82%BF%E3%83%BC%E3%83%B3-%E5%AE%9F%E8%B7%B5%E7%9A%84%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E3%83%87%E3%82%B6%E3%82%A4%E3%83%B3%E3%81%AE%E3%81%9F%E3%82%81%E3%81%AE%E3%82%B3%E3%83%BC%E3%83%89%E8%A7%A3%E8%AA%AC-impress-top-gear/dp/4295008583/ref=sr_1_4_sspa?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=%E3%83%9E%E3%82%A4%E3%82%AF%E3%83%AD%E3%82%B5%E3%83%BC%E3%83%93%E3%82%B9%E3%82%A2%E3%83%BC%E3%82%AD%E3%83%86%E3%82%AF%E3%83%81%E3%83%A3&qid=1637915242&sr=8-4-spons&psc=1&spLa=ZW5jcnlwdGVkUXVhbGlmaWVyPUExU0pIWUROWjZFS1VHJmVuY3J5cHRlZElkPUEwODE1Nzk0MTJRWTVLNVo1U0hPNyZlbmNyeXB0ZWRBZElkPUFMS1k3RlBKU0c1NTQmd2lkZ2V0TmFtZT1zcF9hdGYmYWN0aW9uPWNsaWNrUmVkaXJlY3QmZG9Ob3RMb2dDbGljaz10cnVl)

分散システムを始める上での基本的な内容が書いてあります。
マイクロサービスで得られるメリットは果てしないということは多くの人に理解されていると思います。
今から、システムを作り始めるという場合、ほとんどの場合でマイクロサービスアーキテクチャを採用しているのではないかなと思います。
システムの疎結合を保つという面でも、Reactiveなシステムを構築する面でも、エンジニア組織を構築する面でもマイクロサービスアーキテクチャにおいて大きな恩恵を受けることができます。
マイクロサービスアーキテクチャに対応するためのパターンを一通り揃えてくれているのが本書籍です。
エンジニアであれば、「必読の書」だと思っています。

### [データ指向アプリケーションデザイン](https://www.amazon.co.jp/%E3%83%87%E3%83%BC%E3%82%BF%E6%8C%87%E5%90%91%E3%82%A2%E3%83%97%E3%83%AA%E3%82%B1%E3%83%BC%E3%82%B7%E3%83%A7%E3%83%B3%E3%83%87%E3%82%B6%E3%82%A4%E3%83%B3-%E2%80%95%E4%BF%A1%E9%A0%BC%E6%80%A7%E3%80%81%E6%8B%A1%E5%BC%B5%E6%80%A7%E3%80%81%E4%BF%9D%E5%AE%88%E6%80%A7%E3%81%AE%E9%AB%98%E3%81%84%E5%88%86%E6%95%A3%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E8%A8%AD%E8%A8%88%E3%81%AE%E5%8E%9F%E7%90%86-Martin-Kleppmann/dp/4873118700/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&crid=2MU3629FWI34A&keywords=%E3%83%87%E3%83%BC%E3%82%BF%E6%80%9D%E8%80%83%E3%82%A2%E3%83%97%E3%83%AA%E3%82%B1%E3%83%BC%E3%82%B7%E3%83%A7%E3%83%B3%E3%83%87%E3%82%B6%E3%82%A4%E3%83%B3&qid=1638002391&sprefix=%E3%83%87%E3%83%BC%E3%82%BF%E6%80%9D%E8%80%83%2Caps%2C317&sr=8-1)

この本はめっちゃ面白いです。
アプリケーション開発で考えるべきことが凝縮されています。
これはもう一度読みたいなって思います。

## 形式手法

### [抽象によるソフトウェア設計](https://www.amazon.co.jp/%E6%8A%BD%E8%B1%A1%E3%81%AB%E3%82%88%E3%82%8B%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E8%A8%AD%E8%A8%88%E2%88%92Alloy%E3%81%A7%E3%81%AF%E3%81%98%E3%82%81%E3%82%8B%E5%BD%A2%E5%BC%8F%E6%89%8B%E6%B3%95%E2%88%92-Daniel-Jackson/dp/4274068587/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&crid=1164DK3CACA9Q&keywords=%E6%8A%BD%E8%B1%A1%E3%81%AB%E3%82%88%E3%82%8B%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E8%A8%AD%E8%A8%88&qid=1638104781&sprefix=%E6%8A%BD%E8%B1%A1%E3%81%AB%E3%82%88%E3%82%8B%2Caps%2C258&sr=8-1)

Alloyの本ですが、内容はより一般論として扱われている部分が非常に多いです。
個人的には、モデル検査にTLA+を使うのが好きですが、TLA+を使ったモデル検査について学ぶためにも非常に良書です。
時相論理や関係論理についても触れられていて、六章には応用事例ものっているので興味のある方にはおすすめできます。


### [形式的モデル化: 離散事象/実時間/ハイブリッドシステムのモデル化と解析](https://www.amazon.co.jp/%E5%BD%A2%E5%BC%8F%E7%9A%84%E3%83%A2%E3%83%87%E3%83%AB%E5%8C%96-%E9%9B%A2%E6%95%A3%E4%BA%8B%E8%B1%A1-%E3%83%8F%E3%82%A4%E3%83%96%E3%83%AA%E3%83%83%E3%83%89%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E3%81%AE%E3%83%A2%E3%83%87%E3%83%AB%E5%8C%96%E3%81%A8%E8%A7%A3%E6%9E%90-%E5%B9%B3%E7%9F%B3-%E9%82%A6%E5%BD%A6/dp/4627854218/ref=sr_1_2?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&keywords=%E5%BD%A2%E5%BC%8F%E7%9A%84%E3%83%A2%E3%83%87%E3%83%AB&qid=1638104824&sr=8-2)



CTLとLTLにはじまり、決定性時間モデル、確率性時間モデルなどシステムのモデル化に関して学問的に書いてあります。
かなり数学的な表現を使って書かれているので、
大学で数学や情報工学を専攻していないと正直読みづらいかなという印象はあります。

この分野について日本語で勉強しようと思うと、この本になるのかなという印象です。