{"blog_title":"\u7d9a\u30fb\u3072\u3088\u5b50\u306e\u304d\u3082\u3061","author_name":"kotsubu-chan","provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/kotsubu-chan/","description":"VDM++ \u3067\u306e\u6f14\u7b97 rng \u306b\u6e96\u62e0\u3057\u305f\u4e8b\u4f8b\u3092\u7d39\u4ecb\u3057\u307e\u3059\u3002 m = VDM_Map({\"A\":1,\"B\":2,\"C\":3}) print \">>> rng %s\"%(m) X = rng(m) print X; assert X == VDM_Set(range(1,4))\u5199\u50cf m \u306e\u5024\u57df\u3092\u5f97\u308b\u306b\u306f\u3001\u95a2\u6570 rng \u3092\u5229\u7528\u3057\u307e\u3059\u3002\u3053\u306e\u30b3\u30fc\u30c9\u3092\u5b9f\u884c\u3059\u308b\u3068\u3001>>> rng {'A' |-> 1, 'C' |-> 3, 'B' |-> 2} {1, 2, 3}\u5024\u57df\u306f {1, 2, 3} \u306b\u306a\u308a\u307e\u3059\u3002 m = VDM_Map() print \">>> rng %s\"%(m) X = rng(m) pri\u2026","provider_url":"https://hatena.blog","title":"\u4e8b\u4f8b\uff1a\u6f14\u7b97 rng","categories":[],"image_url":null,"height":"190","width":"100%","published":"2006-10-23 10:43:43","blog_url":"https://kotsubu-chan.hatenadiary.org/","version":"1.0","type":"rich","url":"https://kotsubu-chan.hatenadiary.org/entry/20061023/1220665423","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkotsubu-chan.hatenadiary.org%2Fentry%2F20061023%2F1220665423\" title=\"\u4e8b\u4f8b\uff1a\u6f14\u7b97 rng - \u7d9a\u30fb\u3072\u3088\u5b50\u306e\u304d\u3082\u3061\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>"}