{"description":"\u5206\u6563\u5408\u610f\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0 Raft \u306e Log Matching Property \u306b\u3064\u3044\u3066\u53ef\u80fd\u306a\u9650\u308a\u5f62\u5f0f\u7684\u306a\u8a3c\u660e\u3092\u3057\u307e\u3057\u305f\u3002","published":"2020-05-01 18:16:23","width":"100%","height":"190","image_url":"https://cdn.blog.st-hatena.com/images/theme/og-image-1500.png","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.orecoli.com%2Fentry%2F2020%2F05%2F01%2F181623\" title=\"A Proof for Log Matching Property of Raft - \u4ffa\u306e Colimit \u3092\u8d8a\u3048\u3066\u3086\u3051\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","url":"https://www.orecoli.com/entry/2020/05/01/181623","author_name":"hitotakuchan","categories":["Coq","TLA+"],"blog_url":"https://www.orecoli.com/","type":"rich","version":"1.0","provider_url":"https://hatena.blog","provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/hitotakuchan/","title":"A Proof for Log Matching Property of Raft","blog_title":"\u4ffa\u306e Colimit \u3092\u8d8a\u3048\u3066\u3086\u3051"}