2007-02-20 Concurrent Clean : Bounded Quantification がない。 前にも何回も書いているけど。 なんでないんだろ? 実装の手間かな? それとも理論的な問題があるのか?