「抽象によるソフトウェア設計」を読んだ。 内容が難しい上にAlloyの記述形式に馴染めないので、読むのに時間が掛かった。 説明のための例としてアドレス帳を取り上げているのだが、アドレス帳の仕様記述には何の興味も湧かないので退屈だった。説明する側か…