{"width":"100%","type":"rich","url":"https://koba-e964.hatenablog.com/entry/2021/07/20/230350","author_name":"koba-e964","categories":[],"published":"2021-07-20 23:03:50","provider_name":"Hatena Blog","blog_url":"https://koba-e964.hatenablog.com/","height":"190","blog_title":"koba-e964\u306e\u65e5\u8a18","version":"1.0","title":"2021-07-12 (\u6708) - 2021-07-18 (\u65e5) \u9032\u6357","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkoba-e964.hatenablog.com%2Fentry%2F2021%2F07%2F20%2F230350\" title=\"2021-07-12 (\u6708) - 2021-07-18 (\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>","image_url":null,"author_url":"https://blog.hatena.ne.jp/koba-e964/","description":"\u6570\u5b66 EC 3.13 \u306e\u6e96\u5099\u3068\u767a\u8868\u3002https://github.com/koba-e964/ec-exercises/blob/master/sec-3-13.tex \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 ABC209: F \u89e3\u304d\u3002 \u7b2c\uff11\uff12\u56de\u65e5\u672c\u60c5\u5831\u30aa\u30ea\u30f3\u30d4\u30c3\u30af \u4e88\u9078\uff08\u904e\u53bb\u554f\uff09 - AtCoder: F \u3092\u89e3\u8aac\u30fb\u30b5\u30f3\u30d7\u30eb\u30b3\u30fc\u30c9\u3092\u898b\u3066\u5b9f\u88c5\u3002 \u7b2c\uff11\uff10\u56de\u65e5\u672c\u60c5\u5831\u30aa\u30ea\u30f3\u30d4\u30c3\u30af \u4e88\u9078\uff08\u2026"}