会議の実装変更

 会議の実装を変更しました。従来は、会議というシフトに対して参加者全員が会議シフトとしていたのですが、看護師長のみに変更しました。

というのは、

１）看護師長は、日勤のみで、日勤カウントされない。

２）召集スタッフは、副看護師長や、チームリーダ、クリニカルコーチ等、多数の全員が日勤とするのは、難しい。長日も含めたシフトとしたい。

という背景があります。単純に会議というシフトを全員に割り振ると、２）の対応が難しくなってしまいます。

そこで、次のように、看護師長をA,看護師長を除いた参加者集合をBとして、AならばBを実装します。AならばBの数理表現は、A<=Bです。

こうすると、看護師長のみに会議シフトとなります。その他の人は、通常のシフトとなりますが、看護師長が会議なら参加者全員が日勤、もしくは長日として解空間の減少を最小にします。

BFULLは、B集合の人数を指します。これにしておけば、会議参加者に変更が生じたとしても、この制約をメンテする必要はありません。(AFULLも同様です。)

A==Bでないことに注意してください。A==Bだと、BならばAケース、すなわち、たまたま召集スタッフが全員日勤のとき看護師長に会議が意図せずに付いてしまいます。会議数は、月に一回だけという制約を課しますが、これと矛盾する可能性が高くなります。