{"width":"100%","blog_title":"\u9759\u304b\u306b\u6d41\u308c\u308b\u65e5\u5e38\u304b\u3089","version":"1.0","categories":["\u30cb\u30e5\u30fc\u30b9","\u30b9\u30dd\u30fc\u30c4"],"author_url":"https://blog.hatena.ne.jp/chichimal/","type":"rich","title":"\u3010\u30b9\u30dd\u30fc\u30c4\u30cb\u30e5\u30fc\u30b9\u3011\u3010ACL2\u3011G\u5927\u962aMF\u540d\u548c\u7530\u6211\u7a7a\u304c\u53e3\u306b\u3057\u3066\u3044\u305f\u98db\u8e8d\u306e\u79d8\u5bc6\u306f\u2026\u30d8\u30a2\u30d0\u30f3\u30c9\uff1f\u300c\u4e00\u756a\u5f71\u97ff\u3057\u3066\u3044\u308b\u300d(\u30b9\u30dd\u30cb\u2026\uff082026-03-05\uff09","image_url":"https://newsatcl-pctr.c.yimg.jp/t/amd-img/20260304-00000384-spnannex-000-2-view.jpg?pri=l&w=539&h=640&exp=10800","published":"2026-03-05 00:15:12","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fchichimal.com%2Fentry%2F2026%2F03%2F05%2F001512\" title=\"\u3010\u30b9\u30dd\u30fc\u30c4\u30cb\u30e5\u30fc\u30b9\u3011\u3010ACL2\u3011G\u5927\u962aMF\u540d\u548c\u7530\u6211\u7a7a\u304c\u53e3\u306b\u3057\u3066\u3044\u305f\u98db\u8e8d\u306e\u79d8\u5bc6\u306f\u2026\u30d8\u30a2\u30d0\u30f3\u30c9\uff1f\u300c\u4e00\u756a\u5f71\u97ff\u3057\u3066\u3044\u308b\u300d(\u30b9\u30dd\u30cb\u2026\uff082026-03-05\uff09 - \u9759\u304b\u306b\u6d41\u308c\u308b\u65e5\u5e38\u304b\u3089\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","author_name":"chichimal","description":"\u3010ACL2\u3011G\u5927\u962aMF\u540d\u548c\u7530\u6211\u7a7a\u304c\u53e3\u306b\u3057\u3066\u3044\u305f\u98db\u8e8d\u306e\u79d8\u5bc6\u306f\u2026\u30d8\u30a2\u30d0\u30f3\u30c9\uff1f\u300c\u4e00\u756a\u5f71\u97ff\u3057\u3066\u3044\u308b\u300d(\u30b9\u30dd\u30cb\u30c1\u30a2\u30cd\u30c3\u30af\u30b9) \u25a0 \u30cb\u30e5\u30fc\u30b9\u6982\u8981 \u914d\u4fe1\u65e5\u6642\uff1aWed, 04 Mar 2026 15:11:15 GMT \uff27\u5927\u962a\u30fb\u540d\u548c\u7530\u6211\u7a7a \u25c7ACL2\u6e96\u3005\u6c7a\u52dd\u7b2c1\u6226 G\u5927\u962a1\u20151\u30e9\u30c1\u30e3\u30d6\u30ea\uff082026\u5e743\u67084\u65e5 \u30d1\u30ca\u30b9\u30bf\uff09 G\u5927\u962a\u306f\u30db\u30fc\u30e0\u3067\u30e9\u30c1\u30e3\u30d6\u30ea\uff08\u30bf\u30a4\uff09\u30681\u20151\u306e\u30c9\u30ed\u30fc\u306b\u7d42\u308f\u3063\u305f\u3002\u305d\u308c\u304c\u4e00\u756a\u5f71\u97ff\u3057\u3066\u3044\u308b\u304b\u306a\u300d\u3002\u4eca\u5b63\u521d\u30b9\u30bf\u30e1\u30f3\u3060\u3063\u305f\u76f4\u8fd1\u306e\u30ea\u30fc\u30b0\u6e05\u6c34\u6226\u306f\u898b\u305b\u5834\u3092\u4f5c\u308c\u305a\u524d\u534a45\u5206\u9593\u306e\u307f\u3067\u4ea4\u4ee3\u3057\u305f\u304c\u300c\u9014\u4e2d\u304b\u3089\u81ea\u5206\u306e\u30ea\u30ba\u30e0\u3092\u4f5c\u308c\u3066\u3044\u308b\u611f\u899a\u306f\u3042\u3063\u305f\u3002\u5f8c\u534a39\u5206\u306b\u30c1\u30fc\u30e0\u3092\u6551\u3046\u540c\u70b9\u5f3e\u3092\u6c7a\u3081\u305fMF\u540d\u548c\u7530\u6211\u7a7a\uff0819\uff09\u306f\u300c\u6b63\u76f4\u3001\u3042\u2026","provider_url":"https://hatena.blog","height":"190","blog_url":"https://chichimal.com/","url":"https://chichimal.com/entry/2026/03/05/001512","provider_name":"Hatena Blog"}