アクターモデル
アクターモデルはメッセージパッシングの意味論でもある。