2008-12-16 [長年日記]
λ. Information Flow: The Logic of Distributed Systems 読了
2008-11-11に購入した Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)(Jon Barwise/Jerry Seligman) を読み終えた。後半はざっとしか読めてないけど、これで心残りがひとつ片付いた。