{"blog_url":"https://koba-e964.hatenablog.com/","version":"1.0","description":"\u6570\u5b66 Enumerative Combinatorics \u306e\u7df4\u7fd2\u554f\u984c\u3092\u89e3\u304d\u3002 \u958b\u767a WASM \u306e\u30c1\u30e5\u30fc\u30c8\u30ea\u30a2\u30eb: \u9032\u6357\u306a\u3057 rust-number-theory: \u591a\u9805\u5f0f\u306e\u56e0\u6570\u5206\u89e3 mod p \u3092\u5b9f\u88c5\u3002\u5168\u3066\u306e\u6709\u7406\u7d20\u6570\u306b Dedekind \u306e\u5206\u89e3\u304c\u9069\u7528\u3067\u304d\u308b\u5834\u5408 (Q(cbrt(7)) \u306a\u3069) \u306e\u985e\u6570\u30fb\u5358\u6570\u7fa4\u306e\u751f\u6210\u5143\u306e\u8a08\u7b97\u3092\u5b9f\u88c5\u3002 GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: \u9032\u6357\u306a\u3057 \u7af6\u30d7\u30ed \u7af6\u30d7\u30ed\u5178\u578b 90 \u554f 23-29 \u89e3\u304d\u3002 \u30e9\u30c6\u30f3\u8a9e Ritchie\u2019s Fabulae Faciles: \u2026","url":"https://koba-e964.hatenablog.com/entry/2021/05/03/144101","provider_name":"Hatena Blog","type":"rich","width":"100%","blog_title":"koba-e964\u306e\u65e5\u8a18","author_name":"koba-e964","provider_url":"https://hatena.blog","author_url":"https://blog.hatena.ne.jp/koba-e964/","image_url":null,"published":"2021-05-03 14:41:01","categories":[],"title":"2021-04-26 (\u6708) - 2021-05-02 (\u65e5) \u9032\u6357","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkoba-e964.hatenablog.com%2Fentry%2F2021%2F05%2F03%2F144101\" title=\"2021-04-26 (\u6708) - 2021-05-02 (\u65e5) \u9032\u6357 - koba-e964\u306e\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","height":"190"}