osamu ogurisu
oguri****@gmail*****
2018年 8月 29日 (水) 23:30:30 JST
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>? の動作を誤解しているのでしょうか？ どうぞよろしくお願いします。 小栗栖修 -------------- next part -------------- HTML$B$NE:IU%U%!%$%k$rJ]4I$7$^$7$?(B... URL: https://lists.osdn.me/mailman/archives/gauche-devel-jp/attachments/20180829/363e7a78/attachment.htm
