Amazon

1. 欲しい本を見かけてAmazonのカートに追加
2. Amazonのカートがすごい値段になっていることに気付く
3. レジに進むのをためらう
4. 時間が経ってカートの存在を忘れる
5. 1へ

カートの中身：

• 4日で学ぶモデル検査 (初級編) (CVS教程 (1)) - 産業技術総合研究所システム検証研究センター; 単行本 / \2,100
• Systems and Software Verification: Model-Checking Techniques and Tools - Beatrice Berard; ハードカバー / \7,919
• Model Checking - E. M. Clarke; ハードカバー / \7,629
• 集合知プログラミング - Toby Segaran; 大型本 / \3,570
• オブジェクト指向入門 第2版 原則・コンセプト (IT Architect’Archive クラシックモダン・コンピューティング) - バートランド・メイヤー; 単行本（ソフトカバー） / \7,560
• 確率解析とファイナンス - 岩城 秀樹; 単行本 / \6,615
• BEST SOFTWARE WRITING - Joel Spolsky; 単行本（ソフトカバー） / \3,129
• パターン認識と機械学習 上 - ベイズ理論による統計的予測 - C. M. ビショップ; 単行本 / \6,825
• Domain-Driven Design: Tackling Complexity in the Heart of Software - Martin Fowler; ハードカバー / \7,265

積読：

• SICP
• ATTAPL
• IIR

夏休みを取って少しずつ消化する予定。