{"provider_name":"Hatena Blog","provider_url":"https://hatena.blog","url":"https://ima-korega1ban.work/entry/2026/02/11/065512","author_name":"houbuntarou","type":"rich","image_url":null,"published":"2026-02-11 06:55:12","blog_url":"https://ima-korega1ban.work/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fima-korega1ban.work%2Fentry%2F2026%2F02%2F11%2F065512\" title=\"\u30b5\u30c3\u30ab\u30fc\u26bd\ufe0f ACL2 \u30e9\u30a6\u30f3\u30c916 \u7b2c1\u6226\u3000J1\u30fbG\u5927\u962a \u30a2\u30a6\u30a7\u30a4\u521d\u6226 - houbuntarou\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","blog_title":"houbuntarou","height":"190","title":"\u30b5\u30c3\u30ab\u30fc\u26bd\ufe0f ACL2 \u30e9\u30a6\u30f3\u30c916 \u7b2c1\u6226\u3000J1\u30fbG\u5927\u962a \u30a2\u30a6\u30a7\u30a4\u521d\u6226","width":"100%","categories":["\u30b5\u30c3\u30ab\u30fc\u26bd\ufe0fACL2"],"version":"1.0","author_url":"https://blog.hatena.ne.jp/houbuntarou/","description":"\ud83c\udfc6 ACL2 \u30e9\u30a6\u30f3\u30c916 \u7b2c2\u6226 \ud83c\uddef\ud83c\uddf5 \u30ac\u30f3\u30d0\u5927\u962a \u53c2\u6226\u7d50\u679c \ud83d\udd0e \u8a66\u5408\u7d50\u679c\u307e\u3068\u3081 \ud83d\udccc \u30dd\u30a4\u30f3\u30c8\u6574\u7406 \u25b6 \u8a66\u5408\u65e5\u7a0b\u30fb\u8996\u8074\u65b9\u6cd5\u307e\u3068\u3081 \u30b5\u30c3\u30ab\u30fc\u26bd\ufe0f ACL2 \u30e9\u30a6\u30f3\u30c916 \u7b2c1\u6226 J1\u30fbG\u5927\u962a \u30a2\u30a6\u30a7\u30a4\u521d\u6226\uff08\u8a66\u5408\u524d\uff09 \ud83d\udd0e \u8a66\u5408\u306e\u30dd\u30a4\u30f3\u30c8 \u25b6 \u8996\u8074\u30fb\u8a66\u5408\u306e\u63a2\u3057\u65b9\uff08\u6848\u5185\u6240\uff09 \ud83c\udfc6 ACL2 \u30e9\u30a6\u30f3\u30c916 \u7b2c2\u6226 \ud83c\uddef\ud83c\uddf5 \u30ac\u30f3\u30d0\u5927\u962a \u53c2\u6226\u7d50\u679c --- \ud83d\uddd3 2/12\uff08\u6728\uff0919:00 AFC\u30c1\u30e3\u30f3\u30d4\u30aa\u30f3\u30ba\u30ea\u30fc\u30b02 \u30e9\u30a6\u30f3\u30c916 \u7b2c1\u6226 \ud83d\udccd\u6d66\u9805\u30b9\u30c6\u30a3\u30fc\u30eb\u30e4\u30fc\u30c9 \u6d66\u9805 1 \u2013 1 G\u5927\u962a \uff08\u524d\u534a 0-0 / \u5f8c\u534a 1-1\uff09 --- \ud83d\udd0e \u8a66\u5408\u7d50\u679c\u307e\u3068\u3081 \u30a2\u30a6\u30a7\u30a4\u3067\u306e\u7b2c1\u6226\u306f 1-1\u306e\u30c9\u30ed\u30fc\u3002 \u5f8c\u534a\u958b\u59cb\u76f4\u5f8c\u306e2\u5206\u3001 \u2026"}