セッション処理系を実装