アクターモデル
計算可能性を論じるときに使われる計算モデル