{"published":"2021-05-24 10:25:35","width":"100%","author_url":"https://blog.hatena.ne.jp/koba-e964/","type":"rich","title":"2021-05-17 (\u6708) - 2021-05-23 (\u65e5) \u9032\u6357","blog_title":"koba-e964\u306e\u65e5\u8a18","url":"https://koba-e964.hatenablog.com/entry/2021/05/24/102535","image_url":null,"description":"\u6570\u5b66 \u9032\u6357\u306a\u3057 \u958b\u767a WASM \u306e\u30c1\u30e5\u30fc\u30c8\u30ea\u30a2\u30eb: \u9032\u6357\u306a\u3057 rust-number-theory: \u9032\u6357\u306a\u3057 GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: \u9032\u6357\u306a\u3057 \u7af6\u30d7\u30ed \u7af6\u30d7\u30ed\u5178\u578b 90 \u554f 41-47 \u89e3\u304d\u3002 \u30d1\u7814\u5408\u5bbf2020 \u7b2c2\u65e5\u300c\u30d1\u7814\u676f2020\u300d - AtCoder: D, E \u89e3\u304d\u3002 dwango\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u30b3\u30f3\u30c6\u30b9\u30c8 - AtCoder: C \u89e3\u304d\u3002 Japanese Student Championship 2021 - AtCoder: F, H \u3092\u89e3\u8aac AC\u3002 ABC20\u2026","provider_name":"Hatena Blog","version":"1.0","author_name":"koba-e964","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkoba-e964.hatenablog.com%2Fentry%2F2021%2F05%2F24%2F102535\" title=\"2021-05-17 (\u6708) - 2021-05-23 (\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","categories":[],"blog_url":"https://koba-e964.hatenablog.com/"}