100217

端材処理運動。これも整理箱に。組み立てキットの状態まで。時間に余裕がな くてパッパか作業していたら、寸法間違えてたり、精度が悪かったりで惨々な 出来。時間がなくともそこでゆっくりやらないと。

次はこれ読みます。

Wait-Free Synchronization

MAURICE HERLIHY

Digital Equipment Corporation

ACM Transactions on Programming Langages and Systems, vol.11, no.1,
January 1991,p124-149.

ざっと字面だけ眺めてみたところ、ちょっと無理目かも..。

 r = 1 ∨ (ヨ!P)a[P] = 1, r = 0.

うわわ。こういうの絶望的に苦手なんだよ。基本挫折の方向で。

FF13続き。一日一ダークマター運動。シャオロングイ狩りの勘がだんだんつか めてきた。ような気がする。