{"published":"2026-03-11 13:06:27","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fima-korega1ban.work%2Fentry%2F2026%2F03%2F11%2F130627\" title=\"\ud83c\udfc6 ACL2 \u6c7a\u52dd - houbuntarou\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_name":"Hatena Blog","type":"rich","height":"190","blog_url":"https://ima-korega1ban.work/","blog_title":"houbuntarou","version":"1.0","description":"\ud83c\udfc6ACL2\u6c7a\u52dd \u8a66\u5408\u7d50\u679c \ud83c\udfc6 \u8a66\u5408\u7d50\u679c \ud83d\udd25 \u8a66\u5408\u5c55\u958b \ud83c\udfc6 G\u5927\u962a\u3001\u30a2\u30b8\u30a2\u5236\u8987 \ud83e\udded ACL2\u306f\u300c\u5927\u4f1a\u306e\u6d41\u308c\u300d\u3067\u898b\u308b\u3068\u9762\u767d\u3044 \ud83d\udcfa \u8996\u8074\u30fb\u5927\u4f1a\u307e\u3068\u3081 \u270d\ufe0f \u307e\u3068\u3081 \u26bdACL2 \u6c7a\u52dd \ud83c\udfc6 \u8a66\u5408\u60c5\u5831 \ud83d\udd25 \u8a66\u5408\u306e\u6ce8\u76ee\u30dd\u30a4\u30f3\u30c8 \u2705 \u5b8c\u5168\u30a2\u30a6\u30a7\u30fc\u306e\u5927\u4e00\u756a \u2705 \u5927\u4f1a\u3092\u901a\u3057\u3066\u898b\u3048\u305f\u201c\u4fee\u6b63\u529b\u201d \u2705 \u201c\u30a2\u30b8\u30a2\u5236\u8987\u201d\u307e\u3067\u3042\u30681\u52dd \ud83e\udded ACL2\u306f\u300c\u5927\u4f1a\u306e\u6d41\u308c\u300d\u3067\u898b\u308b\u3068\u9762\u767d\u3044 \ud83d\udcfa \u8996\u8074\u30fb\u5927\u4f1a\u307e\u3068\u3081 \u270d\ufe0f \u307e\u3068\u3081 \ud83c\udfc6 ACL2 \u65e5\u672c\u30af\u30e9\u30d6\u9032\u51fa\u307e\u3068\u3081\uff08\u6c7a\u52dd\u9032\u51fa\uff09AFC\u30c1\u30e3\u30f3\u30d4\u30aa\u30f3\u30ba\u30ea\u30fc\u30b02 2025-26 \ud83c\uddef\ud83c\uddf5 \u65e5\u672c\u30af\u30e9\u30d6\u306e\u73fe\u5728\u5730 \ud83d\udd25 \u6e96\u6c7a\u52dd\u306e\u6226\u3044\uff08vs \u30d0\u30f3\u30b3\u30af\u30fb\u30e6\u30ca\u30a4\u30c6\u30c3\u30c9\uff09 \ud83d\udc49 \u9006\u8ee2\u3067\u6c7a\u52dd\u9032\u51fa \ud83d\udccc \u3053\u306e\u30c1\u30fc\u30e0\u306e\u5f37\u3055 \ud83c\udfc6 \u2026","provider_url":"https://hatena.blog","categories":["\u30b5\u30c3\u30ab\u30fc\u26bd\ufe0fACL2"],"author_name":"houbuntarou","author_url":"https://blog.hatena.ne.jp/houbuntarou/","image_url":null,"width":"100%","url":"https://ima-korega1ban.work/entry/2026/03/11/130627","title":"\ud83c\udfc6 ACL2 \u6c7a\u52dd"}