{"image_url":"https://m.media-amazon.com/images/I/41EZ5GV0P4L._SL500_.jpg","version":"1.0","description":"\u300e\u6570\u7406\u8ad6\u7406\u5b66: \u5408\u7406\u7684\u30a8-\u30b8\u30a7\u30f3\u30c8\u3078\u306e\u5fdc\u7528\u306b\u5411\u3051\u3066\u300f\u306e\u308f\u304b\u3089\u306a\u3044\u3068\u3053\u308d\u3092\u8aac\u660e\u3057\u307e\u3059\u3002\u307e\u305a\u3053\u306e\u672c\u306e\u5b9a\u7fa9\u3092\u5f15\u7528\u3057\u3066\u3044\u304d\u307e\u3059\u3002\u7528\u8a9e\u3068\u8a18\u6cd5\u3092\u4e00\u90e8\u66f8\u304d\u76f4\u3057\u3066\u3044\u307e\u3059\u3002 \u5b9a\u7fa94.6 (\u5358\u4e00\u5316\uff0c\u5358\u4e00\u5316\u4ee3\u5165) \u4ee5\u4e0a\u306e\u6574\u6570 \u306b\u5bfe\u3057\u3001\u5404 \u3092\u9805\u306e\u96c6\u5408\u3068\u3059\u308b\u3002\u3053\u306e\u96c6\u5408\u306e\u3059\u3079\u3066\u306e\u8981\u7d20\u306b\u5bfe\u3057\u3001 \u3068\u306a\u308b\u3088\u3046\u306a\u4ee3\u5165 \u304c\u5b58\u5728\u3059\u308b\u3068\u304d\u3001\u3053\u306e \u3092\u96c6\u5408 \u306e\u5358\u4e00\u5316\u4ee3\u5165(unifier)\u3068\u547c\u3076\u3002\u307e\u305f\u3001\u3053\u306e\u3088\u3046\u306a\u5358\u4e00\u5316\u4ee3\u5165 \u3092\u6c42\u3081\u3001 \u3092\u305d\u308c\u305e\u308c \u306b\u7f6e\u304d\u63db\u3048\u308b\u64cd\u4f5c\u3092\u5358\u4e00\u5316(unification)\u3068\u547c\u3076\u3002 \u5b9a\u7fa9 4.7 (\u4e0d\u4e00\u81f4\u96c6\u5408) \u9805\u306e\u96c6\u5408 \u3092 \u3068\u3059\u308b\u3002\u5404 \u306b\u73fe\u308c\u308b\u8a18\u53f7(\u5b9a\u6570\u8a18\u53f7\u3001\u5909\u6570\u3001\u95a2\u6570\u8a18\u53f7)\u3092\u5de6\u304b\u3089\u9806\u306b\u305f\u3069\u308a\u5171\u901a\u3057\u306a\u3044\u8a18\u53f7\u304c\u898b\u3064\u304b\u3063\u2026","width":"100%","categories":["\u5358\u4e00\u5316\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0"],"url":"https://computeralgebra.hatenablog.com/entry/2024/07/27/144146","blog_url":"https://computeralgebra.hatenablog.com/","blog_title":"\u975e\u5c02\u9580\u7684\u30b7\u30f3\u30ae\u30e5\u30e9\u30ea\u30c6\u30a3\u30fc\u7814\u7a76\u6240","provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/computeralgebra/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2024%2F07%2F27%2F144146\" title=\"\u5358\u4e00\u5316\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0(2) - \u975e\u5c02\u9580\u7684\u30b7\u30f3\u30ae\u30e5\u30e9\u30ea\u30c6\u30a3\u30fc\u7814\u7a76\u6240\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","height":"190","title":"\u5358\u4e00\u5316\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0(2)","published":"2024-07-27 14:41:46","type":"rich","provider_url":"https://hatena.blog","author_name":"computeralgebra"}