{"id":17735,"date":"2026-02-12T22:02:38","date_gmt":"2026-02-12T22:02:38","guid":{"rendered":"https:\/\/megagon.ai\/%e3%82%a8%e3%83%bc%e3%82%b8%e3%82%a7%e3%83%b3%e3%83%88%e3%81%ae%e9%80%a3%e6%90%ba%e3%81%af%e3%81%aa%e3%81%9c%e5%a4%b1%e6%95%97%e3%81%99%e3%82%8b%e3%81%ae%e3%81%8b%e3%80%81%e3%81%9d%e3%81%97%e3%81%a6ve\/"},"modified":"2026-06-03T04:34:50","modified_gmt":"2026-06-03T04:34:50","slug":"verification-aware-planning-multi-agent-llm","status":"publish","type":"post","link":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/","title":{"rendered":"\u306a\u305c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u9023\u643a\u306f\u5931\u6557\u3059\u308b\u306e\u304b\uff1fVERIMAP\u306b\u3088\u308b\u4fe1\u983c\u6027\u5411\u4e0a\u306e\u30e1\u30ab\u30cb\u30ba\u30e0"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"17735\" class=\"elementor elementor-17735 elementor-17271\" data-elementor-post-type=\"post\">\n\t\t\t\t<div class=\"elementor-element elementor-element-98bbc9b e-flex e-con-boxed e-con e-parent\" data-id=\"98bbc9b\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-a788b08 elementor-widget elementor-widget-text-editor\" data-id=\"a788b08\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p data-start=\"624\" data-end=\"814\">\u5927\u898f\u6a21\u8a00\u8a9e\u30e2\u30c7\u30eb\u304c\u3001\u30c4\u30fc\u30eb\u306e\u4f7f\u7528\u3001\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u3001\u30de\u30eb\u30c1\u30b9\u30c6\u30c3\u30d7\u306e\u63a8\u8ad6\u3092\u884c\u3046\u30a8\u30fc\u30b8\u30a7\u30f3\u30c6\u30a3\u30c3\u30af\u30b7\u30b9\u30c6\u30e0\u3078\u3068\u9032\u5316\u3059\u308b\u306b\u3064\u308c\u3066\u3001\u5931\u6557\u306e\u539f\u56e0\u306f\u7d14\u7c8b\u306a\u63a8\u8ad6\u80fd\u529b\u3067\u306f\u306a\u304f\u3001\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u9023\u643a\u306b\u8d77\u56e0\u3059\u308b\u3053\u3068\u304c\u5897\u3048\u3066\u3044\u307e\u3059\u3002<\/p><p data-start=\"816\" data-end=\"1040\">\u591a\u304f\u306e\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c6\u30a3\u30c3\u30afLLM\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u3067\u306f\u3001\u5404\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306f\u305d\u308c\u305e\u308c\u306e\u30ed\u30fc\u30ab\u30eb\u30bf\u30b9\u30af\u3092\u6b63\u3057\u304f\u5b9f\u884c\u3057\u3066\u3044\u308b\u306b\u3082\u304b\u304b\u308f\u3089\u305a\u3001\u30b7\u30b9\u30c6\u30e0\u5168\u4f53\u3068\u3057\u3066\u306f\u5931\u6557\u3059\u308b\u3053\u3068\u304c\u3042\u308a\u307e\u3059\u3002\u305d\u306e\u6839\u672c\u539f\u56e0\u306f\u3001\u591a\u304f\u306e\u5834\u5408\u3001\u30bf\u30b9\u30af\u5206\u89e3\u3001\u51fa\u529b\u69cb\u9020\u3001\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u53d7\u3051\u6e21\u3057\u306b\u304a\u3051\u308b\u5fae\u5999\u306a\u4e0d\u6574\u5408\u306b\u3042\u308a\u307e\u3059\u3002  <\/p><p data-start=\"1042\" data-end=\"1237\">\u79c1\u305f\u3061\u306e\u7814\u7a76\u8ad6\u6587 <strong data-start=\"1061\" data-end=\"1128\">\u201dVerification-AwarePlanningforMulti-AgentSystems&#8221;\uff08VERIMAP\uff09<\/strong>\u306f\u3001\u3053\u306e\u9023\u643a\u306e\u8ab2\u984c\u306b\u5bfe\u3057\u3066\u3001\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u30d7\u30ed\u30bb\u30b9\u305d\u306e\u3082\u306e\u306b\u691c\u8a3c\u3092\u7d44\u307f\u8fbc\u3080\u3053\u3068\u3067\u76f4\u63a5\u7684\u306b\u53d6\u308a\u7d44\u3093\u3067\u3044\u307e\u3059\u3002<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-9e3f619 e-flex e-con-boxed e-con e-parent\" data-id=\"9e3f619\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-516a71f elementor-widget elementor-widget-heading\" data-id=\"516a71f\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">\u30a8\u30fc\u30b8\u30a7\u30f3\u30c6\u30a3\u30c3\u30afAI\u306e\u6838\u5fc3\u7684\u554f\u984c\uff1a\u9023\u643a\u3068\u691c\u8a3c\u306e\u30ae\u30e3\u30c3\u30d7\u3092\u3069\u3046\u57cb\u3081\u308b\u304b<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-453d5df e-flex e-con-boxed e-con e-parent\" data-id=\"453d5df\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-80ee8e5 elementor-widget elementor-widget-text-editor\" data-id=\"80ee8e5\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p data-start=\"1315\" data-end=\"1369\">\u73fe\u4ee3\u306eLLM\u30aa\u30fc\u30b1\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3\u30d1\u30a4\u30d7\u30e9\u30a4\u30f3\u306f\u3001\u3057\u3070\u3057\u3070\u6b21\u306e\u8981\u7d20\u3092\u542b\u307f\u307e\u3059\uff1a<\/p><ul data-start=\"1371\" data-end=\"1512\"><li data-start=\"1371\" data-end=\"1388\"><p data-start=\"1373\" data-end=\"1388\">\u30d7\u30e9\u30f3\u30ca\u30fc\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8<\/p><\/li><li data-start=\"1389\" data-end=\"1406\"><p data-start=\"1391\" data-end=\"1406\">\u5b9f\u884c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8<\/p><\/li><li data-start=\"1407\" data-end=\"1437\"><p data-start=\"1409\" data-end=\"1437\">\u30c4\u30fc\u30eb\u547c\u3073\u51fa\u3057\u307e\u305f\u306f\u30b3\u30fc\u30c9\u5b9f\u884c<\/p><\/li><li data-start=\"1438\" data-end=\"1471\"><p data-start=\"1440\" data-end=\"1471\">\u4e2d\u9593\u306e\u306e\u69cb\u9020\u51fa\u529b<\/p><\/li><li data-start=\"1472\" data-end=\"1512\"><p data-start=\"1474\" data-end=\"1512\">\u4ed6\u306e\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306b\u3088\u308b\u5f8c\u7d9a\u6d88\u8cbb<\/p><\/li><\/ul><p data-start=\"1514\" data-end=\"1648\">\u5f93\u6765\u306e\u691c\u8a3c\u624b\u6cd5\u306f\u6700\u7d42\u7684\u306a\u89e3\u7b54\u306e\u6b63\u78ba\u6027\u306b\u7126\u70b9\u3092\u5f53\u3066\u3066\u3044\u307e\u3059\u3002\u3057\u304b\u3057\u3001\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u30b7\u30b9\u30c6\u30e0\u3067\u306f\u3001\u5931\u6557\u306f\u3057\u3070\u3057\u3070\u305d\u308c\u4ee5\u524d\u306e\u6bb5\u968e\u3067\u767a\u751f\u3057\u307e\u3059\uff1a <\/p><ul data-start=\"1650\" data-end=\"1827\"><li data-start=\"1650\" data-end=\"1694\"><p data-start=\"1652\" data-end=\"1694\">\u51fa\u529b\u304c\u671f\u5f85\u3055\u308c\u308b\u69cb\u9020\u306b\u5f93\u3063\u3066\u3044\u306a\u3044<\/p><\/li><li data-start=\"1695\" data-end=\"1741\"><p data-start=\"1697\" data-end=\"1741\">\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u3067\u6697\u9ed9\u7684\u306a\u524d\u63d0\u304c\u7570\u306a\u3063\u3066\u3044\u308b<\/p><\/li><li data-start=\"1742\" data-end=\"1787\"><p data-start=\"1744\" data-end=\"1787\">\u4e2d\u9593\u5909\u6570\u304c\u8aa4\u3063\u3066\u89e3\u91c8\u3055\u308c\u3066\u3044\u308b<\/p><\/li><li data-start=\"1788\" data-end=\"1827\"><p data-start=\"1790\" data-end=\"1827\">\u30b5\u30d6\u30bf\u30b9\u30af\u304c\u96a0\u308c\u305f\u5236\u7d04\u306b\u9055\u53cd\u3057\u3066\u3044\u308b<\/p><\/li><\/ul><p data-start=\"1829\" data-end=\"1912\">\u3053\u308c\u3089\u306e\u554f\u984c\u306f\u5358\u306a\u308b\u63a8\u8ad6\u306e\u5931\u6557\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<strong data-start=\"1886\" data-end=\"1911\">\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u9023\u643a\u306e\u5931\u6557<\/strong>\u3067\u3059\u3002 <\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-788cdd4 e-flex e-con-boxed e-con e-parent\" data-id=\"788cdd4\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-044ec4b elementor-widget elementor-widget-heading\" data-id=\"044ec4b\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">VERIMAP\u3068\u306f\uff1f<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-997ae6c e-flex e-con-boxed e-con e-parent\" data-id=\"997ae6c\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-4a8f51f elementor-widget elementor-widget-text-editor\" data-id=\"4a8f51f\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p data-start=\"1940\" data-end=\"2053\">VERIMAP\u306f\u3001\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u306b\u3088\u308a\u3001\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8LLM\u306e\u9023\u643a\u306b\u5bfe\u3059\u308b\u69cb\u9020\u5316\u3055\u308c\u305f\u30a2\u30d7\u30ed\u30fc\u30c1\u3092\u5c0e\u5165\u3057\u307e\u3059\u3002<\/p><p data-start=\"2055\" data-end=\"2078\">\u3053\u306e\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u306f\u4ee5\u4e0b\u3092\u542b\u307f\u307e\u3059\uff1a<\/p><ol data-start=\"2080\" data-end=\"2699\"><li data-start=\"2080\" data-end=\"2273\"><p data-start=\"2083\" data-end=\"2273\"><strong data-start=\"2083\" data-end=\"2130\">DAG\u5206\u89e3\u306b\u3088\u308b\u96c6\u4e2d\u7684\u306a\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0<\/strong><br data-start=\"2130\" data-end=\"2133\"\/>\u8907\u96d1\u306a\u30bf\u30b9\u30af\u3092\u3001\u6709\u5411\u975e\u5de1\u56de\u30b0\u30e9\u30d5\uff08DAG\uff09\u3068\u3057\u3066\u8868\u73fe\u3055\u308c\u308b\u30b5\u30d6\u30bf\u30b9\u30af\u306b\u5206\u89e3\u3057\u307e\u3059\u3002\u30b5\u30d6\u30bf\u30b9\u30af\u9593\u306e\u4f9d\u5b58\u95a2\u4fc2\u306f\u660e\u793a\u7684\u306b\u30e2\u30c7\u30eb\u5316\u3059\u308b\u306e\u304c\u7279\u5fb4\u3067\u3059\u3002 <\/p><\/li><li data-start=\"2275\" data-end=\"2493\"><p data-start=\"2278\" data-end=\"2493\"><strong data-start=\"2278\" data-end=\"2328\">\u30d7\u30e9\u30f3\u30ca\u30fc\u304c\u751f\u6210\u3059\u308b\u691c\u8a3c\u95a2\u6570\uff08VerificationFunctions,VF\uff09<\/strong><br data-start=\"2328\" data-end=\"2331\"\/>\u5404\u30b5\u30d6\u30bf\u30b9\u30af\u306b\u5bfe\u3057\u3066\u3001\u30d7\u30e9\u30f3\u30ca\u30fc\u306fPython\u307e\u305f\u306f\u81ea\u7136\u8a00\u8a9e\u3067\u691c\u8a3c\u95a2\u6570\u3092\u751f\u6210\u3057\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u95a2\u6570\u306f\u3001\u51fa\u529b\u306e\u6b63\u3057\u3055\u306b\u95a2\u3059\u308b\u660e\u793a\u7684\u306a\u57fa\u6e96\u3092\u5b9a\u7fa9\u3057\u307e\u3059\u3002<br\/> <\/p><\/li><li data-start=\"2495\" data-end=\"2699\"><p data-start=\"2498\" data-end=\"2699\"><strong data-start=\"2498\" data-end=\"2535\">\u691c\u8a3c\u306b\u57fa\u3065\u304f\u5b9f\u884c\u30eb\u30fc\u30d7<\/strong><br data-start=\"2535\" data-end=\"2538\"\/>\u5b9f\u884c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u304c\u30b5\u30d6\u30bf\u30b9\u30af\u3092\u5b9f\u884c\u3057\u3001\u691c\u8a3c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u304c\u751f\u6210\u3055\u308c\u305f\u691c\u8a3c\u95a2\u6570\u3092\u7528\u3044\u3066\u51fa\u529b\u3092\u8a55\u4fa1\u3057\u307e\u3059\u3002\u691c\u8a3c\u306b\u5931\u6557\u3057\u305f\u5834\u5408\u3001\u30b7\u30b9\u30c6\u30e0\u306f\u518d\u8a66\u884c\u307e\u305f\u306f\u518d\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u3092\u884c\u3046\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002  <\/p><\/li><\/ol><p data-start=\"2701\" data-end=\"2787\">\u3053\u308c\u306b\u3088\u308a\u3001\u691c\u8a3c\u306f\u5f8c\u4ed8\u3051\u3067\u306f\u306a\u304f\u3001\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u306e\u4e2d\u306b\u7d44\u307f\u8fbc\u307e\u308c\u307e\u3059\u3002<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-473b6dd e-flex e-con-boxed e-con e-parent\" data-id=\"473b6dd\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-9a71ea2 elementor-widget elementor-widget-heading\" data-id=\"9a71ea2\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">\u306a\u305c\u691c\u8a3c\u3092\u524d\u63d0\u3068\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\uff08Verification-Aware Planning\uff09\u3092\u91cd\u8996\u3059\u3079\u304d\u306a\u306e\u304b<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-9c33971 e-flex e-con-boxed e-con e-parent\" data-id=\"9c33971\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-6d61384 elementor-widget elementor-widget-text-editor\" data-id=\"6d61384\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p data-start=\"2861\" data-end=\"2901\">\u4ee5\u4e0b\u306e\u9818\u57df\u306b\u53d6\u308a\u7d44\u3080\u7814\u7a76\u8005\u3084\u958b\u767a\u8005\u306b\u3068\u3063\u3066\u3001<\/p><ul data-start=\"2903\" data-end=\"3033\"><li data-start=\"2903\" data-end=\"2930\"><p data-start=\"2905\" data-end=\"2930\">\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8LLM\u30b7\u30b9\u30c6\u30e0<\/p><\/li><li data-start=\"2931\" data-end=\"2963\"><p data-start=\"2933\" data-end=\"2963\">\u30c4\u30fc\u30eb\u6d3b\u7528\u578bLLM\u30ef\u30fc\u30af\u30d5\u30ed\u30fc<\/p><\/li><li data-start=\"2964\" data-end=\"2998\"><p data-start=\"2966\" data-end=\"2998\">\u30a8\u30fc\u30b8\u30a7\u30f3\u30c6\u30a3\u30c3\u30af\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3<\/p><\/li><li data-start=\"2999\" data-end=\"3033\"><p data-start=\"3001\" data-end=\"3033\">\u81ea\u5f8b\u7684\u306a\u63a8\u8ad6\u30d1\u30a4\u30d7\u30e9\u30a4\u30f3<\/p><\/li><\/ul><p data-start=\"3035\" data-end=\"3068\">\u4eca\u56de\u306e\u77e5\u898b\u304c\u6301\u3064\u610f\u5473\u306f\u6975\u3081\u3066\u91cd\u5927\u3067\u3059\u3002<\/p><p data-start=\"3070\" data-end=\"3096\">VERIMAP\u306e\u691c\u8a3c\u7d50\u679c\u306f\u3001\u4ee5\u4e0b\u306e\u4e8b\u5b9f\u3092\u6d6e\u304d\u5f6b\u308a\u306b\u3057\u3066\u3044\u307e\u3059\u3002<\/p><ul data-start=\"3098\" data-end=\"3322\"><li data-start=\"3098\" data-end=\"3146\"><p data-start=\"3100\" data-end=\"3146\">\u30b5\u30d6\u30bf\u30b9\u30af\u306e\u5883\u754c\u3092\u660e\u78ba\u5316\u3059\u308b\u3053\u3068\u3067\u3001\u30b7\u30b9\u30c6\u30e0\u306e\u4fe1\u983c\u6027\u304c\u5411\u4e0a\u3059\u308b<\/p><\/li><li data-start=\"3147\" data-end=\"3204\"><p data-start=\"3149\" data-end=\"3204\">\u51fa\u529b\u5236\u7d04\u3092\u660e\u793a\u7684\u306b\u8a2d\u3051\u308b\u3053\u3068\u3067\u3001\u30a8\u30e9\u30fc\u306e\u9023\u9396\u3092\u6291\u5236\u3067\u304d\u308b<\/p><\/li><li data-start=\"3205\" data-end=\"3270\"><p data-start=\"3207\" data-end=\"3270\">\u5c40\u6240\u7684\u306a\u691c\u8a3c\u304c\u3001\u5f8c\u7d9a\u30b9\u30c6\u30c3\u30d7\u306b\u304a\u3051\u308b\u5354\u8abf\u30a8\u30e9\u30fc\u3092\u524a\u6e1b\u3059\u308b<\/p><\/li><li data-start=\"3271\" data-end=\"3322\"><p data-start=\"3273\" data-end=\"3322\">\u300c\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u300d\u3068\u300c\u691c\u8a3c\u300d\u306f\u3001\u5bc6\u7d50\u5408\u306b\u540c\u6642\u8a2d\u8a08\u3055\u308c\u308b\u3079\u304d\u3067\u3042\u308b<\/p><\/li><\/ul><p data-start=\"3324\" data-end=\"3488\">\u30a8\u30fc\u30b8\u30a7\u30f3\u30c6\u30a3\u30c3\u30afAI\u30b7\u30b9\u30c6\u30e0\u306b\u304a\u3044\u3066\u3001\u69cb\u9020\u5316\u3055\u308c\u305f\u51fa\u529b\u3084API\u30ec\u30b9\u30dd\u30f3\u30b9\u3001JSON\u30b9\u30ad\u30fc\u30de\u3001\u305d\u3057\u3066\u30c4\u30fc\u30eb\u547c\u3073\u51fa\u3057\u306f\u3001\u5358\u306a\u308b\u5b9f\u88c5\u4e0a\u306e\u7d30\u304b\u306a\u30c7\u30a3\u30c6\u30fc\u30eb\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u3053\u308c\u3089\u3053\u305d\u304c\u3001\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u306e\u6838\u3068\u306a\u308b\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8\u306a\u306e\u3067\u3059\u3002 <\/p><p data-start=\"3490\" data-end=\"3573\">\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u306e\u30d7\u30ed\u30bb\u30b9\u305d\u306e\u3082\u306e\u306b\u691c\u8a3c\u3092\u7d44\u307f\u8fbc\u3080\u3053\u3068\u304c\u3001\u30b7\u30b9\u30c6\u30e0\u306e\u5805\u7262\u6027\u3068\u89e3\u91c8\u6027\u306e\u53cc\u65b9\u3092\u5411\u4e0a\u3055\u305b\u308b\u9375\u3068\u306a\u308a\u307e\u3059\u3002<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-83ac12d e-flex e-con-boxed e-con e-parent\" data-id=\"83ac12d\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-0f33789 elementor-widget elementor-widget-heading\" data-id=\"0f33789\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">QA\u3001\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3001\u6570\u5b66\u306b\u308f\u305f\u308b\u5b9f\u9a13\u7d50\u679c<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-3ec545d e-flex e-con-boxed e-con e-parent\" data-id=\"3ec545d\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-837df62 elementor-widget elementor-widget-text-editor\" data-id=\"837df62\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p data-start=\"3635\" data-end=\"3685\">VERIMAP\u306f\u3001\u6b21\u306e\u9818\u57df\u306b\u307e\u305f\u304c\u308b5\u3064\u306e\u30d9\u30f3\u30c1\u30de\u30fc\u30af\u3067\u8a55\u4fa1\u3055\u308c\u307e\u3057\u305f\uff1a<\/p><ul data-start=\"3687\" data-end=\"3758\"><li data-start=\"3687\" data-end=\"3709\"><p data-start=\"3689\" data-end=\"3709\">\u8cea\u554f\u5fdc\u7b54<\/p><\/li><li data-start=\"3710\" data-end=\"3731\"><p data-start=\"3712\" data-end=\"3731\">\u30d7\u30ed\u30b0\u30e9\u30e0\u30df\u30f3\u30b0\u30bf\u30b9\u30af<\/p><\/li><li data-start=\"3732\" data-end=\"3758\"><p data-start=\"3734\" data-end=\"3758\">\u6570\u5b66\u7684\u63a8\u8ad6<\/p><\/li><\/ul><p data-start=\"3760\" data-end=\"3803\">\u3059\u3079\u3066\u306e\u30d9\u30f3\u30c1\u30de\u30fc\u30af\u306b\u304a\u3044\u3066\u3001VERIMAP\u306f\u4ee5\u4e0b\u3092\u4e0a\u56de\u308a\u307e\u3057\u305f\uff1a<\/p><ul data-start=\"3805\" data-end=\"3906\"><li data-start=\"3805\" data-end=\"3838\"><p data-start=\"3807\" data-end=\"3838\">\u5f37\u529b\u306a\u5358\u4e00\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306e\u30d9\u30fc\u30b9\u30e9\u30a4\u30f3<\/p><\/li><li data-start=\"3839\" data-end=\"3906\"><p data-start=\"3841\" data-end=\"3906\">\u691c\u8a3c\u3092\u7d71\u5408\u3057\u3066\u3044\u306a\u3044\u65e2\u5b58\u306e\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u624b\u6cd5<\/p><\/li><\/ul><p data-start=\"3908\" data-end=\"3981\">\u7279\u306b\u3001\u6b21\u306e\u3088\u3046\u306a\u96e3\u6613\u5ea6\u306e\u9ad8\u3044\u30bf\u30b9\u30af\u306b\u304a\u3044\u3066\u6539\u5584\u304c\u9855\u8457\u306b\u898b\u3089\u308c\u307e\u3057\u305f\uff1a<\/p><ul data-start=\"3983\" data-end=\"4044\"><li data-start=\"3983\" data-end=\"4004\"><p data-start=\"3985\" data-end=\"4004\">BigCodeBench-Hard<\/p><\/li><li data-start=\"4005\" data-end=\"4044\"><p data-start=\"4007\" data-end=\"4044\">\u30aa\u30ea\u30f3\u30d4\u30c3\u30af\u5f62\u5f0f\u306e\u6570\u5b66\u554f\u984c<\/p><\/li><\/ul><p data-start=\"4046\" data-end=\"4155\">\u3053\u308c\u3089\u306e\u7d50\u679c\u306f\u3001\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u304c\u6982\u5ff5\u7684\u306b\u59a5\u5f53\u3067\u3042\u308b\u3060\u3051\u3067\u306a\u304f\u3001\u5b9f\u8a3c\u7684\u306b\u3082\u6709\u52b9\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-bd532f9 e-flex e-con-boxed e-con e-parent\" data-id=\"bd532f9\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-ce3a30c elementor-widget elementor-widget-heading\" data-id=\"ce3a30c\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8LLM\u7814\u7a76\u306b\u304a\u3051\u308b\u8981\u70b9<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-cf3c660 e-flex e-con-boxed e-con e-parent\" data-id=\"cf3c660\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-ef838ca elementor-widget elementor-widget-text-editor\" data-id=\"ef838ca\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>\u3053\u306e\u7814\u7a76\u306f\u3001\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306e\u4fe1\u983c\u6027\u306b\u5bfe\u3059\u308b\u8003\u3048\u65b9\u3092\u518d\u5b9a\u7fa9\u3059\u308b\u3082\u306e\u3067\u3059\u3002<\/p><p>\u5358\u306b\u300c\u30e2\u30c7\u30eb\u306f\u6b63\u3057\u304f\u63a8\u8ad6\u3067\u304d\u305f\u304b\uff1f\u300d\u3068\u554f\u3046\u306e\u3067\u306f\u306a\u304f\u3001<\/p><p>\u300c\u9023\u643a\u306b\u304a\u3051\u308b\u5236\u7d04\u306f\u660e\u78ba\u306b\u5b9a\u7fa9\u3055\u308c\u3001\u691c\u8a3c\u3055\u308c\u3066\u3044\u305f\u304b\uff1f\u300d\u3068\u3044\u3046\u554f\u3044\u3082\u91cd\u8981\u3067\u3059\u3002<\/p><p>VERIMAP\u306f\u3001\u5805\u7262\u306a\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8LLM\u30b7\u30b9\u30c6\u30e0\u306b\u306f\u6b21\u306e\u3082\u306e\u304c\u5fc5\u8981\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u3057\u3066\u3044\u307e\u3059\uff1a<\/p><ul><li>\u660e\u793a\u7684\u306a\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u69cb\u9020<\/li><li>\u660e\u78ba\u306a\u4e2d\u9593\u8868\u73fe<\/li><li>\u7d44\u307f\u8fbc\u307e\u308c\u305f\u691c\u8a3c\u30b2\u30fc\u30c8<\/li><li>\u9023\u643a\u3055\u308c\u305f\u518d\u8a66\u884c\u304a\u3088\u3073\u518d\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u306e\u4ed5\u7d44\u307f<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-5eb4d63 elementor-widget elementor-widget-text-editor\" data-id=\"5eb4d63\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>\u30a8\u30fc\u30b8\u30a7\u30f3\u30c6\u30a3\u30c3\u30af\u30b7\u30b9\u30c6\u30e0\u306e\u8907\u96d1\u6027\u304c\u5897\u3059\u306b\u3064\u308c\u3066\u3001\u3053\u308c\u3089\u306e\u539f\u5247\u306e\u91cd\u8981\u6027\u306f\u3055\u3089\u306b\u9ad8\u307e\u308a\u307e\u3059\u3002<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-c2267d6 e-flex e-con-boxed e-con e-parent\" data-id=\"c2267d6\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-8fce53c elementor-widget elementor-widget-heading\" data-id=\"8fce53c\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">\u30a8\u30fc\u30b8\u30a7\u30f3\u30c6\u30a3\u30c3\u30afAI\u8a2d\u8a08\u3078\u306e\u5e83\u7bc4\u306a\u5f71\u97ff<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-c2fdc14 e-flex e-con-boxed e-con e-parent\" data-id=\"c2fdc14\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-884bbee elementor-widget elementor-widget-text-editor\" data-id=\"884bbee\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p data-start=\"4777\" data-end=\"4854\">\u30a8\u30fc\u30b8\u30a7\u30f3\u30c6\u30a3\u30c3\u30afLLM\u30b7\u30b9\u30c6\u30e0\u3078\u306e\u79fb\u884c\u306f\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u65b0\u305f\u306a\u62bd\u8c61\u5316\u306e\u30ec\u30a4\u30e4\u30fc\u306e\u5c0e\u5165\u3092\u3082\u305f\u3089\u3057\u307e\u3059\uff1a<\/p><ul data-start=\"4856\" data-end=\"4948\"><li data-start=\"4856\" data-end=\"4868\"><p data-start=\"4858\" data-end=\"4868\">\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0<\/p><\/li><li data-start=\"4869\" data-end=\"4891\"><p data-start=\"4871\" data-end=\"4891\">\u30c4\u30fc\u30eb\u306e\u30aa\u30fc\u30b1\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3<\/p><\/li><li data-start=\"4892\" data-end=\"4914\"><p data-start=\"4894\" data-end=\"4914\">\u5b9f\u884c\u306e\u306e\u8ffd\u8de1<\/p><\/li><li data-start=\"4915\" data-end=\"4948\"><p data-start=\"4917\" data-end=\"4948\">\u4e2d\u9593\u72b6\u614b\u306e\u7ba1\u7406<\/p><\/li><\/ul><p data-start=\"4950\" data-end=\"5041\">VERIMAP\u306f\u3001\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u30c7\u30b6\u30a4\u30f3\u3092\u901a\u3058\u3066\u3001\u3053\u308c\u3089\u306e\u30ec\u30a4\u30e4\u30fc\u3092\u4f53\u7cfb\u7684\u306b\u7ba1\u7406\u3059\u308b\u65b9\u6cd5\u3092\u63d0\u4f9b\u3057\u307e\u3059\u3002<\/p><p data-start=\"5043\" data-end=\"5235\">\u81ea\u5f8b\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u3001\u30c4\u30fc\u30eb\u547c\u3073\u51fa\u3057\u306e\u4fe1\u983c\u6027\u3001\u3042\u308b\u3044\u306fLLM\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u306e\u30aa\u30fc\u30b1\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3\u3092\u7814\u7a76\u3059\u308b\u7814\u7a76\u8005\u306b\u3068\u3063\u3066\u3001\u3053\u306e\u7814\u7a76\u306f\u30b7\u30b9\u30c6\u30e0\u30ec\u30d9\u30eb\u306e\u5805\u7262\u6027\u3092\u5411\u4e0a\u3055\u305b\u308b\u5177\u4f53\u7684\u306a\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u30d1\u30bf\u30fc\u30f3\u3092\u63d0\u793a\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-0c48d33 e-flex e-con-boxed e-con e-parent\" data-id=\"0c48d33\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-b3fbd12 elementor-widget elementor-widget-heading\" data-id=\"b3fbd12\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">\u7814\u7a76\u8ad6\u6587\u3092\u8aad\u3080<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-be0a499 e-flex e-con-boxed e-con e-parent\" data-id=\"be0a499\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-a21ff8c elementor-widget elementor-widget-text-editor\" data-id=\"a21ff8c\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p data-start=\"5270\" data-end=\"5414\">\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8LLM\u30b7\u30b9\u30c6\u30e0\u3092\u69cb\u7bc9\u307e\u305f\u306f\u7814\u7a76\u3057\u3066\u3044\u308b\u5834\u5408\u3001\u3053\u306e\u8ad6\u6587\u306f\u5b9f\u9a13\u7d50\u679c\u306b\u57fa\u3065\u3044\u305f\u5b9f\u8df5\u7684\u306a\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u306e\u6307\u91dd\u3092\u63d0\u4f9b\u3057\u307e\u3059\u3002<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-5d1146f elementor-align-center elementor-widget elementor-widget-button\" data-id=\"5d1146f\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/megagon.ai\/publications\/verification-aware-planning-for-multi-agent-systems\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">\ud83d\udcc4 \u8ad6\u6587\u5168\u6587\u3092\u8aad\u3080<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>\u5927\u898f\u6a21\u8a00\u8a9e\u30e2\u30c7\u30eb\u304c\u3001\u30c4\u30fc\u30eb\u306e\u4f7f\u7528\u3001\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u3001\u30de\u30eb\u30c1\u30b9\u30c6\u30c3\u30d7\u306e\u63a8\u8ad6\u3092\u884c\u3046\u30a8\u30fc\u30b8\u30a7\u30f3\u30c6\u30a3\u30c3\u30af\u30b7\u30b9\u30c6\u30e0\u3078\u3068\u9032\u5316\u3059\u308b\u306b\u3064\u308c\u3066\u3001\u5931\u6557\u306e\u539f\u56e0\u306f\u7d14\u7c8b\u306a\u63a8\u8ad6\u80fd\u529b\u3067\u306f\u306a\u304f\u3001\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u9023\u643a\u306b\u8d77\u56e0\u3059\u308b\u3053\u3068\u304c\u5897\u3048\u3066\u3044\u307e\u3059\u3002 \u591a\u304f\u306e\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c6\u30a3\u30c3\u30afLLM\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u3067\u306f\u3001\u5404\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306f\u305d\u308c\u305e\u308c\u306e\u30ed\u30fc\u30ab\u30eb\u30bf\u30b9\u30af\u3092\u6b63\u3057\u304f\u5b9f\u884c\u3057\u3066\u3044\u308b\u306b\u3082\u304b\u304b\u308f\u3089\u305a\u3001\u30b7\u30b9\u30c6\u30e0\u5168\u4f53\u3068\u3057\u3066\u306f\u5931\u6557\u3059\u308b\u3053\u3068\u304c\u3042\u308a\u307e\u3059\u3002\u305d\u306e\u6839\u672c\u539f\u56e0\u306f\u3001\u591a\u304f\u306e\u5834\u5408\u3001\u30bf\u30b9\u30af\u5206\u89e3\u3001\u51fa\u529b\u69cb\u9020\u3001\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u53d7\u3051\u6e21\u3057\u306b\u304a\u3051\u308b\u5fae\u5999\u306a\u4e0d\u6574\u5408\u306b\u3042\u308a\u307e\u3059\u3002 \u79c1\u305f\u3061\u306e\u7814\u7a76\u8ad6\u6587 \u201dVerification-AwarePlanningforMulti-AgentSystems&#8221;\uff08VERIMAP\uff09\u306f\u3001\u3053\u306e\u9023\u643a\u306e\u8ab2\u984c\u306b\u5bfe\u3057\u3066\u3001\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u30d7\u30ed\u30bb\u30b9\u305d\u306e\u3082\u306e\u306b\u691c\u8a3c\u3092\u7d44\u307f\u8fbc\u3080\u3053\u3068\u3067\u76f4\u63a5\u7684\u306b\u53d6\u308a\u7d44\u3093\u3067\u3044\u307e\u3059\u3002 \u30a8\u30fc\u30b8\u30a7\u30f3\u30c6\u30a3\u30c3\u30afAI\u306e\u6838\u5fc3\u7684\u554f\u984c\uff1a\u9023\u643a\u3068\u691c\u8a3c\u306e\u30ae\u30e3\u30c3\u30d7\u3092\u3069\u3046\u57cb\u3081\u308b\u304b \u73fe\u4ee3\u306eLLM\u30aa\u30fc\u30b1\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3\u30d1\u30a4\u30d7\u30e9\u30a4\u30f3\u306f\u3001\u3057\u3070\u3057\u3070\u6b21\u306e\u8981\u7d20\u3092\u542b\u307f\u307e\u3059\uff1a \u30d7\u30e9\u30f3\u30ca\u30fc\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8 \u5b9f\u884c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8 \u30c4\u30fc\u30eb\u547c\u3073\u51fa\u3057\u307e\u305f\u306f\u30b3\u30fc\u30c9\u5b9f\u884c \u4e2d\u9593\u306e\u306e\u69cb\u9020\u51fa\u529b \u4ed6\u306e\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306b\u3088\u308b\u5f8c\u7d9a\u6d88\u8cbb \u5f93\u6765\u306e\u691c\u8a3c\u624b\u6cd5\u306f\u6700\u7d42\u7684\u306a\u89e3\u7b54\u306e\u6b63\u78ba\u6027\u306b\u7126\u70b9\u3092\u5f53\u3066\u3066\u3044\u307e\u3059\u3002\u3057\u304b\u3057\u3001\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u30b7\u30b9\u30c6\u30e0\u3067\u306f\u3001\u5931\u6557\u306f\u3057\u3070\u3057\u3070\u305d\u308c\u4ee5\u524d\u306e\u6bb5\u968e\u3067\u767a\u751f\u3057\u307e\u3059\uff1a \u51fa\u529b\u304c\u671f\u5f85\u3055\u308c\u308b\u69cb\u9020\u306b\u5f93\u3063\u3066\u3044\u306a\u3044 \u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u3067\u6697\u9ed9\u7684\u306a\u524d\u63d0\u304c\u7570\u306a\u3063\u3066\u3044\u308b \u4e2d\u9593\u5909\u6570\u304c\u8aa4\u3063\u3066\u89e3\u91c8\u3055\u308c\u3066\u3044\u308b \u30b5\u30d6\u30bf\u30b9\u30af\u304c\u96a0\u308c\u305f\u5236\u7d04\u306b\u9055\u53cd\u3057\u3066\u3044\u308b \u3053\u308c\u3089\u306e\u554f\u984c\u306f\u5358\u306a\u308b\u63a8\u8ad6\u306e\u5931\u6557\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u9023\u643a\u306e\u5931\u6557\u3067\u3059\u3002 VERIMAP\u3068\u306f\uff1f VERIMAP\u306f\u3001\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u306b\u3088\u308a\u3001\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8LLM\u306e\u9023\u643a\u306b\u5bfe\u3059\u308b\u69cb\u9020\u5316\u3055\u308c\u305f\u30a2\u30d7\u30ed\u30fc\u30c1\u3092\u5c0e\u5165\u3057\u307e\u3059\u3002 \u3053\u306e\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u306f\u4ee5\u4e0b\u3092\u542b\u307f\u307e\u3059\uff1a DAG\u5206\u89e3\u306b\u3088\u308b\u96c6\u4e2d\u7684\u306a\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u8907\u96d1\u306a\u30bf\u30b9\u30af\u3092\u3001\u6709\u5411\u975e\u5de1\u56de\u30b0\u30e9\u30d5\uff08DAG\uff09\u3068\u3057\u3066\u8868\u73fe\u3055\u308c\u308b\u30b5\u30d6\u30bf\u30b9\u30af\u306b\u5206\u89e3\u3057\u307e\u3059\u3002\u30b5\u30d6\u30bf\u30b9\u30af\u9593\u306e\u4f9d\u5b58\u95a2\u4fc2\u306f\u660e\u793a\u7684\u306b\u30e2\u30c7\u30eb\u5316\u3059\u308b\u306e\u304c\u7279\u5fb4\u3067\u3059\u3002 \u30d7\u30e9\u30f3\u30ca\u30fc\u304c\u751f\u6210\u3059\u308b\u691c\u8a3c\u95a2\u6570\uff08VerificationFunctions,VF\uff09\u5404\u30b5\u30d6\u30bf\u30b9\u30af\u306b\u5bfe\u3057\u3066\u3001\u30d7\u30e9\u30f3\u30ca\u30fc\u306fPython\u307e\u305f\u306f\u81ea\u7136\u8a00\u8a9e\u3067\u691c\u8a3c\u95a2\u6570\u3092\u751f\u6210\u3057\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u95a2\u6570\u306f\u3001\u51fa\u529b\u306e\u6b63\u3057\u3055\u306b\u95a2\u3059\u308b\u660e\u793a\u7684\u306a\u57fa\u6e96\u3092\u5b9a\u7fa9\u3057\u307e\u3059\u3002 \u691c\u8a3c\u306b\u57fa\u3065\u304f\u5b9f\u884c\u30eb\u30fc\u30d7\u5b9f\u884c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u304c\u30b5\u30d6\u30bf\u30b9\u30af\u3092\u5b9f\u884c\u3057\u3001\u691c\u8a3c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u304c\u751f\u6210\u3055\u308c\u305f\u691c\u8a3c\u95a2\u6570\u3092\u7528\u3044\u3066\u51fa\u529b\u3092\u8a55\u4fa1\u3057\u307e\u3059\u3002\u691c\u8a3c\u306b\u5931\u6557\u3057\u305f\u5834\u5408\u3001\u30b7\u30b9\u30c6\u30e0\u306f\u518d\u8a66\u884c\u307e\u305f\u306f\u518d\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u3092\u884c\u3046\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002 \u3053\u308c\u306b\u3088\u308a\u3001\u691c\u8a3c\u306f\u5f8c\u4ed8\u3051\u3067\u306f\u306a\u304f\u3001\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u306e\u4e2d\u306b\u7d44\u307f\u8fbc\u307e\u308c\u307e\u3059\u3002 \u306a\u305c\u691c\u8a3c\u3092\u524d\u63d0\u3068\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\uff08Verification-Aware Planning\uff09\u3092\u91cd\u8996\u3059\u3079\u304d\u306a\u306e\u304b \u4ee5\u4e0b\u306e\u9818\u57df\u306b\u53d6\u308a\u7d44\u3080\u7814\u7a76\u8005\u3084\u958b\u767a\u8005\u306b\u3068\u3063\u3066\u3001 \u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8LLM\u30b7\u30b9\u30c6\u30e0 \u30c4\u30fc\u30eb\u6d3b\u7528\u578bLLM\u30ef\u30fc\u30af\u30d5\u30ed\u30fc \u30a8\u30fc\u30b8\u30a7\u30f3\u30c6\u30a3\u30c3\u30af\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3 \u81ea\u5f8b\u7684\u306a\u63a8\u8ad6\u30d1\u30a4\u30d7\u30e9\u30a4\u30f3 \u4eca\u56de\u306e\u77e5\u898b\u304c\u6301\u3064\u610f\u5473\u306f\u6975\u3081\u3066\u91cd\u5927\u3067\u3059\u3002 VERIMAP\u306e\u691c\u8a3c\u7d50\u679c\u306f\u3001\u4ee5\u4e0b\u306e\u4e8b\u5b9f\u3092\u6d6e\u304d\u5f6b\u308a\u306b\u3057\u3066\u3044\u307e\u3059\u3002 \u30b5\u30d6\u30bf\u30b9\u30af\u306e\u5883\u754c\u3092\u660e\u78ba\u5316\u3059\u308b\u3053\u3068\u3067\u3001\u30b7\u30b9\u30c6\u30e0\u306e\u4fe1\u983c\u6027\u304c\u5411\u4e0a\u3059\u308b \u51fa\u529b\u5236\u7d04\u3092\u660e\u793a\u7684\u306b\u8a2d\u3051\u308b\u3053\u3068\u3067\u3001\u30a8\u30e9\u30fc\u306e\u9023\u9396\u3092\u6291\u5236\u3067\u304d\u308b \u5c40\u6240\u7684\u306a\u691c\u8a3c\u304c\u3001\u5f8c\u7d9a\u30b9\u30c6\u30c3\u30d7\u306b\u304a\u3051\u308b\u5354\u8abf\u30a8\u30e9\u30fc\u3092\u524a\u6e1b\u3059\u308b \u300c\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u300d\u3068\u300c\u691c\u8a3c\u300d\u306f\u3001\u5bc6\u7d50\u5408\u306b\u540c\u6642\u8a2d\u8a08\u3055\u308c\u308b\u3079\u304d\u3067\u3042\u308b \u30a8\u30fc\u30b8\u30a7\u30f3\u30c6\u30a3\u30c3\u30afAI\u30b7\u30b9\u30c6\u30e0\u306b\u304a\u3044\u3066\u3001\u69cb\u9020\u5316\u3055\u308c\u305f\u51fa\u529b\u3084API\u30ec\u30b9\u30dd\u30f3\u30b9\u3001JSON\u30b9\u30ad\u30fc\u30de\u3001\u305d\u3057\u3066\u30c4\u30fc\u30eb\u547c\u3073\u51fa\u3057\u306f\u3001\u5358\u306a\u308b\u5b9f\u88c5\u4e0a\u306e\u7d30\u304b\u306a\u30c7\u30a3\u30c6\u30fc\u30eb\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u3053\u308c\u3089\u3053\u305d\u304c\u3001\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u306e\u6838\u3068\u306a\u308b\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8\u306a\u306e\u3067\u3059\u3002 \u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u306e\u30d7\u30ed\u30bb\u30b9\u305d\u306e\u3082\u306e\u306b\u691c\u8a3c\u3092\u7d44\u307f\u8fbc\u3080\u3053\u3068\u304c\u3001\u30b7\u30b9\u30c6\u30e0\u306e\u5805\u7262\u6027\u3068\u89e3\u91c8\u6027\u306e\u53cc\u65b9\u3092\u5411\u4e0a\u3055\u305b\u308b\u9375\u3068\u306a\u308a\u307e\u3059\u3002 QA\u3001\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3001\u6570\u5b66\u306b\u308f\u305f\u308b\u5b9f\u9a13\u7d50\u679c VERIMAP\u306f\u3001\u6b21\u306e\u9818\u57df\u306b\u307e\u305f\u304c\u308b5\u3064\u306e\u30d9\u30f3\u30c1\u30de\u30fc\u30af\u3067\u8a55\u4fa1\u3055\u308c\u307e\u3057\u305f\uff1a \u8cea\u554f\u5fdc\u7b54 \u30d7\u30ed\u30b0\u30e9\u30e0\u30df\u30f3\u30b0\u30bf\u30b9\u30af \u6570\u5b66\u7684\u63a8\u8ad6 \u3059\u3079\u3066\u306e\u30d9\u30f3\u30c1\u30de\u30fc\u30af\u306b\u304a\u3044\u3066\u3001VERIMAP\u306f\u4ee5\u4e0b\u3092\u4e0a\u56de\u308a\u307e\u3057\u305f\uff1a \u5f37\u529b\u306a\u5358\u4e00\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306e\u30d9\u30fc\u30b9\u30e9\u30a4\u30f3 \u691c\u8a3c\u3092\u7d71\u5408\u3057\u3066\u3044\u306a\u3044\u65e2\u5b58\u306e\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u624b\u6cd5 \u7279\u306b\u3001\u6b21\u306e\u3088\u3046\u306a\u96e3\u6613\u5ea6\u306e\u9ad8\u3044\u30bf\u30b9\u30af\u306b\u304a\u3044\u3066\u6539\u5584\u304c\u9855\u8457\u306b\u898b\u3089\u308c\u307e\u3057\u305f\uff1a BigCodeBench-Hard \u30aa\u30ea\u30f3\u30d4\u30c3\u30af\u5f62\u5f0f\u306e\u6570\u5b66\u554f\u984c \u3053\u308c\u3089\u306e\u7d50\u679c\u306f\u3001\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u304c\u6982\u5ff5\u7684\u306b\u59a5\u5f53\u3067\u3042\u308b\u3060\u3051\u3067\u306a\u304f\u3001\u5b9f\u8a3c\u7684\u306b\u3082\u6709\u52b9\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u3057\u3066\u3044\u307e\u3059\u3002 \u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8LLM\u7814\u7a76\u306b\u304a\u3051\u308b\u8981\u70b9 \u3053\u306e\u7814\u7a76\u306f\u3001\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306e\u4fe1\u983c\u6027\u306b\u5bfe\u3059\u308b\u8003\u3048\u65b9\u3092\u518d\u5b9a\u7fa9\u3059\u308b\u3082\u306e\u3067\u3059\u3002 \u5358\u306b\u300c\u30e2\u30c7\u30eb\u306f\u6b63\u3057\u304f\u63a8\u8ad6\u3067\u304d\u305f\u304b\uff1f\u300d\u3068\u554f\u3046\u306e\u3067\u306f\u306a\u304f\u3001 \u300c\u9023\u643a\u306b\u304a\u3051\u308b\u5236\u7d04\u306f\u660e\u78ba\u306b\u5b9a\u7fa9\u3055\u308c\u3001\u691c\u8a3c\u3055\u308c\u3066\u3044\u305f\u304b\uff1f\u300d\u3068\u3044\u3046\u554f\u3044\u3082\u91cd\u8981\u3067\u3059\u3002 [&hellip;]<\/p>\n","protected":false},"author":4,"featured_media":17273,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[235],"tags":[],"class_list":["post-17735","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-blog-jp"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v28.1 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>\u306a\u305c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u9023\u643a\u306f\u5931\u6557\u3059\u308b\u306e\u304b\uff1fVERIMAP\u306b\u3088\u308b\u4fe1\u983c\u6027\u5411\u4e0a\u306e\u30e1\u30ab\u30cb\u30ba\u30e0 - Megagon<\/title>\n<meta name=\"description\" content=\"\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u304c\u3001\u5354\u8abf\u30a8\u30e9\u30fc\u3084\u30ab\u30b9\u30b1\u30fc\u30c9\u969c\u5bb3\u3092\u4f4e\u6e1b\u3059\u308b\u3053\u3068\u3067\u3001\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306eLLM\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u3092\u3069\u306e\u3088\u3046\u306b\u5f37\u5316\u3059\u308b\u304b\u3092\u5b66\u3076\u3002\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/\" \/>\n<meta property=\"og:locale\" content=\"ja_JP\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8LLM\u30b7\u30b9\u30c6\u30e0\u306e\u305f\u3081\u306e\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u8a08\u753b\uff1a\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306e\u5354\u8abf\u304c\u5931\u6557\u3059\u308b\u7406\u7531\u3068VERIMAP\u304c\u4fe1\u983c\u6027\u3092\u5411\u4e0a\u3055\u305b\u308b\u65b9\u6cd5\" \/>\n<meta property=\"og:description\" content=\"\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u304c\u3001\u5354\u8abf\u30a8\u30e9\u30fc\u3084\u30ab\u30b9\u30b1\u30fc\u30c9\u969c\u5bb3\u3092\u4f4e\u6e1b\u3059\u308b\u3053\u3068\u3067\u3001\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306eLLM\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u3092\u3069\u306e\u3088\u3046\u306b\u5f37\u5316\u3059\u308b\u304b\u3092\u5b66\u3076\u3002\" \/>\n<meta property=\"og:url\" content=\"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/\" \/>\n<meta property=\"og:site_name\" content=\"Megagon\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/megagonlabs\/\" \/>\n<meta property=\"article:published_time\" content=\"2026-02-12T22:02:38+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-06-03T04:34:50+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/megagon.ai\/wp-content\/uploads\/2026\/02\/VeriMap-1024x576.png\" \/>\n<meta name=\"author\" content=\"Natalie Nuno\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8LLM\u30b7\u30b9\u30c6\u30e0\u306e\u305f\u3081\u306e\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u8a08\u753b\uff1a\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306e\u5354\u8abf\u304c\u5931\u6557\u3059\u308b\u7406\u7531\u3068VERIMAP\u304c\u4fe1\u983c\u6027\u3092\u5411\u4e0a\u3055\u305b\u308b\u65b9\u6cd5\" \/>\n<meta name=\"twitter:description\" content=\"\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u304c\u3001\u5354\u8abf\u30a8\u30e9\u30fc\u3084\u30ab\u30b9\u30b1\u30fc\u30c9\u969c\u5bb3\u3092\u4f4e\u6e1b\u3059\u308b\u3053\u3068\u3067\u3001\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306eLLM\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u3092\u3069\u306e\u3088\u3046\u306b\u5f37\u5316\u3059\u308b\u304b\u3092\u5b66\u3076\u3002\" \/>\n<meta name=\"twitter:image\" content=\"https:\/\/megagon.ai\/wp-content\/uploads\/2026\/02\/VeriMap-1024x576.png\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Natalie Nuno\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/verification-aware-planning-multi-agent-llm\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/verification-aware-planning-multi-agent-llm\\\/\"},\"author\":{\"name\":\"Natalie Nuno\",\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/#\\\/schema\\\/person\\\/720b9db459598216e2a68f3c444b9cdf\",\"url\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/author\\\/natalie\\\/\"},\"headline\":\"\u306a\u305c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u9023\u643a\u306f\u5931\u6557\u3059\u308b\u306e\u304b\uff1fVERIMAP\u306b\u3088\u308b\u4fe1\u983c\u6027\u5411\u4e0a\u306e\u30e1\u30ab\u30cb\u30ba\u30e0\",\"datePublished\":\"2026-02-12T22:02:38+00:00\",\"dateModified\":\"2026-06-03T04:34:50+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/verification-aware-planning-multi-agent-llm\\\/\"},\"wordCount\":34,\"publisher\":{\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/verification-aware-planning-multi-agent-llm\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/megagon.ai\\\/wp-content\\\/uploads\\\/2026\\\/02\\\/VeriMap.png\",\"articleSection\":[\"Blog\"],\"inLanguage\":\"ja-JP\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/verification-aware-planning-multi-agent-llm\\\/\",\"url\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/verification-aware-planning-multi-agent-llm\\\/\",\"name\":\"\u306a\u305c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u9023\u643a\u306f\u5931\u6557\u3059\u308b\u306e\u304b\uff1fVERIMAP\u306b\u3088\u308b\u4fe1\u983c\u6027\u5411\u4e0a\u306e\u30e1\u30ab\u30cb\u30ba\u30e0 - Megagon\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/verification-aware-planning-multi-agent-llm\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/verification-aware-planning-multi-agent-llm\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/megagon.ai\\\/wp-content\\\/uploads\\\/2026\\\/02\\\/VeriMap.png\",\"datePublished\":\"2026-02-12T22:02:38+00:00\",\"dateModified\":\"2026-06-03T04:34:50+00:00\",\"description\":\"\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u304c\u3001\u5354\u8abf\u30a8\u30e9\u30fc\u3084\u30ab\u30b9\u30b1\u30fc\u30c9\u969c\u5bb3\u3092\u4f4e\u6e1b\u3059\u308b\u3053\u3068\u3067\u3001\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306eLLM\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u3092\u3069\u306e\u3088\u3046\u306b\u5f37\u5316\u3059\u308b\u304b\u3092\u5b66\u3076\u3002\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/verification-aware-planning-multi-agent-llm\\\/#breadcrumb\"},\"inLanguage\":\"ja-JP\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/megagon.ai\\\/jp\\\/verification-aware-planning-multi-agent-llm\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"ja-JP\",\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/verification-aware-planning-multi-agent-llm\\\/#primaryimage\",\"url\":\"https:\\\/\\\/megagon.ai\\\/wp-content\\\/uploads\\\/2026\\\/02\\\/VeriMap.png\",\"contentUrl\":\"https:\\\/\\\/megagon.ai\\\/wp-content\\\/uploads\\\/2026\\\/02\\\/VeriMap.png\",\"width\":1600,\"height\":900,\"caption\":\"Verification-Aware Planning for Multi-Agent LLM Systems: Why Agent Coordination Fails and How VERIMAP Improves Reliability\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/verification-aware-planning-multi-agent-llm\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"\u306a\u305c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u9023\u643a\u306f\u5931\u6557\u3059\u308b\u306e\u304b\uff1fVERIMAP\u306b\u3088\u308b\u4fe1\u983c\u6027\u5411\u4e0a\u306e\u30e1\u30ab\u30cb\u30ba\u30e0\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/#website\",\"url\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/\",\"name\":\"Megagon Labs\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"ja-JP\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/#organization\",\"name\":\"Megagon Labs\",\"url\":\"https:\\\/\\\/megagon.ai\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"url\":\"https:\\\/\\\/megagon.ai\\\/wp-content\\\/uploads\\\/2025\\\/02\\\/Logo-Megagon-Labs.webp\",\"caption\":\"Megagon Labs\"},\"image\":{\"url\":\"https:\\\/\\\/megagon.ai\\\/wp-content\\\/uploads\\\/2025\\\/02\\\/Logo-Megagon-Labs.webp\"},\"description\":\"Megagon Labs is an AI research organization conducting research in compound AI systems, large language models, data-AI symbiosis, and human-centered AI. Megagon Labs shares its findings with the broader community through open-source tools, datasets, publications, workshops, and an invited speaker series.\",\"sameAs\":[\"https:\\\/\\\/github.com\\\/megagonlabs\",\"https:\\\/\\\/twitter.com\\\/megagonlabs\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/megagon-labs\\\/\",\"https:\\\/\\\/www.facebook.com\\\/megagonlabs\\\/\"],\"address\":{\"@type\":\"PostalAddress\",\"streetAddress\":\"444 Castro Street\",\"addressLocality\":\"Mountain View\",\"addressRegion\":\"CA\",\"postalCode\":\"94041\",\"addressCountry\":\"US\"},\"contactPoint\":{\"@type\":\"ContactPoint\",\"email\":\"contactus@megagon.ai\",\"contactType\":\"general inquiries\"},\"parentOrganization\":{\"@type\":\"Organization\",\"name\":\"Recruit Holdings\",\"url\":\"https:\\\/\\\/recruit-holdings.com\\\/en\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/#\\\/schema\\\/person\\\/720b9db459598216e2a68f3c444b9cdf\",\"name\":\"Natalie Nuno\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"ja-JP\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b6545902d362bf01485520d6a4317404f7aa2df4bab0d3fdaf748495a6e4ffa5?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b6545902d362bf01485520d6a4317404f7aa2df4bab0d3fdaf748495a6e4ffa5?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b6545902d362bf01485520d6a4317404f7aa2df4bab0d3fdaf748495a6e4ffa5?s=96&d=mm&r=g\",\"caption\":\"Natalie Nuno\"},\"url\":\"https:\\\/\\\/megagon.ai\\\/jp\\\/author\\\/natalie\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"\u306a\u305c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u9023\u643a\u306f\u5931\u6557\u3059\u308b\u306e\u304b\uff1fVERIMAP\u306b\u3088\u308b\u4fe1\u983c\u6027\u5411\u4e0a\u306e\u30e1\u30ab\u30cb\u30ba\u30e0 - Megagon","description":"\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u304c\u3001\u5354\u8abf\u30a8\u30e9\u30fc\u3084\u30ab\u30b9\u30b1\u30fc\u30c9\u969c\u5bb3\u3092\u4f4e\u6e1b\u3059\u308b\u3053\u3068\u3067\u3001\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306eLLM\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u3092\u3069\u306e\u3088\u3046\u306b\u5f37\u5316\u3059\u308b\u304b\u3092\u5b66\u3076\u3002","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/","og_locale":"ja_JP","og_type":"article","og_title":"\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8LLM\u30b7\u30b9\u30c6\u30e0\u306e\u305f\u3081\u306e\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u8a08\u753b\uff1a\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306e\u5354\u8abf\u304c\u5931\u6557\u3059\u308b\u7406\u7531\u3068VERIMAP\u304c\u4fe1\u983c\u6027\u3092\u5411\u4e0a\u3055\u305b\u308b\u65b9\u6cd5","og_description":"\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u304c\u3001\u5354\u8abf\u30a8\u30e9\u30fc\u3084\u30ab\u30b9\u30b1\u30fc\u30c9\u969c\u5bb3\u3092\u4f4e\u6e1b\u3059\u308b\u3053\u3068\u3067\u3001\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306eLLM\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u3092\u3069\u306e\u3088\u3046\u306b\u5f37\u5316\u3059\u308b\u304b\u3092\u5b66\u3076\u3002","og_url":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/","og_site_name":"Megagon","article_publisher":"https:\/\/www.facebook.com\/megagonlabs\/","article_published_time":"2026-02-12T22:02:38+00:00","article_modified_time":"2026-06-03T04:34:50+00:00","og_image":[{"url":"https:\/\/megagon.ai\/wp-content\/uploads\/2026\/02\/VeriMap-1024x576.png","type":"","width":"","height":""}],"author":"Natalie Nuno","twitter_card":"summary_large_image","twitter_title":"\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8LLM\u30b7\u30b9\u30c6\u30e0\u306e\u305f\u3081\u306e\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u8a08\u753b\uff1a\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306e\u5354\u8abf\u304c\u5931\u6557\u3059\u308b\u7406\u7531\u3068VERIMAP\u304c\u4fe1\u983c\u6027\u3092\u5411\u4e0a\u3055\u305b\u308b\u65b9\u6cd5","twitter_description":"\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u304c\u3001\u5354\u8abf\u30a8\u30e9\u30fc\u3084\u30ab\u30b9\u30b1\u30fc\u30c9\u969c\u5bb3\u3092\u4f4e\u6e1b\u3059\u308b\u3053\u3068\u3067\u3001\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306eLLM\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u3092\u3069\u306e\u3088\u3046\u306b\u5f37\u5316\u3059\u308b\u304b\u3092\u5b66\u3076\u3002","twitter_image":"https:\/\/megagon.ai\/wp-content\/uploads\/2026\/02\/VeriMap-1024x576.png","twitter_misc":{"Written by":"Natalie Nuno","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/#article","isPartOf":{"@id":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/"},"author":{"name":"Natalie Nuno","@id":"https:\/\/megagon.ai\/jp\/#\/schema\/person\/720b9db459598216e2a68f3c444b9cdf","url":"https:\/\/megagon.ai\/jp\/author\/natalie\/"},"headline":"\u306a\u305c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u9023\u643a\u306f\u5931\u6557\u3059\u308b\u306e\u304b\uff1fVERIMAP\u306b\u3088\u308b\u4fe1\u983c\u6027\u5411\u4e0a\u306e\u30e1\u30ab\u30cb\u30ba\u30e0","datePublished":"2026-02-12T22:02:38+00:00","dateModified":"2026-06-03T04:34:50+00:00","mainEntityOfPage":{"@id":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/"},"wordCount":34,"publisher":{"@id":"https:\/\/megagon.ai\/jp\/#organization"},"image":{"@id":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/#primaryimage"},"thumbnailUrl":"https:\/\/megagon.ai\/wp-content\/uploads\/2026\/02\/VeriMap.png","articleSection":["Blog"],"inLanguage":"ja-JP"},{"@type":"WebPage","@id":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/","url":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/","name":"\u306a\u305c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u9023\u643a\u306f\u5931\u6557\u3059\u308b\u306e\u304b\uff1fVERIMAP\u306b\u3088\u308b\u4fe1\u983c\u6027\u5411\u4e0a\u306e\u30e1\u30ab\u30cb\u30ba\u30e0 - Megagon","isPartOf":{"@id":"https:\/\/megagon.ai\/jp\/#website"},"primaryImageOfPage":{"@id":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/#primaryimage"},"image":{"@id":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/#primaryimage"},"thumbnailUrl":"https:\/\/megagon.ai\/wp-content\/uploads\/2026\/02\/VeriMap.png","datePublished":"2026-02-12T22:02:38+00:00","dateModified":"2026-06-03T04:34:50+00:00","description":"\u691c\u8a3c\u3092\u8003\u616e\u3057\u305f\u30d7\u30e9\u30f3\u30cb\u30f3\u30b0\u304c\u3001\u5354\u8abf\u30a8\u30e9\u30fc\u3084\u30ab\u30b9\u30b1\u30fc\u30c9\u969c\u5bb3\u3092\u4f4e\u6e1b\u3059\u308b\u3053\u3068\u3067\u3001\u30de\u30eb\u30c1\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u306eLLM\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u3092\u3069\u306e\u3088\u3046\u306b\u5f37\u5316\u3059\u308b\u304b\u3092\u5b66\u3076\u3002","breadcrumb":{"@id":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/#breadcrumb"},"inLanguage":"ja-JP","potentialAction":[{"@type":"ReadAction","target":["https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/"]}]},{"@type":"ImageObject","inLanguage":"ja-JP","@id":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/#primaryimage","url":"https:\/\/megagon.ai\/wp-content\/uploads\/2026\/02\/VeriMap.png","contentUrl":"https:\/\/megagon.ai\/wp-content\/uploads\/2026\/02\/VeriMap.png","width":1600,"height":900,"caption":"Verification-Aware Planning for Multi-Agent LLM Systems: Why Agent Coordination Fails and How VERIMAP Improves Reliability"},{"@type":"BreadcrumbList","@id":"https:\/\/megagon.ai\/jp\/verification-aware-planning-multi-agent-llm\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/megagon.ai\/jp\/"},{"@type":"ListItem","position":2,"name":"\u306a\u305c\u30a8\u30fc\u30b8\u30a7\u30f3\u30c8\u9593\u306e\u9023\u643a\u306f\u5931\u6557\u3059\u308b\u306e\u304b\uff1fVERIMAP\u306b\u3088\u308b\u4fe1\u983c\u6027\u5411\u4e0a\u306e\u30e1\u30ab\u30cb\u30ba\u30e0"}]},{"@type":"WebSite","@id":"https:\/\/megagon.ai\/jp\/#website","url":"https:\/\/megagon.ai\/jp\/","name":"Megagon Labs","description":"","publisher":{"@id":"https:\/\/megagon.ai\/jp\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/megagon.ai\/jp\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"ja-JP"},{"@type":"Organization","@id":"https:\/\/megagon.ai\/jp\/#organization","name":"Megagon Labs","url":"https:\/\/megagon.ai\/","logo":{"@type":"ImageObject","url":"https:\/\/megagon.ai\/wp-content\/uploads\/2025\/02\/Logo-Megagon-Labs.webp","caption":"Megagon Labs"},"image":{"url":"https:\/\/megagon.ai\/wp-content\/uploads\/2025\/02\/Logo-Megagon-Labs.webp"},"description":"Megagon Labs is an AI research organization conducting research in compound AI systems, large language models, data-AI symbiosis, and human-centered AI. Megagon Labs shares its findings with the broader community through open-source tools, datasets, publications, workshops, and an invited speaker series.","sameAs":["https:\/\/github.com\/megagonlabs","https:\/\/twitter.com\/megagonlabs","https:\/\/www.linkedin.com\/company\/megagon-labs\/","https:\/\/www.facebook.com\/megagonlabs\/"],"address":{"@type":"PostalAddress","streetAddress":"444 Castro Street","addressLocality":"Mountain View","addressRegion":"CA","postalCode":"94041","addressCountry":"US"},"contactPoint":{"@type":"ContactPoint","email":"contactus@megagon.ai","contactType":"general inquiries"},"parentOrganization":{"@type":"Organization","name":"Recruit Holdings","url":"https:\/\/recruit-holdings.com\/en\/"}},{"@type":"Person","@id":"https:\/\/megagon.ai\/jp\/#\/schema\/person\/720b9db459598216e2a68f3c444b9cdf","name":"Natalie Nuno","image":{"@type":"ImageObject","inLanguage":"ja-JP","@id":"https:\/\/secure.gravatar.com\/avatar\/b6545902d362bf01485520d6a4317404f7aa2df4bab0d3fdaf748495a6e4ffa5?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/b6545902d362bf01485520d6a4317404f7aa2df4bab0d3fdaf748495a6e4ffa5?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/b6545902d362bf01485520d6a4317404f7aa2df4bab0d3fdaf748495a6e4ffa5?s=96&d=mm&r=g","caption":"Natalie Nuno"},"url":"https:\/\/megagon.ai\/jp\/author\/natalie\/"}]}},"_links":{"self":[{"href":"https:\/\/megagon.ai\/jp\/wp-json\/wp\/v2\/posts\/17735","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/megagon.ai\/jp\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/megagon.ai\/jp\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/megagon.ai\/jp\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/megagon.ai\/jp\/wp-json\/wp\/v2\/comments?post=17735"}],"version-history":[{"count":10,"href":"https:\/\/megagon.ai\/jp\/wp-json\/wp\/v2\/posts\/17735\/revisions"}],"predecessor-version":[{"id":18026,"href":"https:\/\/megagon.ai\/jp\/wp-json\/wp\/v2\/posts\/17735\/revisions\/18026"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/megagon.ai\/jp\/wp-json\/wp\/v2\/media\/17273"}],"wp:attachment":[{"href":"https:\/\/megagon.ai\/jp\/wp-json\/wp\/v2\/media?parent=17735"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/megagon.ai\/jp\/wp-json\/wp\/v2\/categories?post=17735"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/megagon.ai\/jp\/wp-json\/wp\/v2\/tags?post=17735"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}