{"id":43757,"date":"2024-10-04T12:00:00","date_gmt":"2024-10-04T03:00:00","guid":{"rendered":"http:\/\/sakaneta.com\/?p=43757"},"modified":"2024-10-04T12:00:00","modified_gmt":"2024-10-04T03:00:00","slug":"j1%e5%ba%83%e5%b3%b6%e3%80%81%e8%8d%92%e6%9c%a8%e5%8a%87%e7%9a%84%e6%b1%ba%e5%8b%9d%e3%83%98%e3%83%83%e3%83%89%e5%bc%be%e3%81%a7%e9%a6%99%e6%b8%af%e3%83%bb%e6%9d%b1%e6%96%b9%e8%b6%b3%e7%90%83%e9%9a%8a","status":"publish","type":"post","link":"https:\/\/sakaneta.com\/?p=43757","title":{"rendered":"J1\u5e83\u5cf6\u3001\u8352\u6728\u5287\u7684\u6c7a\u52dd\u30d8\u30c3\u30c9\u5f3e\u3067\u9999\u6e2f\u30fb\u6771\u65b9\u8db3\u7403\u968a\u306b3-2\u52dd\u5229\uff01\u5148\u767a\u7dcf\u5165\u308c\u66ff\u3048\u3082ACL\uff12\u30922\u9023\u52dd\uff08\u95a2\u9023\u307e\u3068\u3081\uff09"},"content":{"rendered":"
\u3010\u30b5\u30c3\u30ab\u30fc\u3011ACL2\u7b2c2\u7bc0\u3000\u5148\u767a\u7dcf\u5165\u308c\u66ff\u3048\u306e\u5e83\u5cf6\u300190+5\u5206\u306bDF\u8352\u6728\u96bc\u4eba\u304c\u5287\u7684\u5f3e!! \u9999\u6e2f\u676f\u738b\u8005\u306b\u82e6\u6226\u3082ACL2\u30922\u9023\u52dd\u767a\u9032 [\u4e45\u592a\u90ce\u2605]<\/span><\/strong>
http:\/\/hayabusa3.2ch.sc\/test\/read.cgi\/mnewsplus\/1727964257\/
\"\u8352\u6728ACL2\u7b2c2\u7bc0.jpg\"<\/p>\n
1: \u4e45\u592a\u90ce \u2605<\/span> 2024\/10\/03(\u6728) 23:04:17.98 ID:PNvIj4gi9.net<\/span><\/div>\n

<\/p>\n

[10.3 ACL2 GL\u7b2c2\u7bc0 \u6771\u65b9 2-3 \u5e83\u5cf6 \u9999\u6e2f] <\/p>\n

\u3000\u30b5\u30f3\u30d5\u30ec\u30c3\u30c1\u30a7\u5e83\u5cf6\u306f3\u65e5\u3001\u6575\u5730\u3067\u9999\u6e2fFA\u676f\u738b\u8005\u306e\u6771\u65b9\u8db3\u7403\u968a\u3068\u5bfe\u6226\u3057\u30663-2\u3067\u52dd\u5229\u3057\u305f\u3002\u5e83\u5cf6\u306fJ1\u9996\u4f4d\u6c7a\u6226\u304b\u3089\u4e2d4\u65e5\u3001\u30df\u30d2\u30e3\u30a8\u30eb\u30fb\u30b9\u30ad\u30c3\u30d9\u76e3\u7763\u306f\u521d\u6226\u3068\u540c\u69d8\u306b\u76f4\u8fd1\u306e\u30ea\u30fc\u30b0\u6226\u304b\u3089\u5148\u767a\u3092\u7dcf\u5165\u308c\u66ff\u3048\u3002U20\u30a2\u30b8\u30a2\u30ab\u30c3\u30d7\u4e88\u9078\u3092\u7d42\u3048\u305f\u3070\u304b\u308a\u306eMF\u4e2d\u5cf6\u6d0b\u592a\u6717\u3082\u30b9\u30bf\u30fc\u30c6\u30a3\u30f3\u30b0\u30e1\u30f3\u30d0\u30fc\u306b\u5165\u3063\u3066\u5f97\u70b9\u3057\u305f\u304c\u3001\u8133\u9707\u76ea\u306e\u7591\u3044\u3067\u4ea4\u4ee3\u3092\u4f59\u5100\u306a\u304f\u3055\u308c\u305f\u3002 <\/p>\n

\u3010\u5199\u771f\u3011\u300c\u91d1\u9aea\u7f8e\u5c11\u5973\u300d\u300c\u4e00\u6bb5\u3068\u53ef\u611b\u304f\u2026\u300d\u300c\u30a2\u30ab\u30f3\u3084\u3064\u300d\u5143\u306a\u3067\u3057\u3053\u5ca9\u6e15\u771f\u5948\u3055\u3093\u306e\u30e2\u30c7\u30eb\u59ff\u306b\u79f0\u8cdb\u6bba\u5230 <\/p>\n

\u3000\u30bf\u30fc\u30f3\u30aa\u30fc\u30d0\u30fc\u30672\u9023\u52dd\u3092\u76ee\u6307\u3059\u5e83\u5cf6\u306f\u524d\u534a7\u5206\u3001\u53f3CK\u304b\u3089DF\u30c0\u30cb\u30a8\u30eb\u30fb\u30a2\u30eb\u30de\u30b6\u30f3\u306b\u30d8\u30c7\u30a3\u30f3\u30b0\u30b7\u30e5\u30fc\u30c8\u3092\u6c7a\u3081\u3089\u308c\u3066\u3044\u304d\u306a\u308a\u8ffd\u3044\u304b\u3051\u308b\u5c55\u958b\u3068\u306a\u3063\u305f\u3002\u540c21\u5206\u306b\u306fMF\u8d8a\u9053\u8349\u592a\u306e\u30af\u30ed\u30b9\u3092FW\u30d4\u30a8\u30ed\u30b9\u30fb\u30bd\u30c6\u30a3\u30ea\u30a6\u304c\u53ce\u3081\u3066\u304b\u3089\u30b4\u30fc\u30eb\u30cd\u30c3\u30c8\u3092\u63fa\u3089\u3057\u305f\u304c\u3001\u30c8\u30e9\u30c3\u30d7\u3057\u305f\u969b\u306b\u8155\u306b\u30dc\u30fc\u30eb\u304c\u5f53\u305f\u3063\u3066\u3044\u305f\u3068\u3057\u3066\u5f97\u70b9\u306f\u8a8d\u3081\u3089\u308c\u306a\u304b\u3063\u305f\u3002 <\/p>\n

\u3000\u305d\u306e\u5f8c\u3082\u5e83\u5cf6\u306f\u4e21\u30b5\u30a4\u30c9\u304b\u3089\u306e\u30af\u30ed\u30b9\u3067\u30b4\u30fc\u30eb\u306b\u8feb\u308b\u3002\u524d\u534a39\u5206\u306b\u306fDF\u5fd7\u77e5\u5b5d\u660e\u306e\u30af\u30ed\u30b9\u3092\u8d8a\u9053\u304c\u5408\u308f\u305b\u305f\u304c\u3001\u67a0\u306b\u306f\u98db\u3070\u306a\u304b\u3063\u305f\u3002\u305d\u308c\u3067\u3082\u540c40\u5206\u3001MF\u677e\u672c\u5927\u5f25\u304c\u53f3\u30b5\u30a4\u30c9\u3067\u30dc\u30fc\u30eb\u3092\u53d7\u3051\u308b\u3068\u30ed\u30f3\u30b0\u30ec\u30f3\u30b8\u304b\u3089\u53f3\u8db3\u3092\u4e00\u9583\u3002\u30c9\u30e9\u30a4\u30d6\u30b7\u30e5\u30fc\u30c8\u306f\u52e2\u3044\u3088\u304f\u30b4\u30fc\u30eb\u5de6\u306b\u7a81\u304d\u523a\u3055\u308a\u3001\u540c\u70b9\u306b\u6210\u529f\u3057\u305f\u3002 <\/p>\n

\u3000\u3055\u3089\u306b\u524d\u534a41\u5206\u3001\u8d8a\u9053\u306e\u30af\u30ed\u30b9\u3092\u5fd7\u77e5\u304c\u6298\u308a\u8fd4\u3059\u3068\u4e2d\u5cf6\u304c\u4f53\u3092\u637b\u308a\u306a\u304c\u3089\u5de6\u8db3\u3067\u5408\u308f\u305b\u3066\u4e00\u6c17\u306b\u9006\u8ee2\u3002\u9ad8\u68213\u5e74\u751f\u4e16\u4ee3\u306e\u4e2d\u5cf6\u306f\u3053\u308c\u304c\u30c8\u30c3\u30d7\u30c1\u30fc\u30e0\u3067\u306e\u516c\u5f0f\u6226\u521d\u30b4\u30fc\u30eb\u3068\u306a\u3063\u305f\u3002\u3057\u304b\u3057\u540c44\u5206\u3001\u4e2d\u5cf6\u306f\u8133\u9707\u76ea\u7591\u3044\u3067MF\u677e\u672c\u6cf0\u5fd7\u3068\u4ea4\u4ee3\u3059\u308b\u3053\u3068\u306b\u3002\u524d\u534a\u306e\u4e2d\u76e4\u3054\u308d\u306b\u982d\u90e8\u3092\u75db\u3081\u308b\u30b7\u30fc\u30f3\u304c\u3042\u308a\u3001\u5f97\u70b9\u6642\u3082\u982d\u90e8\u3084\u9996\u3092\u6c17\u306b\u3059\u308b\u305d\u3076\u308a\u3092\u898b\u305b\u3066\u3044\u305f\u3002 <\/p>\n

\u3000\u5e83\u5cf6\u306f\u5f8c\u534a\u304b\u3089FW\u30d4\u30a8\u30ed\u30b9\u30fb\u30bd\u30c6\u30a3\u30ea\u30a6\u306b\u4ee3\u3048\u3066FW\u30c9\u30a6\u30b0\u30e9\u30b9\u30fb\u30f4\u30a3\u30a8\u30a4\u30e9\u3092\u6295\u5165\u3057\u305f\u3002\u3068\u3053\u308d\u304c\u5f8c\u534a\u958b\u59cb17\u79d2\u3001\u30ed\u30f3\u30b0\u30dc\u30fc\u30eb\u3067\u6700\u7d42\u30e9\u30a4\u30f3\u306e\u80cc\u5f8c\u3092\u7a81\u304b\u308c\u308b\u3068FW\u30ce\u30a2\u30fb\u30d0\u30c3\u30d5\u30a9\u30fc\u306b\u6c7a\u3081\u3089\u308c\u3066\u8ffd\u3044\u3064\u304b\u308c\u305f\u3002 <\/p>\n

\u3000\u30b9\u30ad\u30c3\u30d9\u76e3\u7763\u306f\u5f8c\u534a21\u5206\u306bDF\u30a4\u30e8\u30cf\u7406\u30d8\u30f3\u30ea\u30fc\u3068MF\u67cf\u597d\u6587\u3092\u9000\u3052\u3066DF\u4e2d\u91ce\u5c31\u6597\u3068FW\u52a0\u85e4\u9678\u6b21\u6a39\u3092\u9001\u308a\u8fbc\u3093\u3060\u3002\u540c30\u5206\u306b\u306f\u8d8a\u9053\u3068\u306e\u4ea4\u4ee3\u3067DF{\u8352\u6728\u96bc\u4eba}}\u3092\u3001\u540c33\u5206\u306b\u306f\u677e\u672c\u5927\u3068\u306e\u4ea4\u4ee3\u3067FW\u30de\u30eb\u30b3\u30b9\u30fb\u30b8\u30e5\u30cb\u30aa\u30fc\u30eb\u3092\u5165\u308c\u3066\u52dd\u3061\u8d8a\u3057\u3092\u72d9\u3063\u305f\u3002 <\/p>\n

\u3000\u5f8c\u534a43\u5206\u3001\u677e\u672c\u6cf0\u304c\u30da\u30ca\u30eb\u30c6\u30a3\u30a8\u30ea\u30a2\u5185\u5de6\u3067\u30dc\u30fc\u30eb\u3092\u53d7\u3051\u3066GK\u3068DF\u30e9\u30a4\u30f3\u306e\u9593\u306b\u30af\u30ed\u30b9\u3092\u4f9b\u7d66\u3002\u52a0\u85e4\u304c\u98db\u3073\u8fbc\u3080\u3082\u5408\u308f\u305b\u304d\u308c\u306a\u3044\u3002\u540c45\u5206+4\u5206\u306b\u306f\u65b0\u4e95\u306e\u30af\u30ed\u30b9\u3092\u5fd7\u77e5\u304c\u982d\u3067\u5408\u308f\u305b\u305f\u304c\u67a0\u306e\u53f3\u306b\u5916\u308c\u305f\u3002 <\/p>\n

\u3000\u305f\u3060\u30c9\u30e9\u30de\u306f\u8a2a\u308c\u305f\u3002\u5f8c\u534a45+5\u5206\u3001\u53f3\u304b\u3089\u306eCK\u3092\u8352\u6728\u304c\u982d\u3067\u5408\u308f\u305b\u3066\u571f\u58c7\u5834\u3067\u52dd\u3061\u8d8a\u3057\u70b9\u3092\u30b2\u30c3\u30c8\u3002\u30e9\u30b9\u30c8\u30d7\u30ec\u30fc\u3067\u306fMF\u7d30\u8c37\u822a\u5e73\u304c\u30d4\u30f3\u30c1\u3092\u51cc\u3050\u30bf\u30c3\u30af\u30eb\u3092\u898b\u305b\u30012\u9023\u52dd\u3092\u98fe\u3063\u305f\u3002 <\/p>\n

https:\/\/news.yahoo.co.jp\/articles\/07da8e61b8559144139e2db5f2bdccb22f1e02df<\/a> <\/div>\n

<\/div>\n

<\/p>\n

\"\u25bc\u8a18\u4e8b\u306e\u7d9a\u304d\u3092\u8aad\u3080\u25bc\"<\/div>\n

<\/a>
\nSource: \u30ab\u30eb\u30c1\u30e7\u307e\u3068\u3081\u30d6\u30ed\u30b0<\/p>\n","protected":false},"excerpt":{"rendered":"

\u3010\u30b5\u30c3\u30ab\u30fc\u3011ACL2\u7b2c2\u7bc0\u3000\u5148\u767a\u7dcf\u5165\u308c\u66ff\u3048\u306e\u5e83\u5cf6\u300190+5\u5206\u306bDF\u8352\u6728\u96bc\u4eba\u304c\u5287\u7684\u5f3e!! \u9999\u6e2f\u676f\u738b\u8005\u306b … <\/p>\n","protected":false},"author":0,"featured_media":43758,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[],"class_list":["post-43757","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-matome"],"_links":{"self":[{"href":"https:\/\/sakaneta.com\/index.php?rest_route=\/wp\/v2\/posts\/43757","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sakaneta.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sakaneta.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"replies":[{"embeddable":true,"href":"https:\/\/sakaneta.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=43757"}],"version-history":[{"count":0,"href":"https:\/\/sakaneta.com\/index.php?rest_route=\/wp\/v2\/posts\/43757\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sakaneta.com\/index.php?rest_route=\/wp\/v2\/media\/43758"}],"wp:attachment":[{"href":"https:\/\/sakaneta.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=43757"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sakaneta.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=43757"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sakaneta.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=43757"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}