今日は仕事は休み。妻とのんびり過ごした。
朝は昨日のブエルタを追っかけで見た。ヴィンゲゴーが優勝し、クスの総合タイムまであと30秒くらいに迫っていた。クスに勝ってもらいたいなあ。
本屋に行ってぶらぶら。『実践TLA+』を立ち読み。並行プログラムの検証に興味があったので見てみたが、けっこう良い感じに使えそうだ。最近読んだBRCのアルゴリズムとか検証できないだろうか。
あとは『「批判」の政治理論』もパラパラ読んだ。ハーバーマスにそんなに良い印象はないのだが、ヒースの師匠だし押さえておきたいとは思う。ロールズとの論争の解説も読み応えがありそうだ。
立ち読みだけではなんなので帰り際に雑誌を一冊買った。『東京人 10月号』。赤羽台の団地が特集されている。