トップ «前の日記(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) を読み終えた。後半はざっとしか読めてないけど、これで心残りがひとつ片付いた。

Tags: 本 ChannelTheory
[ツッコミを入れる]

プロフィール


酒井 政裕

カレンダー

前 2008年
12月		 次
日 月 火 水 木 金 土
1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31

日記内検索

タグ

本 | logic-programming | tDiary | 英語 | gimp | ruby | cygwin | scheme | gtk | quiz | 流行りもの | 時事 | 映画 | tom | TV | URL | w3m | ネタ | Web | 検索 | 論文 | 圏論 | haskell | javascript | machine-learning | メモ | 向井研 | CPL | 食 | ChannelTheory | linguistics | SemanticWeb | logic | 型理論 | 東方 | continuation | 後で | Topology via Logic | ocaml | modal-logic | theorem-proving | hiki | モデル検査 | 人狼 | programming-contest | agda | probability | quantum | 音楽 | coq | money | Alloy | lifehack | music | maude | プロセス代数 | thinkpad | game | security | linear-programming | optimization | Erlang | iPhone | mac

最近のツッコミ

  1. Lorenzonek (05-21)
  2. さかい (05-07)
  3. mkotha (05-01)
  4. cutsea110 (02-17)
  5. sakai (11-28)
  6. mkotha (11-28)
  7. さかい (07-19)
  8. 山本和彦 (07-19)

最近のトラックバック

この日記と連携する

アンテナ等

日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。くれぐれもご注意下さい。

Generated by tDiary version 4.1.3
Powered by Ruby version 2.2.10-p489