osamu ogurisu
oguri****@gmail*****
2018年 8月 30日 (木) 00:52:10 JST
Shiroさん、やっぱりそうですよね。 自分で使う分には set<=? and not set=? ですむので良いのですが、変な誤解してるのかと気になりました。 お返事ありがとうございました。 小栗栖 2018年8月30日(木) 0:42 Shiro Kawai <shiro****@gmail*****>: > 確かに。 >? を <=? のnegationとしているのはreference implementationも同じですが、正しくないですね。 > > > On Wed, Aug 29, 2018 at 4:31 AM osamu ogurisu <oguri****@gmail*****> > wrote: > >> Shiroさん、 >> >> 小栗栖です。 >> >> 0.9.6 の scheme.set の set>? の挙動について教えてください。 >> >> gosh> (gauche-version) >> "0.9.6" >> gosh> (use scheme.set) >> gosh> (define s1 (set eq-comparator 'a 'b)) >> s1 >> gosh> (define s2 (set eq-comparator 'c 'd)) >> s2 >> gosh> (set>? s1 s2) >> #t >> >> s1 は s2 の superset ではないので #f を期待したのですが、#t が返ってきました。 >> >> >> http://practical-scheme.net/gauche/man/gauche-refe/R7RS-large.html#R7RS-sets >> >> には >> >> [R7RS set] {scheme.set} Returs true iff each preceding set/bag is a >> proper subset of, a proper superset of, a subset of, or a superset >> of the following set/bags, respectively. >> >> とあるので、#f になりそうな気がします。 >> >> また、lib/srfi-113.scm を見ると >> >> ;; > is the negation of <=. Note that this is only true at the dyadic >> ;; level; we can't just replace sob>? with a negation of sob<=?. >> >> とありますが、集合の包含関係 S1 ⊃ S2 の真偽は S1 ⊆ S2 の真偽の否定に >> はならないので、私が set>? の動作を誤解しているのでしょうか？ >> >> どうぞよろしくお願いします。 >> >> 小栗栖修 >> >> _______________________________________________ >> Gauche-devel-jp mailing list >> Gauch****@lists***** >> https://lists.osdn.me/mailman/listinfo/gauche-devel-jp > > _______________________________________________ > Gauche-devel-jp mailing list > Gauch****@lists***** > https://lists.osdn.me/mailman/listinfo/gauche-devel-jp -------------- next part -------------- HTML$B$NE:IU%U%!%$%k$rJ]4I$7$^$7$?(B... URL: https://lists.osdn.me/mailman/archives/gauche-devel-jp/attachments/20180830/4f4a3ac5/attachment.htm
