[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[mhc:01121] Re: X-SC-Duration の扱い (Ruby)
木村です。
At Tue, 31 Oct 2000 11:42:12 +0900,
乃村さん wrote:
> > X-SC-Day: !20001103 !20001104 !20001105 !20001111 !20001112
> > X-SC-Duration: 20001030-20001113
>
> これが空集合になるのは、仕様です。仕様では、
>
> X-SC-Day: によって true になる日付の集合を Day
> X-SC-Cond: によって true になる日付の集合を Cond
> X-SC-Duration によって true になる日付の集合を Duration
>
> とすると、
>
> (true になる日付の集合) = (Day ∨ Cond) \ Duration
> (∨ は和集合, \ は差集合を表す演算子のつもり)
>
> なので (Day ∨ Cond) が空なら、無条件に空です。
> つまり、実際のところ、Duration は Cond のために使えということです。
勘違いしてるのかも知れませんが..
X-SC-Day: !20001103 !20001104 !20001105 !20001111 !20001112
とすると Dayは 1103,1104,1105,1111,1112以外の全ての日で、
X-SC-Duration: 20001030-20001113
と合わせて
1030,1031,1101,1102,1106,1107,1108,1109,1110,1113
にならないんでしょうか。
#何故差集合なのかがよく分かってないかも
-----------------------------------------------------------------------
木村健一郎
mail:kimura@xxxxxxxxxxxxxxxxxxxx
url:http://www.db.is.kyushu-u.ac.jp/~kimura/
「芸術がおれを呼んでいる。甘やかな呼び声が、おれには聞こえるのだ」
「空耳だろう」