[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/

「芸術がおれを呼んでいる。甘やかな呼び声が、おれには聞こえるのだ」
「空耳だろう」