はじめまして。たんげというものです。
順序集合とか写像が作る冪集合とかを扱うんじゃなけりゃ、
私の場合、ビット演算で十分（じゃ無い？）かもです。
#define P 1
#define V 2
#defind S 4
#define T 8
#define CLTRN (16 | S)
#define MILSE (32 | T)
#define OSCAR (64 | P)
#define EVANS (128 | P)
#define SONNY (512 | S)
#define MRILL (1024 | V)
#define FTGLD (2048 | V)
/*6月8日大阪厚生年金会館!!*/
int favorite[] = {
CLTRN | MILSE,
OSCAR | EVANS,
SONNY | CLTRN,
MRILL | FTGLD | OSCAR,
EVANS};
＞集合論をUMLで表現すること自体に無理がある（不毛？）のでしょうか？
「集合のデータ構造をどうするか」とか「オブジェクトと集合をどう結び付けるか」
は
「実装によりけり」で、それをUMLにおこすことは当然可能と考えておりますが、
恐らく、やりたいのはもっともっと高尚なことなのでしょうね。
ではでは。。。
-----Original Message-----
From: *******************@**.*******.**.**
[mailto:*******************@**.*******.**.**]On Behalf Of 菊地丞
Sent: Wednesday, February 01, 2006 12:06 AM
To: ***********@**.*******.**.**
Subject: [oosquare-ml:04712] UMLでの集合表現について
はじめまして。
お世話になります。菊地丞と申します。
初めてMLに参加いたします。
今後ともよろしくお願いいたします。
さて、早速質問なのですが、UMLで集合表現を出来ないものかと
調べています。
http://d.hatena.ne.jp/ahirasawa/20050629
にあるように、
・集合と部分集合の関係は継承で表現する。
というのは納得できると思ったのですが、
和や差も何か表現方法があるのでしょうか。
例えば、
集合１：A, B, C, D, E
集合２：A, B, C, D, F
のような集合を表現したい場合、
全体集合S: A, B, C, D, E, F
集合X: A, B, C, D
集合X1: E
集合X2: F
とすると、下図のようになる
と考えられるのでしょうか？
（テキストでUMLはちょっと苦しいですが。。）
+-集合X1------+
| <>
全体集合S<---集合X----<>集合１
| |
| +----------+
| <>
+-集合X2---<>集合２
・X, X1, X2はSから継承
・X, X1は集合１の部分集合
・X, X2は集合２の部分集合
また、ORの表現（集合A、集合B、共通部分（A and Bの部分）の
関係）やXORの表現（排他部分をどう表現するか？）についても
いったいどう表現できるのかがわかりません。
集合論をUMLで表現すること自体に無理がある（不毛？）のでしょうか？
何かしらのご教示をいただけましたら幸いです。
-------------------------------
菊地丞
-------------------------------
-------------------------------------
オブジェクトの広場
http://www.ogis-ri.co.jp/otc/hiroba/
-------------------------------------
オブジェクトの広場
http://www.ogis-ri.co.jp/otc/hiroba/