{"width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmjt.hatenadiary.com%2Fentry%2F20170530%2Fp1\" title=\" SECDV Scheme\u3092\u5b9f\u88c5\u3059\u308b - \u30d2\u30fc\u30d7\u304c\u30b5\u30dd\u30fc\u30c8\u3059\u3079\u304d\u578b\u306e\u6d17\u3044\u51fa\u3057 - .mjt\u306e\u65e5\u8a18\u5fa9\u5e30\u8a08\u753b\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","title":" SECDV Scheme\u3092\u5b9f\u88c5\u3059\u308b - \u30d2\u30fc\u30d7\u304c\u30b5\u30dd\u30fc\u30c8\u3059\u3079\u304d\u578b\u306e\u6d17\u3044\u51fa\u3057","provider_url":"https://hatena.blog","type":"rich","published":"2017-05-30 00:00:00","provider_name":"Hatena Blog","height":"190","blog_title":".mjt\u306e\u65e5\u8a18\u5fa9\u5e30\u8a08\u753b","blog_url":"https://mjt.hatenadiary.com/","description":"\u3061\u3087\u3063\u3068\u8003\u3048\u305f\u3051\u3069\u3001vector\u3068pair\u3060\u3051\u5148\u884c\u5b9f\u88c5\u3059\u308b\u3088\u308a\u3082\u3001\u6700\u521d\u304b\u3089\u5168\u90e8\u306e\u578b\u3092\u7528\u610f\u3057\u3066\u3057\u307e\u3063\u305f\u65b9\u304c\u7c21\u5358\u305d\u3046\u306a\u6c17\u304c\u3057\u3066\u304d\u305f\u3002\u3068\u3044\u3046\u308f\u3051\u3067\u3001\u578b\u968e\u5c64\u3092\u8a2d\u8a08\u3057\u3066\u5b9f\u88c5\u3059\u3079\u304d\u578b\u3092\u6d17\u3044\u51fa\u3059\u3002 (SECDV\u3092\u30db\u30b9\u30c8Scheme\u306e\u30d2\u30fc\u30d7\u30b7\u30b9\u30c6\u30e0\u3067\u52d5\u304b\u3057\u305f\u308a\u3001\u3053\u308c\u304b\u3089\u5b9f\u88c5\u3057\u3066\u3044\u304f\u3088\u3046\u306afixnum\u30d2\u30fc\u30d7\u30a8\u30df\u30e5\u30ec\u30fc\u30bf\u4e0a\u3067\u52d5\u304b\u3059\u3053\u3068\u306b\u306f\u610f\u7fa9\u304c\u3042\u308b\u304c\u3001pair\u3084vector\u3060\u3051\u3092\u30a8\u30df\u30e5\u30ec\u30fc\u30c8\u3059\u308b\u74b0\u5883\u306b\u306f\u5358\u306b\u9700\u8981\u304c\u7121\u3044\u3002) \u56f3\u306e\u5de6\u7aef\u3001\u30b0\u30ec\u30fc\u5730\u306b\u3057\u3066\u3044\u308b\u90e8\u5206\u304c\u3001R7RS Scheme\u3067\u6c42\u3081\u3089\u308c\u3066\u3044\u308b\u578b\u3068\u306a\u308b(R7RS 3.2 Disjointness of types)\u3002\u305f\u3060\u3001\u3053\u308c\u3089\u306e\u8ff0\u8a9e(\u30d7\u30ec\u30c7\u30a3\u30b1\u30fc\u30c8; \u578b\u5224\u5225\u306e\u2026","author_url":"https://blog.hatena.ne.jp/mjt/","author_name":"mjt","image_url":"http://storage.osdev.info/pub/idmjt/diaryimage/1705/neta170530l1.png","version":"1.0","categories":["nmosh"],"url":"https://mjt.hatenadiary.com/entry/20170530/p1"}