出口ゲート（exit gate）と出力ポート/チャネル（output port/channel）を区別して、 出口ゲートのどの点から出たかを結果（result）と呼ぶ。結果は空間的＝非時間的な概念で値＝バルクデータとして定まる。 出力ポートからのイベント列の全履歴を作用（effe…