バインダー

以前、id:halts:20031216 で述べた「グループ」を正式に「バインダー」という名前で実現することになりました。実装は DB を考えると実に簡単なんだけど。