{"version":"1.0","published":"2026-02-13 18:59:59","blog_url":"https://ima-korega1ban.work/","author_url":"https://blog.hatena.ne.jp/houbuntarou/","categories":["\u30b5\u30c3\u30ab\u30fc\u26bd\ufe0fACL2"],"description":"\ud83c\udfc6 ACL2 \u30e9\u30a6\u30f3\u30c916 \u7b2c2\u6226 \u7d50\u679c \ud83d\uddd3 2/19\uff08\u6728\uff0919:00 \ud83d\udd35 \u8a66\u5408\u307e\u3068\u3081 \ud83c\udfaf \u52dd\u56e0\u6574\u7406 \ud83d\udcc8 J1\u52e2\u3068\u3057\u3066\u306e\u73fe\u5728\u5730 \u25b6 ACL2\u30fbJ1\u30fbACLE\u6574\u7406 \ud83c\udfc6 ACL2 \u30e9\u30a6\u30f3\u30c916 \u7b2c2\u6226 \ud83d\uddd3 \u8a66\u5408\u60c5\u5831 \ud83d\udd0e \u3053\u3053\u307e\u3067\u306e\u72b6\u6cc1 \ud83c\udfaf \u7b2c2\u6226\u306e\u7126\u70b9 \u2460 \u7acb\u3061\u4e0a\u304c\u308a15\u5206 \u2461 \u5148\u5236\u70b9\u306e\u610f\u5473 \ud83e\udde0 \u3053\u306e\u4e00\u6226\u306f\u5358\u306a\u308b\u30e9\u30a6\u30f3\u30c916\u3067\u306f\u306a\u3044\u3002 \u25b6 ACL2\u30fbJ1\u30fbACLE\u5168\u4f53\u6574\u7406 \ud83c\udfc6 ACL2 \u30e9\u30a6\u30f3\u30c916 \u7b2c2\u6226 \u7d50\u679c \ud83c\uddef\ud83c\uddf5 \u30ac\u30f3\u30d0\u5927\u962a vs \u6d66\u9805\u30b9\u30c6\u30a3\u30fc\u30e9\u30fc\u30ba --- \ud83d\uddd3 2/19\uff08\u6728\uff0919:00 ACL2 \u30e9\u30a6\u30f3\u30c916 \u7b2c2\u6226 \ud83d\udccd\u5e02\u7acb\u5439\u7530\u30b5\u30c3\u30ab\u30fc\u30b9\u30bf\u30b8\u30a2\u30e0 G\u5927\u962a 2-1 \u6d66\u9805 \uff08\u524d\u534a 2-0 / \u2026","image_url":null,"author_name":"houbuntarou","url":"https://ima-korega1ban.work/entry/2026/02/13/185959","title":"\ud83c\udfc6 ACL2 \u30e9\u30a6\u30f3\u30c916 \u7b2c2\u6226","provider_name":"Hatena Blog","blog_title":"houbuntarou","height":"190","width":"100%","provider_url":"https://hatena.blog","type":"rich","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fima-korega1ban.work%2Fentry%2F2026%2F02%2F13%2F185959\" title=\"\ud83c\udfc6 ACL2 \u30e9\u30a6\u30f3\u30c916 \u7b2c2\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>"}