{"width":"100%","description":"\u3082\u3057\u3082\u6388\u696d\u53d7\u3051\u3066\u308b\u4eba\u304c\u8aad\u3093\u3067\u3082\u591a\u5206\u5f79\u7acb\u305f\u306a\u3044\u306e\u3067\u3042\u3057\u304b\u3089\u305a\u3002\u4eca\u56de\u306f\u3044\u304d\u306a\u308a\u30ec\u30be\u30ea\u30e5\u30fc\u30b7\u30e7\u30f3\u539f\u7406\u3002\u65e5\u672c\u8a9e\u3067\u306f\u300c\u5c0e\u51fa\u539f\u7406\u300d\u3068\u547c\u3070\u308c\u308b\u3089\u3057\u3044\u3002 http://ysserve.cs.shinshu-u.ac.jp/Lecture/SymbolLogic/node52.html http://kaz.cyteen.nagoya-bunri.ac.jp/knowledge/resolution.html \u307e\u3042\u3001\u8981\u3059\u308b\u306b\u8a18\u53f7\u8ad6\u7406\u4e0a\u3067\u306e\u80cc\u7406\u6cd5\u3002","type":"rich","author_name":"DOSEI","provider_url":"https://hatena.blog","author_url":"https://blog.hatena.ne.jp/DOSEI/","height":"190","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fdosei.hatenadiary.jp%2Fentry%2F20050421%2Fp2\" title=\" - DOSEI\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>","url":"https://dosei.hatenadiary.jp/entry/20050421/p2","blog_url":"https://dosei.hatenadiary.jp/","blog_title":"DOSEI\u306e\u65e5\u8a18","version":"1.0","image_url":null,"categories":["\u8b1b\u7fa9","\u77e5\u8b58\u5de5\u5b66","\u8b1b\u7fa9","\u77e5\u8b58\u5de5\u5b66"],"published":"2005-04-21 00:00:01","provider_name":"Hatena Blog","title":""}