{"categories":["\u8b1b\u7fa9","\u77e5\u8b58\u5de5\u5b66","\u8b1b\u7fa9","\u77e5\u8b58\u5de5\u5b66"],"provider_url":"https://hatena.blog","blog_title":"DOSEI\u306e\u65e5\u8a18","image_url":null,"blog_url":"https://dosei.hatenadiary.jp/","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>","version":"1.0","author_url":"https://blog.hatena.ne.jp/DOSEI/","provider_name":"Hatena Blog","width":"100%","published":"2005-04-21 00:00:01","type":"rich","url":"https://dosei.hatenadiary.jp/entry/20050421/p2","height":"190","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","author_name":"DOSEI","title":""}