{"height":"190","type":"rich","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffetburner.hatenablog.com%2Fentry%2F2021%2F02%2F28%2F200020\" title=\"\u30c0\u30a4\u30af\u30b9\u30c8\u30e9\u6cd5\u306e\u4e00\u822c\u5316\u3068\uff0c\u305d\u306e\u6b63\u5f53\u6027\u306e Coq \u3092\u7528\u3044\u305f\u691c\u8a3c - fetburner.core\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","title":"\u30c0\u30a4\u30af\u30b9\u30c8\u30e9\u6cd5\u306e\u4e00\u822c\u5316\u3068\uff0c\u305d\u306e\u6b63\u5f53\u6027\u306e Coq \u3092\u7528\u3044\u305f\u691c\u8a3c","author_name":"fetburner","blog_url":"https://fetburner.hatenablog.com/","provider_name":"Hatena Blog","blog_title":"fetburner.core","provider_url":"https://hatena.blog","author_url":"https://blog.hatena.ne.jp/fetburner/","categories":["Coq","OCaml"],"published":"2021-02-28 20:00:20","width":"100%","image_url":null,"description":"AtCoder Beginner Contest \u306e E \u554f\u984c\u30672\u56de\u7d9a\u3051\u3066\u30c0\u30a4\u30af\u30b9\u30c8\u30e9\u6cd5\u304c\u51fa\u984c\u3055\u308c\u308b\u6628\u4eca\uff0c\u3044\u304b\u304c\u304a\u904e\u3054\u3057\u3067\u3057\u3087\u3046\u304b\uff1f[^1] \u305d\u306e2\u3064\u306e E \u554f\u984c\u306e\u3046\u3061\uff0c\u5148\u306b\u51fa\u984c\u3055\u308c\u305f E - Come Back Quickly \u306f\u3044\u304b\u306b\u3082\u5178\u578b\u7684\u3060\u306a\u3042\u3068\u3044\u3063\u305f\u554f\u984c\u306a\u306e\u3067\u826f\u3044\u306e\u3067\u3059\u304c\uff0c\u5f8c\u306b\u51fa\u984c\u3055\u308c\u305f E - Train \u306f\u4e00\u7b4b\u7e04\u3067\u306f\u3044\u304b\u306a\u3044\u3082\u306e\u3067\u3057\u305f\uff0e\u5178\u578b\u7684\u306a\u6700\u77ed\u7d4c\u8def\u554f\u984c\u306f\u8fba\u306e\u9577\u3055\u304c\u5b9a\u6570\u3067\u3042\u308b\u3088\u3046\u306a\u30b0\u30e9\u30d5\u3092\u5bfe\u8c61\u3068\u3057\u3066\u3044\u307e\u3059\u304c\uff0c\u305d\u306e\u554f\u984c\u3067\u306f\u8fba\u306e\u9577\u3055\u304c\uff0c\u305d\u306e\u8fba\u306b\u8fbf\u308a\u7740\u304f\u307e\u3067\u306e\u7d4c\u8def\u9577\u306b\u4f9d\u5b58\u3059\u308b\u3088\u3046\u306a\u30b0\u30e9\u30d5\u306b\u5bfe\u3057\u3066\u30c0\u30a4\u30af\u30b9\u30c8\u30e9\u6cd5\u3092\u9069\u7528\u3059\u308b\u306e\u304c\u60f3\u5b9a\u89e3\u3060\u3063\u305f\u304b\u3089\u3067\u3059\uff0e \u672c\u8a18\u4e8b\u3067\u306f\uff0c\u9802\u70b9\u306b\u8fbf\u308a\u7740\u304f\u307e\u3067\u306e\u7d4c\u8def\u9577\u2026","version":"1.0","url":"https://fetburner.hatenablog.com/entry/2021/02/28/200020"}