トップ «前の日記(2008-12-15) 最新 次の日記(2008-12-17)» 月表示 編集

日々の流転


2008-12-16 [長年日記]

λ. Information Flow: The Logic of Distributed Systems 読了

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