スターバックスは2フェーズコミットを使わない http://ameblo.jp/ouobpo/entry-10070039150.html 訳： http://code.google.com/p/gregors-ramblings-ja/wiki/18_starbucks 原文： http://www.eaipatterns.com/ramblings/18_starbucks.htmlComposable memory …

Robin Milner, "The Polyadic pi-Calculus: A Tutorial" を引き続き読む。 3.1 Some derived forms パイ計算で、ラムダ計算のカリー化のようなことをどうするか、という話。 これで便宜的に複数の引数をやりとりするチャンネルが導入される。 あと、パラメー…