なんかごちゃごちゃくだらねーなー．

Hewittのアクターモデルに対してSteeleがλクロージャを持ち出したんだけど，
これはアクター本来の非同期性については何も言えてなかったんだよ．結局アク
ターモデルの形式化は米澤やAghaの仕事までできなかった．Steeleの仕事自体
はアクターの形式化を離れてそれ自身非常にいいものになったんだけどね．