{"description":"Mathematical Logic Advent Calender 2019 5\u65e5\u76ee\u306e\u8a18\u4e8b\u3067\u3059\u3002 adventar.org \u300c\u9589\u96c6\u5408\u304b\u3089\u6c7a\u307e\u308b\u7121\u9650\u30b2\u30fc\u30e0\u306b\u306f\u5148\u624b\u304b\u5f8c\u624b\u306e\u3069\u3061\u3089\u304b\u306b\u5fc5\u305a\u5fc5\u52dd\u6cd5\u304c\u5b58\u5728\u3059\u308b\u300d\u3068\u3044\u3046\u4e8b\u5b9f\u3092\u4f7f\u3044\u3001\u975e\u53ef\u7b97\u306a\u89e3\u6790\u96c6\u5408\u306f\u3059\u3079\u3066\u5b8c\u5168\u96c6\u5408\u3092\u542b\u3080\u3053\u3068\u3092\u793a\u3057\u307e\u3059\u3002 PDF: https://fujidig.github.io/201912-davis-game/davis-game.pdf \u4eca\u56deDavis\u306e\u30b2\u30fc\u30e0\u3068\u3044\u3046\u7121\u9650\u30b2\u30fc\u30e0\u3092\u6271\u3044\u307e\u3057\u305f\u304c\u3001Mathematical Logic Advent Calender 2019\u306b\u306f\u307e\u3060\u7121\u9650\u30b2\u30fc\u30e0\u306e\u5bc4\u7a3f\u304c\u3042\u308a\u307e\u3059\u3002\u3061\u3087\u3046\u30691\u9031\u9593\u5f8c\u306by.\u3055\u3093\u304c\u2026","height":"190","title":"Davis\u306e\u30b2\u30fc\u30e0","type":"rich","author_name":"fujidig","width":"100%","version":"1.0","categories":[],"url":"https://fujidig.hatenablog.com/entry/2019/12/05/000011","provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/fujidig/","blog_title":"\u7406\u79d1","blog_url":"https://fujidig.hatenablog.com/","provider_url":"https://hatena.blog","image_url":"https://cdn-ak.f.st-hatena.com/images/fotolife/f/fujidig/20191204/20191204210952.png","published":"2019-12-05 00:00:11","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffujidig.hatenablog.com%2Fentry%2F2019%2F12%2F05%2F000011\" title=\"Davis\u306e\u30b2\u30fc\u30e0 - \u7406\u79d1\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>"}