{"author_url":"https://blog.hatena.ne.jp/koba-e964/","type":"rich","published":"2021-05-17 10:32:28","author_name":"koba-e964","height":"190","provider_name":"Hatena Blog","title":"2021-05-10 (\u6708) - 2021-05-16 (\u65e5) \u9032\u6357","categories":[],"image_url":null,"width":"100%","blog_url":"https://koba-e964.hatenablog.com/","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 35-40 \u89e3\u304d\u3002 JOIG 2021 \u904e\u53bb\u554f - AtCoder: F \u89e3\u304d\u3002 JOI 2020/2021 \u4e8c\u6b21\u4e88\u9078 \u904e\u53bb\u554f: A-E \u89e3\u304d\u3002 JOI 2020/2021 \u672c\u9078: A, B, C \u89e3\u304d\u3002D \u89e3\u8aac AC\u3002 ARC118 A-D \u89e3\u304d\u3002 \u7b2c2\u56de\u65e9\u7a32\u7530\u5927\u5b66\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u30b3\u30f3\u30c6\u30b9\u30c8: A-D,\u2026","blog_title":"koba-e964\u306e\u65e5\u8a18","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkoba-e964.hatenablog.com%2Fentry%2F2021%2F05%2F17%2F103228\" title=\"2021-05-10 (\u6708) - 2021-05-16 (\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>","version":"1.0","url":"https://koba-e964.hatenablog.com/entry/2021/05/17/103228"}