プログラミング
アルゴリズム、システム設計、形式手法に関する書籍。
プログラミング
アルゴリズム、データ構造、システム設計、形式検証に関する書籍。
| 本 | 概要 |
|---|---|
| [アルゴリズム クックブック]({{< relref "programming/algorithms/_index.md" >}}) | 実践的なパターン、正しさの議論、実装テクニック |
| [システム設計]({{< relref "programming/system-design/_index.md" >}}) | スケーラビリティ、アーキテクチャ、およびインタビュー形式の問題解決 |
| [傾く]（{{< relref "programming/lean/_index.md" >}}) | 定理の証明、形式化、証明工学 |