いただきもの。ありがとうございます。

Distributed conflict resolution problems （ネットワークに繋いである一台のプリンターを複数のPCで使うとき、みんなが一斉にプリントしようとすると困るので交通整理が必要という話）についての Quorum system によるアプローチ。中央に司令塔があるToken…

晴れているが雲が多い。ついでに花粉。本日は午後から出張。起床は11時、眠い。論文を読んだり。 談話会に行く。帰ってくる途中本屋に寄る。阪急駅でCと待ち合わせてうどん屋に行き、ケーキを買って帰る。