...
prob.addConstraint(x[7][1]['/'] == 1, name="Nurse7Day1IsOff")

# (h) この他、間隔制約(7日に1回は/がある等)を実装するなら追加
#     例: 任意の7連区間の和が>=1 など
#     ここでは未実装


# 6. 求解の実行
solution_status = prob.solve(pulp.PULP_CBC_CMD(msg=0))
...

# (f) 特別制限: ナース1とナース9は e・n で同時不可
for d in range(1, num_days+1):
    prob.addConstraint(
        x[1][d]['e'] + x[9][d]['e'] <= 1,
        name=f"NoSimul_e_day{d}")
    prob.addConstraint(
        x[1][d]['n'] + x[9][d]['n'] <= 1,
        name=f"NoSimul_n_day{d}")

class ForbiddenShiftPatternPolicy(Policy):
    """禁止シフトパターンに関する制約を表現するクラス
    
    staffs について、 pattern の並び順のシフトは禁止される
    """
    pattern: List[Union[ShiftType, ShiftTypeGroup]] = Field(..., description="禁止するシフトパターン")
    staffs: Optional[List[Union[Staff, StaffGroup]]] = Field(None, description="対象となるスタッフのリスト。
    指定しない場合は全てのスタッフに適用される")

class ForbiddenShiftPatternPolicy(Policy):
    """禁止シフトパターンに関する制約を表現するクラス
    
    staffs について、 pattern の並び順のシフトは禁止される
    """
    pattern: List[Union[ShiftType, ShiftTypeGroup]] = Field(..., description="禁止するシフトパターン")
    staffs: Optional[List[Union[Staff, StaffGroup]]] = Field(None, description="対象となるスタッフのリスト。
    指定しない場合は全てのスタッフに適用される")

    def __str__(self) -> str:
        policy = f"{self.name}: "

        if self.staffs is not None:
            staff_names = "".join(f"'{staff.name}'" for staff in self.staffs)
            policy += f"スタッフ {staff_names} について、"

        policy += f"次のパータンを禁止: "
        policy += " > ".join(f"'{shift.name}'" for shift in self.pattern)

        return policy

- 4週間で8日以上休日: シフト 年 は、期間全体で 8回以上
- 年末年始休暇: シフト 年 は、メンバーが1人以上
- ゴールデンウィーク休暇: シフト 年 は、メンバーが1人以上
- 年間休日総数111日（4月1日起算）: シフト 年 は、期間全体で 111回以上111回以下
- 年5日の有給休暇取得: シフト 年 は、期間全体で 5回以上
- Aチーム夜勤体制: シフト × は、スタッフ Aチーム のメンバーが1人以上
- Bチーム夜勤体制: シフト × は、スタッフ Bチーム のメンバーが1人以上
- Cチーム夜勤体制: シフト × は、スタッフ Cチーム のメンバーが1人以上
- 夜勤リーダー必須: シフト × は、スキル 青 のあるメンバーが1人以上
- Aチーム日勤最低人数: シフト 日 は、スタッフ Aチーム のメンバーが2人以上
- Bチーム日勤最低人数: シフト 日 は、スタッフ Bチーム のメンバーが2人以上
- Cチーム早番必須: シフト 早 は、スタッフ Cチーム のメンバーが1人以上
- Cチーム遅番必須: シフト 遅 は、スタッフ Cチーム のメンバーが1人以上
...

# (f) 特別制限: ナース1とナース9は e・n で同時不可
for d in range(1, num_days+1):
    prob.addConstraint(
        x[1][d]['e'] + x[9][d]['e'] <= 1,
        name=f"NoSimul_e_day{d}")
    prob.addConstraint(
        x[1][d]['n'] + x[9][d]['n'] <= 1,
        name=f"NoSimul_n_day{d}")

    def _apply_forbidden_shift_pattern_policy(self, policy: ForbiddenShiftPatternPolicy):
        slacks = []
        staffs = []
        if policy.staffs is not None:
            for staff_or_group in policy.staffs:
                staffs.extend(get_staffs(staff_or_group))
        else:
            staffs = self.staffs.values()

        len_pattern = len(policy.pattern)
        for staff in staffs:
            # for date in self.opt_dates:
            for date in self.lookback_dates:
                if date.date + datetime.timedelta(days=len_pattern) > self.opt_end_date:
                    continue
                slack = self._get_slack(policy.is_mondatory, f"policy_{policy.name}__staff_{staff.name}__date_{date.date}")
                slacks.append(slack)
                self.model.addCons(
                    quicksum(
                        self._x[staff.name, date.date + datetime.timedelta(days=i), shift_type.name]
                        for i, shift_type_or_group in enumerate(policy.pattern)
                        for shift_type in get_shift_types(shift_type_or_group)
                    ) - slack <= len_pattern - 1
                )

        return slacks