{"title":" \u8a3c\u660e\u8ad6\u3068\u3044\u3046\u30d0\u30f3\u30c9","image_url":null,"width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintruder.hatenadiary.org%2Fentry%2F20051119%2Fp3\" title=\" \u8a3c\u660e\u8ad6\u3068\u3044\u3046\u30d0\u30f3\u30c9 - Another divergence to an intruder\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","blog_url":"https://intruder.hatenadiary.org/","categories":["web\u30cd\u30bf"],"url":"https://intruder.hatenadiary.org/entry/20051119/p3","version":"1.0","published":"2005-11-19 00:00:02","height":"190","provider_name":"Hatena Blog","type":"rich","author_url":"https://blog.hatena.ne.jp/intruder/","provider_url":"https://hatena.blog","description":"Proof Theory\u3068\u3044\u3046\u540d\u524d\u306e\u30d0\u30f3\u30c9\u304c\u3042\u308b\u3089\u3057\u3044\u3002\u5f7c\u3089\u306e\u30da\u30fc\u30b8\u3002\u5f7c\u3089\u306e\u30ed\u30b4\u304c\u3042\u308b\u3093\u3067\u3059\u304c\u3001\u3053\u308c\u306f\u3069\u3046\u898b\u3066\u3082\u4f55\u304b\u306e\u30b2\u30fc\u30e0\u306e\u30aa\u30fc\u30d7\u30cb\u30f3\u30b0\u753b\u9762\u3060\u308d\u3046\u3068\u3002\u66f2\u8abf\u306f\u4e00\u6642\u671f\u306e\u30e1\u30bf\u30ea\u30ab\u307f\u305f\u3044\u306a\u611f\u3058\u3067\u3059\u3002\u30c9\u30e9\u30e0\u304c\u3061\u3087\u3063\u3068\u4e0b\u624b\uff1f","author_name":"intruder","blog_title":"Another divergence to an intruder"}