本買った

計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)

ラムダラムダしたくて買った。反省とかは特にしていない(λの本は1冊も持っていなかったので)

オブジェクト指向入門 第2版 原則・コンセプト (IT Architect’Archive クラシックモダン・コンピューティング)

予想より分厚い！これで半分なのに900ページもある。目次で50ページ。契約プログラミングまでたどり着くのはかなり先になるかな。