{"id":24431,"date":"2024-12-04T06:30:00","date_gmt":"2024-12-03T21:30:00","guid":{"rendered":"https:\/\/labs.gree.jp\/blog\/?p=24431"},"modified":"2024-12-03T18:50:36","modified_gmt":"2024-12-03T09:50:36","slug":"webassembly-validation%e3%82%a2%e3%83%ab%e3%82%b4%e3%83%aa%e3%82%ba%e3%83%a0%e3%81%ae%e5%ad%a6%e3%81%b3%e6%96%b9","status":"publish","type":"post","link":"https:\/\/labs.gree.jp\/blog\/2024\/12\/24431\/","title":{"rendered":"WebAssembly Validation\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u5b66\u3073\u65b9"},"content":{"rendered":"<p>\u3069\u30fc\u3082\u3061\u3087\u3073\u3048\u3067\u3059\u3002\u4f59\u6687\u3067Unity\u5411\u3051\u306bWebAssembly Specification 2.0\u306b\u6e96\u62e0\u3057\u305fWebAssembly\u306eRuntime\u3068WGSL\u6d3e\u751f\u8a00\u8a9e\u304b\u3089Wasm\u3078\u30b3\u30f3\u30d1\u30a4\u30eb\u3059\u308b\u6a5f\u80fd\u3092\u958b\u767a\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u3053\u306e\u8a18\u4e8b\u306f<a href=\"https:\/\/qiita.com\/advent-calendar\/2024\/wasm\">WebAssembly \/ Wasm Advent Calendar 2024<\/a>\u306e\uff14\u65e5\u76ee\u3067\u3001WebAssembly Validation\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u5b66\u3073\u65b9\u306b\u3064\u3044\u3066\u4ed5\u69d8\u66f8\u3092\u3082\u3068\u306b\u5177\u4f53\u7684\u306a\u624b\u6cd5\u3092\u89e3\u8aac\u3057\u307e\u3059\u3002<\/p>\n<h1>\u5bfe\u8c61\u306e\u8aad\u8005<\/h1>\n<p>\u672c\u8a18\u4e8b\u3067\u306fWebAssembly\u306e\u30c7\u30b6\u30a4\u30f3\u30b4\u30fc\u30eb\u306e\u78ba\u8a8d\u304b\u3089\u3001\u5e73\u6613\u306b\u66f8\u304b\u308c\u305fHTML+JavaScript\u3067\u5b9f\u88c5\u3055\u308c\u305f\u7c21\u6613WebAssembly\u30a4\u30f3\u30bf\u30d7\u30ea\u30bf\u3067\u52d5\u4f5c\u3059\u308b\u30b5\u30f3\u30d7\u30eb\u3092\u4f7f\u3063\u3066Validation\u3068\u5236\u5fa1\u69cb\u9020\u306e\u554f\u984c\u306b\u53d6\u308a\u7d44\u307f\u307e\u3059\u3002\u305d\u306e\u305f\u3081\u521d\u5b66\u8005\u306f\u4ed5\u69d8\u3092\u7406\u89e3\u3057\u3066\u3044\u306a\u3044\u3068\u96e3\u89e3\u306a\u90e8\u5206\u3082\u3042\u308a\u307e\u3059\u3002\u3082\u3057\u96e3\u3057\u3044\u3068\u611f\u3058\u305f\u5834\u5408\u306fstep by step\u3067\u8aac\u660e\u3055\u308c\u3066\u3044\u308b\u300c<a href=\"https:\/\/zenn.dev\/skanehira\/books\/writing-wasm-runtime-in-rust\">Rust\u3067Wasm Runtime\u3092\u5b9f\u88c5\u3059\u308b<\/a>\u300d\u3092\u8aad\u3080\u3053\u3068\u3092\u63a8\u5968\u3057\u307e\u3059\u3002<\/p>\n<p>\u307e\u305f\u3001<a href=\"https:\/\/webassembly.github.io\/spec\/core\/\">WebAssembly Specification 2.0 (Draft)<\/a>\u3092\u304a\u4f9b\u306b\u89e3\u8aac\u3092\u884c\u3044\u307e\u3059\u3002WebAssembly\u306e\u4ed5\u69d8\u66f8\u306f\u4e16\u9593\u7684\u306b\u96e3\u89e3\u3067\u3042\u308b\u3068\u8a55\u4fa1\u3055\u308c\u308b\u3053\u3068\u304c\u3057\u3070\u3057\u3070\u3042\u308b\u4ed5\u69d8\u66f8\u3067\u3059\u3002\u3068\u306f\u3044\u3048\u3001RFC\u3092\u5143\u306b\u306a\u306b\u304b\u3057\u3089\u306e\u5b9f\u88c5\u3092\u3057\u305f\u7d4c\u9a13\u304c\u3042\u308b\u7b46\u8005\u3068\u3057\u3066\u306f\u3001\u8a18\u8ff0\u306f\u96e3\u89e3\u306a\u90e8\u5206\u3082\u3042\u308b\u3051\u308c\u3069\u89aa\u5207\u3067\u660e\u5feb\u306a\u4ed5\u69d8\u66f8\u3068\u3044\u3046\u8a8d\u8b58\u3067\u3059\u3002<\/p>\n<p>\u73fe\u4ee3\u3067\u306f\u4ed5\u69d8\u66f8\u3092\u8aad\u3093\u3067\u3088\u304f\u308f\u304b\u3089\u306a\u3044\u90e8\u5206\u304c\u3042\u3063\u305f\u3068\u3057\u3066\u3082\u3001ChatGPT\u306b\u30b3\u30d4\u30da\u3057\u3066\u89e3\u8aac\u3057\u3066\u304f\u3060\u3055\u3044\uff01\u3068\u8cea\u554f\u3059\u308c\u3070\u5927\u62b5\u3044\u3044\u611f\u3058\u306b\u89e3\u8aac\u3057\u3066\u304f\u308c\u308b\u306e\u3067\u8eab\u69cb\u3048\u306a\u304f\u3066\u3082\u5927\u4e08\u592b\u3067\u3059\u3088\uff01<\/p>\n<div class=\"chobie-note\">\n  <span class=\"chobie-note-title\"><br \/>\n    \u88dc\u8db3<br \/>\n  <\/span><br \/>\n  \u79c1\u306fWebAssembly\u306e\u4ed5\u69d8\u66f8pdf\u3092ChatGPT\u306bupload\u3057\u3066\u4f7f\u3063\u3066\u3044\u307e\u3059\u30022024\u5e7412\u6708\u73fe\u5728\u306eChatGPT\u3088\u304f\u3042\u308b\u554f\u984c\u3068\u3057\u3066\u306f\u3001\u4f55\u3082\u30b3\u30f3\u30c6\u30ad\u30b9\u30c8\u3092\u4e0e\u3048\u305a\u306b\u8cea\u554f\u3059\u308b\u3068WebAssembly 1.0\u306e\u4ed5\u69d8\u3067\u8fd4\u3057\u3066\u304f\u308b\u3053\u3068\u304c\u591a\u3044\u306e\u3067\u6ce8\u610f\u304c\u5fc5\u8981\u3067\u3059\u3002<\/p>\n<p>  \u306a\u304a\u3001\u751f\u6210AI\u3092\u696d\u52d9\u3067\u5229\u7528\u3059\u308b\u969b\u306f\u6240\u5c5e\u4f01\u696d\u306e\u30eb\u30fc\u30eb\u306b\u6e96\u3058\u3066\u304f\u3060\u3055\u3044\u3002\n<\/p><\/div>\n<h1>WebAssembly\u304c\u76ee\u6307\u3059\u30c7\u30b6\u30a4\u30f3\u30b4\u30fc\u30eb<\/h1>\n<p>\u307e\u305a\u306fWebAssembly\u306e<a href=\"https:\/\/webassembly.github.io\/spec\/core\/intro\/introduction.html#design-goals\">Design Goals<\/a>\u306e\u78ba\u8a8d\u3092\u3057\u307e\u3059\u3002\u3053\u306e\u30b4\u30fc\u30eb\u3092\u8aad\u3080\u3053\u3068\u3067\u306a\u305cValidation\u304c\u5fc5\u8981\u306a\u306e\u304b\u5206\u304b\u308a\u307e\u3059\u3002<\/p>\n<p>\u82f1\u6587\u3060\u3068\u5206\u304b\u308a\u3065\u3089\u3044\u306e\u3067\u65e5\u672c\u8a9e\u306b\u7ffb\u8a33\u3057\u3066\u5f15\u7528\u3057\u307e\u3059\u3002\u539f\u6587\u3092ChatGPT\u306b\u30b3\u30d4\u30fc&amp;\u30da\u30fc\u30b9\u30c8\u3057\u3066\u300c\u6b21\u306e\u82f1\u8a9e\u3092\u65e5\u672c\u8a9e\u306b\u7ffb\u8a33\u3057\u3066\u304f\u3060\u3055\u3044\u300d\u3067\u304a\u304a\u3088\u305d\u6b63\u78ba\u306a\u65e5\u672c\u8a9e\u8a33\u3092\u51fa\u529b\u3057\u3066\u304f\u308c\u307e\u3059\u3002\u3082\u3061\u308d\u3093\u305d\u306e\u307e\u307e\u9d5c\u5451\u307f\u306b\u305b\u305a\u306b\u81ea\u8eab\u306e\u57fa\u790e\u7684\u306a\u82f1\u8a9e\u529b\u3067\u30cb\u30e5\u30a2\u30f3\u30b9\u304c\u3042\u3063\u3066\u3044\u308b\u304b\u3092\u518d\u691c\u8a3c\u3059\u308b\u529b\u306f\u5fc5\u8981\u3067\u3059\u3002<\/p>\n<blockquote><p>\nWebAssembly\u306e\u8a2d\u8a08\u76ee\u6a19\u306f\u4ee5\u4e0b\u306e\u901a\u308a\u3067\u3059\uff1a<\/p>\n<ul>\n<li>\n    <strong>Fast, safe, and portable semantics<\/strong>:<\/p>\n<ul>\n<li><strong>Fast<\/strong>: \u307b\u307c\u30cd\u30a4\u30c6\u30a3\u30d6\u30b3\u30fc\u30c9\u306e\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u3067\u5b9f\u884c\u3055\u308c\u3001\u73fe\u4ee3\u306e\u3059\u3079\u3066\u306e\u30cf\u30fc\u30c9\u30a6\u30a7\u30a2\u306b\u5171\u901a\u3059\u308b\u6a5f\u80fd\u3092\u6d3b\u7528\u3057\u307e\u3059\u3002<\/li>\n<li><strong>Safe<\/strong>: \u30b3\u30fc\u30c9\u306f\u691c\u8a3c\u3055\u308c\u3001\u30e1\u30e2\u30ea\u5b89\u5168\u306a\u3001\u30b5\u30f3\u30c9\u30dc\u30c3\u30af\u30b9\u5316\u3055\u308c\u305f\u74b0\u5883\u3067\u5b9f\u884c\u3055\u308c\u3001\u30c7\u30fc\u30bf\u7834\u640d\u3084\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u4fb5\u5bb3\u3092\u9632\u304e\u307e\u3059\u3002<\/li>\n<li><strong>Well-defined<\/strong>: \u6709\u52b9\u306a\u30d7\u30ed\u30b0\u30e9\u30e0\u3068\u305d\u306e\u6319\u52d5\u3092\u5b8c\u5168\u304b\u3064\u6b63\u78ba\u306b\u5b9a\u7fa9\u3057\u3001\u975e\u516c\u5f0f\u304a\u3088\u3073\u516c\u5f0f\u306e\u4e21\u65b9\u3067\u5bb9\u6613\u306b\u7406\u7531\u4ed8\u3051\u3067\u304d\u308b\u3088\u3046\u306b\u3057\u307e\u3059\u3002<\/li>\n<li><strong>Hardware-independent<\/strong>: \u3059\u3079\u3066\u306e\u73fe\u4ee3\u7684\u306a\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u3001\u30c7\u30b9\u30af\u30c8\u30c3\u30d7\u3084\u30e2\u30d0\u30a4\u30eb\u30c7\u30d0\u30a4\u30b9\u3001\u7d44\u307f\u8fbc\u307f\u30b7\u30b9\u30c6\u30e0\u4e0a\u3067\u30b3\u30f3\u30d1\u30a4\u30eb\u53ef\u80fd\u3067\u3059\u3002<\/li>\n<li><strong>Language-independent<\/strong>: \u7279\u5b9a\u306e\u8a00\u8a9e\u3001\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u30e2\u30c7\u30eb\u3001\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u30e2\u30c7\u30eb\u3092\u512a\u9047\u3057\u307e\u305b\u3093\u3002<\/li>\n<li><strong>Platform-independent<\/strong>: \u30d6\u30e9\u30a6\u30b6\u306b\u7d44\u307f\u8fbc\u307e\u308c\u305f\u308a\u3001\u30b9\u30bf\u30f3\u30c9\u30a2\u30ed\u30f3\u306eVM\u3068\u3057\u3066\u5b9f\u884c\u3055\u308c\u305f\u308a\u3001\u4ed6\u306e\u74b0\u5883\u306b\u7d71\u5408\u3055\u308c\u305f\u308a\u3067\u304d\u307e\u3059\u3002<\/li>\n<li><strong>Open<\/strong>: \u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u30b7\u30f3\u30d7\u30eb\u304b\u3064\u666e\u904d\u7684\u306a\u65b9\u6cd5\u3067\u74b0\u5883\u3068\u76f8\u4e92\u904b\u7528\u53ef\u80fd\u3067\u3059\u3002<\/li>\n<\/ul>\n<\/li>\n<li>\n    <strong>Efficient and portable representation<\/strong>:<\/p>\n<ul>\n<li><strong>Compact<\/strong>: \u30c6\u30ad\u30b9\u30c8\u3084\u30cd\u30a4\u30c6\u30a3\u30d6\u30b3\u30fc\u30c9\u5f62\u5f0f\u3088\u308a\u3082\u5c0f\u3055\u304f\u3001\u8ee2\u9001\u304c\u901f\u3044\u30d0\u30a4\u30ca\u30ea\u5f62\u5f0f\u3092\u6301\u3061\u307e\u3059\u3002<\/li>\n<li><strong>Modular<\/strong>: \u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u5c0f\u3055\u306a\u90e8\u5206\u306b\u5206\u5272\u3057\u3001\u5225\u3005\u306b\u8ee2\u9001\u3001\u30ad\u30e3\u30c3\u30b7\u30e5\u3001\u5229\u7528\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/li>\n<li><strong>Efficient<\/strong>: Just-in-time (JIT) \u307e\u305f\u306f Ahead-of-time (AOT) \u30b3\u30f3\u30d1\u30a4\u30eb\u306e\u3069\u3061\u3089\u3067\u3082\u3001\u5358\u4e00\u306e\u9ad8\u901f\u306a\u30d1\u30b9\u3067\u30c7\u30b3\u30fc\u30c9\u3001\u691c\u8a3c\u3001\u30b3\u30f3\u30d1\u30a4\u30eb\u304c\u53ef\u80fd\u3067\u3059\u3002<\/li>\n<li><strong>Streamable<\/strong>: \u30c7\u30fc\u30bf\u5168\u4f53\u3092\u53d7\u3051\u53d6\u308b\u524d\u306b\u3001\u53ef\u80fd\u306a\u9650\u308a\u65e9\u304f\u30c7\u30b3\u30fc\u30c9\u3001\u691c\u8a3c\u3001\u30b3\u30f3\u30d1\u30a4\u30eb\u3092\u958b\u59cb\u3067\u304d\u307e\u3059\u3002<\/li>\n<li><strong>Parallelizable<\/strong>: \u30c7\u30b3\u30fc\u30c9\u3001\u691c\u8a3c\u3001\u30b3\u30f3\u30d1\u30a4\u30eb\u3092\u591a\u6570\u306e\u72ec\u7acb\u3057\u305f\u4e26\u5217\u30bf\u30b9\u30af\u306b\u5206\u5272\u53ef\u80fd\u3067\u3059\u3002<\/li>\n<li><strong>Portable<\/strong>: \u73fe\u4ee3\u306e\u30cf\u30fc\u30c9\u30a6\u30a7\u30a2\u3067\u5e83\u304f\u30b5\u30dd\u30fc\u30c8\u3055\u308c\u308b\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u4ee5\u5916\u306e\u4eee\u5b9a\u3092\u3057\u307e\u305b\u3093\u3002<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<\/blockquote>\n<p>WebAssembly\u306e\u30c7\u30b6\u30a4\u30f3\u30b4\u30fc\u30eb\u306f\u3001\u73fe\u4ee3\u306e\u30cf\u30fc\u30c9\u30a6\u30a7\u30a2\u4e0a\u3067\u9ad8\u901f\u304b\u3064\u5b89\u5168\u306b\u52d5\u4f5c\u3057\u3001\u79fb\u690d\u6027\u3068\u7a7a\u9593\u52b9\u7387\u306b\u512a\u308c\u305f\u6c4e\u7528\u7684\u306a\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u5b9f\u884c\u74b0\u5883\u3092\u63d0\u4f9b\u3057\u7d9a\u3051\u308b\u3053\u3068\u3060\u3068\u8a00\u3048\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u9805\u76ee\u306fWebAssembly\u306e\u6027\u80fd\u3084\u5b89\u5168\u6027\u3084\u79fb\u690d\u6027\u3092\u652f\u3048\u308b\u91cd\u8981\u306a\u6307\u91dd\u3067\u3001\u5b9f\u73fe\u3059\u308b\u70ba\u306b\u306f\u5404\u30e2\u30b8\u30e5\u30fc\u30eb\u304c\u671f\u5f85\u901a\u308a\u306b\u52d5\u4f5c\u3059\u308b\u3053\u3068\u3092\u4fdd\u8a3c\u3059\u308b\u306a\u306b\u304b\u3057\u3089\u306e\u4ed5\u7d44\u307f\u304c\u5fc5\u8981\u3068\u306a\u308a\u307e\u3059\u3002<\/p>\n<h1>WebAssembly\u306b\u304a\u3051\u308bValidation\u306e\u4f4d\u7f6e\u3065\u3051<\/h1>\n<p>Validation\u3068\u3044\u3046\u8a00\u8449\u3092\u805e\u3044\u3066\u3082\u3001\u5177\u4f53\u7684\u306b\u4f55\u3092\u3059\u308b\u306e\u304b\u304c\u3059\u3050\u306b\u306f\u30a4\u30e1\u30fc\u30b8\u3057\u3065\u3089\u3044\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u3002WebAssembly\u95a2\u9023\u306e\u7528\u8a9e\u306b\u3064\u3044\u3066\u306f\u3001Introduction\u306eOverview\u3067\u8aac\u660e\u3055\u308c\u3066\u304a\u308a\u3001\u305d\u306e\u4e2d\u3067<a href=\"https:\/\/webassembly.github.io\/spec\/core\/intro\/overview.html#semantic-phases\">Semantic Phases<\/a>\u3068\u3057\u3066WebAssembly\u306e\u30d5\u30a7\u30fc\u30ba\u304c\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u3053\u3053\u3067\u306f\u7c21\u6f54\u306b\u8981\u70b9\u3092\u307e\u3068\u3081\u307e\u3059\u3002<\/p>\n<ul>\n<li><strong>Decoding<\/strong>: \u30d0\u30a4\u30ca\u30ea\u5f62\u5f0f\u306e\u30c7\u30fc\u30bf\u3092\u5185\u90e8\u7684\u306a\u8868\u73fe\u306b\u5909\u63db\u3059\u308b\u624b\u7d9a\u304d<\/li>\n<li><strong>Validation<\/strong>: \u30c7\u30b3\u30fc\u30c9\u3055\u308c\u305f\u30c7\u30fc\u30bf\u304c\u6b63\u3057\u3044\u5f62\u5f0f\u304b\u3069\u3046\u304b\u3092\u78ba\u8a8d\u3057\u3001\u578b\u30c1\u30a7\u30c3\u30af\u306a\u3069\u3092\u884c\u3046\u624b\u7d9a\u304d<\/li>\n<li><strong>Execution<\/strong>: \u5b9f\u969b\u306b\u30e2\u30b8\u30e5\u30fc\u30eb\u3092\u5b9f\u884c\u3059\u308b\u624b\u7d9a\u304d\u3002\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u5316\u3068\u95a2\u6570\u547c\u3073\u51fa\u3057\u306e\uff12\u3064\u306b\u5206\u3051\u3089\u308c\u308b<\/li>\n<\/ul>\n<p>\u3056\u3063\u304f\u308a\u3044\u3046\u3068WebAssembly\u306eValidation\u306fJava\u306ebytecode verifier\u306e\u3088\u3046\u306a\u4f4d\u7f6e\u3065\u3051\u3068\u306a\u308a\u307e\u3059\u3002\u3082\u3057\u304f\u306f\u3001WebAPI\u3092\u6271\u3063\u305f\u7d4c\u9a13\u304c\u3042\u308b\u65b9\u3067\u3042\u308c\u3070Form\u306eValidation\u3068\u4f3c\u305f\u3082\u306e\u3068\u8003\u3048\u308b\u3068\u5206\u304b\u308a\u3084\u3059\u3044\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u3002\u3053\u3046\u8003\u3048\u308b\u3068\u5fc5\u8981\u6027\u304c\u5224\u65ad\u3057\u3084\u3059\u3044\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<h1>Runtime\u5b9f\u88c5\u52e2\u304b\u3089\u307f\u308bValidation<\/h1>\n<p>\u8da3\u5473\u304b\u3089\u59cb\u307e\u3063\u3066\u3044\u308b\u3088\u3046\u306aRuntime\u5b9f\u88c5\u52e2\u7684\u306b\u306fValidation\u306f\u3069\u3046\u3057\u3066\u3082\u7701\u304b\u308c\u304c\u3061\u3067\u3059\u3002\u547d\u4ee4\u306e\u6570\u3060\u3051\u691c\u8a3c\u30b3\u30fc\u30c9\u3092\u66f8\u3044\u3066\u3044\u304f\u305f\u3081\u5358\u7d14\u306b\u5b9f\u88c5\u91cf\u304c\u5897\u3048\u3066\u3057\u307e\u3046\u304b\u3089\u3067\u3059\u3002\u305f\u3057\u304b\u306b\u7701\u7565\u3057\u3088\u3046\u3068\u3059\u308b\u6c17\u6301\u3061\u3082\u5206\u304b\u308a\u307e\u3059\u3002\u3057\u304b\u3057\u3001\u5b9f\u88c5\u3059\u308b\u3053\u3068\u3067\u300c\u3088\u304f\u308f\u304b\u3089\u306a\u3044\u30d0\u30b0\u306e\u3088\u3046\u306a\u6319\u52d5\u3068\u306e\u906d\u9047\u78ba\u7387\u3092\u6e1b\u3089\u3059\u3053\u3068\u304c\u51fa\u6765\u308b\u300d\u3068\u3044\u3046\u8d85\u7279\u5927\u306e\u30e1\u30ea\u30c3\u30c8\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n<p>\u79c1\u81ea\u8eab\u3001\u81ea\u4f5c\u8a00\u8a9e\u304b\u3089\u51fa\u529b\u3057\u305fWebAssembly\u30d0\u30a4\u30ca\u30ea\u3092\u81ea\u4f5cRuntime\u3067\u52d5\u304b\u3057\u3066\u3044\u308b\u3068\u304d\u306b\u3001\u3057\u3070\u3057\u3070\u30d0\u30b0\u306e\u3088\u3046\u306a\u6319\u52d5\u306b\u60a9\u307e\u3055\u308c\u307e\u3057\u305f\u3002\u305d\u306e\u539f\u56e0\u3092\u8abf\u67fb\u3057\u3066\u307f\u308b\u3068WebAssembly\u306e\u4ed5\u69d8\u306b\u53cd\u3057\u305f\u30d0\u30a4\u30ca\u30ea\u3092\u5b9f\u884c\u3057\u3066\u3044\u305f\u3053\u3068\u304c\u554f\u984c\u3068\u3044\u3046\u30b1\u30fc\u30b9\u304c\u591a\u304f\u3042\u308a\u307e\u3057\u305f\u3002<\/p>\n<p>\u3082\u3057Validation\u3092\u6b63\u78ba\u306b\u5b9f\u88c5\u3057\u3066\u3044\u308c\u3070\u3001\u691c\u8a3c\u30a8\u30e9\u30fc\u3068\u3057\u3066\u3059\u3050\u306b\u554f\u984c\u306e\u5207\u308a\u5206\u3051\u304c\u3067\u304d\u305f\u306e\u3067\u6642\u9593\u304c\u7bc0\u7d04\u3067\u304d\u305f\u306f\u305a\u3067\u3059\u3002<\/p>\n<h1>Validation\u306e\u5b9f\u88c5\u65b9\u6cd5\u3092\u8003\u3048\u308b<\/h1>\n<p>WebAssembly\u306e\u691c\u8a3c\u306f\u3069\u3046\u3059\u308c\u3070\u3044\u3044\u306e\u304b\u3001\u8a2d\u8a08\u30fb\u5b9f\u88c5\u306b\u60a9\u3080\u90e8\u5206\u3082\u305f\u3057\u304b\u306b\u3042\u308a\u307e\u3059\u3002\u305d\u3093\u306a\u79c1\u9054\u306e\u305f\u3081\u306bWebAssembly Specification\u306eAppendix\u306b<a href=\"https:\/\/webassembly.github.io\/spec\/core\/appendix\/algorithm.html\">7.3 Validation Algorithm<\/a>\u3068\u3044\u3046\u305d\u306e\u3082\u306e\u30ba\u30d0\u30ea\u306a\u30bb\u30af\u30b7\u30e7\u30f3\u304c\u3042\u308a\u307e\u3059\u3002\u3053\u306e\u4e00\u9023\u306e\u30bb\u30af\u30b7\u30e7\u30f3\u3067\u306f\u64ec\u4f3c\u30b3\u30fc\u30c9\u3092\u901a\u3057\u3066Validation\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u89e3\u8aac\u3057\u3066\u3044\u307e\u3059\u3002\u3053\u306e\u901a\u308a\u306b\u8a2d\u8a08\u3057\u3066\u8003\u3048\u306a\u304c\u3089\u5b9f\u88c5\u3057\u3066\u3044\u3051\u3070\u5927\u307e\u304b\u306b\u4ed5\u69d8\u306b\u6e96\u62e0\u3057\u305f\u52d5\u4f5c\u3092\u3059\u308bRuntime\u3068Validation\u306e\u8a2d\u8a08\u304c\u3067\u304d\u3066\u3057\u307e\u3044\u307e\u3059\u3002\u306a\u3093\u3066\u512a\u3057\u3044\u3093\u3060\uff01\u82f1\u6587\u306f\u6bce\u5ea6\u306e\u3054\u3068\u304fChatGPT\u306b\u7ffb\u8a33\u3057\u3066\u3082\u3089\u3044\u3064\u3064\u8aad\u307f\u9032\u3081\u3066\u307f\u3066\u304f\u3060\u3055\u3044\u3002<\/p>\n<p>7.3 Validation Algorithm\u306e\u5e8f\u6587\u306e\u7ffb\u8a33\u6587\u3092\u5f15\u7528\u3057\u307e\u3059\u3002<\/p>\n<blockquote><p>\n  WebAssembly\u306e\u30d0\u30ea\u30c7\u30fc\u30b7\u30e7\u30f3\u4ed5\u69d8\u306f\u7d14\u7c8b\u306b\u5ba3\u8a00\u7684\u3067\u3059\u3002\u30e2\u30b8\u30e5\u30fc\u30eb\u3084\u547d\u4ee4\u5217\u304c\u6709\u52b9\u3067\u3042\u308b\u305f\u3081\u306b\u6e80\u305f\u3059\u3079\u304d\u5236\u7d04\u304c\u8a18\u8ff0\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>  \u3053\u306e\u30bb\u30af\u30b7\u30e7\u30f3\u3067\u306f\u3001\u30b3\u30fc\u30c9\u3001\u3064\u307e\u308a\u547d\u4ee4\u5217\u3092\u52b9\u679c\u7684\u306b\u30d0\u30ea\u30c7\u30fc\u30b7\u30e7\u30f3\u3059\u308b\u305f\u3081\u306e\u3001\u5065\u5168\u304b\u3064\u5b8c\u5168\u306a\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u9aa8\u7d44\u307f\u3092\u6982\u7565\u7684\u306b\u8aac\u660e\u3057\u307e\u3059\u3002\uff08\u30d0\u30ea\u30c7\u30fc\u30b7\u30e7\u30f3\u306e\u4ed6\u306e\u5074\u9762\u306f\u5b9f\u88c5\u304c\u6bd4\u8f03\u7684\u5bb9\u6613\u3067\u3059\u3002\uff09<br \/>\n  \u5b9f\u969b\u3001\u3053\u306e\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306f\u30d0\u30a4\u30ca\u30ea\u5f62\u5f0f\u3067\u51fa\u73fe\u3059\u308b\u547d\u4ee4\u30b3\u30fc\u30c9\u306e\u5e73\u5766\u306a\u5217\u306b\u5bfe\u3057\u3066\u8868\u73fe\u3055\u308c\u3001\u3053\u308c\u3092\u5358\u4e00\u306e\u30d1\u30b9\u3067\u51e6\u7406\u3057\u307e\u3059\u3002\u305d\u306e\u305f\u3081\u3001\u30c7\u30b3\u30fc\u30c0\u306b\u76f4\u63a5\u7d71\u5408\u3059\u308b\u3053\u3068\u304c\u53ef\u80fd\u3067\u3059\u3002<br \/>\n  \u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306f\u578b\u4ed8\u304d\u306e\u64ec\u4f3c\u30b3\u30fc\u30c9\u3067\u8868\u73fe\u3055\u308c\u3066\u304a\u308a\u3001\u305d\u306e\u610f\u5473\u306f\u81ea\u660e\u3067\u3042\u308b\u3053\u3068\u3092\u610f\u56f3\u3057\u3066\u3044\u307e\u3059\u3002\n<\/p><\/blockquote>\n<p>\u3068\u8aac\u660e\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u81ea\u5206\u3067Runtime\u3092\u3069\u3046\u5b9f\u73fe\u3059\u308b\u304b\u8003\u3048\u308b\u306e\u3082\u697d\u3057\u3044\u306e\u3067\u3059\u304c\u3001WebAssembly\u306e\u5236\u5fa1\u69cb\u9020\u3092\u6e80\u305f\u3059\u8a2d\u8a08\u3092\u3059\u308b\u306e\u306f\u5c11\u3057\u96e3\u6613\u5ea6\u304c\u9ad8\u3081\u3067\u3059\u3002\u4f8b\u3048\u3070\u3001WebAssembly\u306e\u30b8\u30e3\u30f3\u30d7\u7cfb\u3067\u306f\u79fb\u52d5\u5148\u304c\u30e9\u30d9\u30eb\u3067\u6307\u5b9a\u3055\u308c\u3066\u304a\u308a\u3001\u6b21\u306b\u79fb\u52d5\u3059\u3079\u304d\u5834\u6240\u306e\u7d76\u5bfe\u7684\u306a\u4f4d\u7f6e\u304c\u308f\u304b\u308a\u307e\u305b\u3093\u3002\u3053\u308c\u306f\u30bb\u30ad\u30e5\u30a2\u306a\u5b9f\u884c\u3092\u3059\u308b\u305f\u3081\u3067\u3082\u3042\u308a\u307e\u3059\u3002\u307e\u305f<code>br<\/code>\u547d\u4ee4\u3067\u5236\u5fa1\u69cb\u9020\u306e\u9014\u4e2d\u3067\u629c\u3051\u308b\u3053\u3068\u3082\u3088\u304f\u3042\u308a\u307e\u3059\u3002\u5f53\u7136\u306e\u3088\u3046\u306b\u5236\u5fa1\u69cb\u9020\u306f\u30cd\u30b9\u30c8\u3057\u3066\u3044\u304f\u305f\u3081\u3001\u6b63\u78ba\u306b\u60c5\u5831\u3092\u30c8\u30e9\u30c3\u30ad\u30f3\u30b0\u3057\u306a\u3044\u3068\u6b63\u3057\u304f\u52d5\u4f5c\u3057\u307e\u305b\u3093\u3002WebAssembly\u306e\u5236\u5fa1\u69cb\u9020\u306b\u307e\u3064\u308f\u308b\u4ed5\u69d8\u3092\u3059\u3079\u3066\u6291\u3048\u3066\u304a\u304b\u306a\u3044\u3068\u5927\u5e45\u306b\u66f8\u304d\u76f4\u3059\u7fbd\u76ee\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n<p>Runtime\u3092\u4f5c\u308b\u5834\u5408\u306f\u3001\u6700\u521d\u306b\u660e\u78ba\u306a\u57fa\u6e96\u3068\u306a\u308b\u5b9f\u88c5\u3092\u4f5c\u3063\u3066\u304b\u3089\u81ea\u5206\u306e\u7528\u9014\u306b\u3042\u3063\u305f\u65b9\u5411\u306b\u8abf\u6574\u3057\u3066\u3044\u304f\u65b9\u304c\u5bb9\u6613\u306b\u5b9f\u73fe\u3057\u3084\u3059\u3044\u3067\u3059\u3002\u305b\u3063\u304b\u304f\u4ed5\u69d8\u66f8\u3067\u8a2d\u8a08\u306e\u9aa8\u7d44\u307f\u3092\u8aac\u660e\u3057\u3066\u304f\u308c\u3066\u3044\u308b\u3053\u3068\u3067\u3059\u3057\u3001\u3053\u306e\u69cb\u9020\u3092\u5b9f\u88c5\u306e\u305f\u305f\u304d\u53f0\u3068\u3057\u3066\u4f7f\u3044\u307e\u3057\u3087\u3046\u3002<\/p>\n<h1>Validation\u306e\u3057\u304f\u307f<\/h1>\n<p>\u547d\u4ee4\u5217\u306eValidation\u3067\u306f\u3001\u4e3b\u306b2\u3064\u306e\u691c\u8a3c\u3092\u884c\u3044\u307e\u3059\u30021\u3064\u76ee\u306f\u3001\u547d\u4ee4\u3068\u5373\u5024\u3092\u57fa\u306b\u5165\u529b\u3068\u51fa\u529b\u306e\u578b\u3092\u30c1\u30a7\u30c3\u30af\u3059\u308b\u4f5c\u696d\u3067\u3059\u30022\u3064\u76ee\u306f\u3001\u3053\u306e\u578b\u60c5\u5831\u3092\u6d3b\u7528\u3057\u3001\u30b9\u30bf\u30c3\u30af\u64cd\u4f5c\u3092\u901a\u3058\u3066\u6574\u5408\u6027\u3092\u691c\u8a3c\u3059\u308b\u30d7\u30ed\u30bb\u30b9\u3067\u3059\u3002\u3053\u308c\u3089\u3092\u5b9f\u73fe\u3059\u308b\u305f\u3081\u306b\u306f\u3001\u5236\u5fa1\u69cb\u9020\u306e\u60c5\u5831\u3092\u7ba1\u7406\u3059\u308b\u30b9\u30bf\u30c3\u30af\u3068\u5024\u3092\u7ba1\u7406\u3059\u308b\u30b9\u30bf\u30c3\u30af\u306e2\u7a2e\u985e\u3092\u4f7f\u3046\u3068\u6bd4\u8f03\u7684\u7c21\u5358\u306b\u691c\u8a3c\u3068\u5b9f\u884c\u304c\u3067\u304d\u308b\u5b9f\u88c5\u304c\u3064\u304f\u308c\u307e\u3059\u3002<\/p>\n<pre><code class=\"language-javascript\">\/\/ \u64ec\u4f3c\u30b3\u30fc\u30c9\u3092javascript\u306b\u5909\u66f4\u3057\u305f\u3082\u306e\u3067\u3001\u8aac\u660e\u306e\u305f\u3081\u306e\u4eee\u5b9f\u88c5\u3067\u3059\u3002\n\/\/\n\/\/ opcode: i32.const\u306a\u3069\u306e\u547d\u4ee4\n\/\/ parameter_types: if\u306a\u3069\u306eblock\u306b\u6e21\u3055\u308c\u308b\u5f15\u6570\n\/\/ result_types: if\u306a\u3069\u306eblock\u304c\u671f\u5f85\u3059\u308b\u8fd4\u308a\u5024\n\/\/ args: opcode\u5b9f\u884c\u306b\u5fc5\u8981\u306a\u5373\u5024\u306a\u3069\nfunction validate(opcode, parameter_types, result_types, args = []) {\n    switch (opcode) {\n        case \"i32.const\":\n            push_val(\"i32\"); \/\/ \u5b9f\u969b\u306e\u5024\u3067\u306f\u306a\u304f\u3001i32\u3068\u3044\u3046\u578b\u60c5\u5831\u306e\u307f\u3092push\u3059\u308b\n            break;\n        case \"i32.add\":\n            pop_val(\"i32\"); \/\/ i32\u306e\u578b\u60c5\u5831\u3067\u3042\u308b\u3053\u3068\u3092\u671f\u5f85\u3057\u3066pop\u3059\u308b\n            pop_val(\"i32\");\n            push_val(\"i32\"); \/\/ i32+i32\u306e\u8a08\u7b97\u7d50\u679c\u306fi32\u3067\u3042\u308b\u3068\u3044\u3046\u578b\u60c5\u5831\u306e\u307f\u3092push\u3059\u308b\n            break;\n        case \"unreachable\":\n            unreachable();\n            break;\n        case \"if\":\n            pop_val(\"i32\");\n            push_ctrl(opcode, parameter_types || [], result_types || []); \/\/ if\u306a\u3069\u306eblock\u3067\u306fControlFrame\u3092\u8ffd\u52a0\u3059\u308b\n            break;\n        case \"end\":\n            const frame = pop_ctrl(); \/\/ if\u306a\u3069\u306eblock\u304c\u7d42\u4e86\u3057\u305f\u5834\u5408\u306fControlFrame\u3092\u7834\u68c4\u3059\u308b\n            pop_vals(frame.end_types);\n            push_vals(frame.end_types);\n            break;\n        case \"else\":\n            const elseFrame = pop_ctrl();\n            if (elseFrame.opcode !== \"if\") {\n                throw new Error(\"else must follow an if\");\n            }\n            pop_vals(elseFrame.end_types);\n            push_ctrl(\"else\", elseFrame.start_types, elseFrame.end_types);\n            break;\n        default:\n            throw new Error(`Unsupported opcode: ${opcode}`);\n    }\n}\n<\/code><\/pre>\n<p>\u3053\u306e\u3088\u3046\u306a\u69cb\u9020\u3092\u53d6\u308b\u3053\u3068\u3067\u8907\u96d1\u306a\u5236\u5fa1\u69cb\u9020\u3092\u3082\u3064WebAssembly\u306e\u30d1\u30e9\u30e1\u30fc\u30bf\u30fc\u3084\u30b9\u30bf\u30c3\u30af\u306e\u6574\u5408\u6027\u306e\u691c\u8a3c\u3092\u884c\u3046\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<a href=\"https:\/\/webassembly.github.io\/spec\/core\/appendix\/algorithm.html#validation-of-opcode-sequences\">7.3.2 Validation of Opcode Sequences<\/a>\u3067\u306f\u3053\u306e\u6570\u5341\u884c\u307b\u3069\u306e\u578b\u60c5\u5831\u3092\u4f7f\u3063\u3066Validation\u3092\u3059\u308b\u30b3\u30f3\u30bb\u30d7\u30c8\u304c\u63d0\u793a\u304c\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u6700\u7d42\u7d50\u679c\u3068\u306a\u308b\u7591\u4f3c\u30b3\u30fc\u30c9\u3060\u3051\u3092\u307f\u308b\u3068\u305d\u3093\u306a\u306b\u96e3\u3057\u304f\u306a\u3044\u306e\u3067\u3059\u3002WebAssembly\u306e\u547d\u4ee4\u306f\u4e00\u90e8\u3067\u306f\u9ad8\u30ec\u30d9\u30eb\u306a\u5236\u5fa1\u69cb\u9020\u304c\u3042\u308b\u3082\u306e\u306e\u3001\u57fa\u672c\u7684\u306b\u306f\u4f4e\u30ec\u30d9\u30eb\u64cd\u4f5c\u304c\u591a\u3044\u305f\u3081\u30b7\u30f3\u30d7\u30eb\u306aValidation\u3068\u306a\u308a\u307e\u3059\u3002<\/p>\n<h1>\u5b9f\u969b\u306b\u52d5\u4f5c\u3059\u308b\u30b5\u30f3\u30d7\u30eb\u30b3\u30fc\u30c9<\/h1>\n<p>\u30b5\u30f3\u30d7\u30eb\u30b3\u30fc\u30c9\u3068\u3057\u3066<a href=\"https:\/\/chobie.github.io\/sukoshi_webassembly\/\">Sukoshi WebAssembly Simulator<\/a>\u3068\u3044\u3046\u306e\u3092\u3056\u3063\u304f\u308a\u3068\u66f8\u304d\u307e\u3057\u305f\u3002<\/p>\n<p><a href=\"https:\/\/labs.gree.jp\/blog\/wp-content\/uploads\/2024\/11\/sukoshi_webassembly.png\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/labs.gree.jp\/blog\/wp-content\/uploads\/2024\/11\/sukoshi_webassembly-830x476.png\" alt=\"\" width=\"830\" height=\"476\" class=\"alignnone size-large wp-image-24476\" srcset=\"https:\/\/labs.gree.jp\/blog\/wp-content\/uploads\/2024\/11\/sukoshi_webassembly-830x476.png 830w, https:\/\/labs.gree.jp\/blog\/wp-content\/uploads\/2024\/11\/sukoshi_webassembly-600x344.png 600w, https:\/\/labs.gree.jp\/blog\/wp-content\/uploads\/2024\/11\/sukoshi_webassembly-276x158.png 276w, https:\/\/labs.gree.jp\/blog\/wp-content\/uploads\/2024\/11\/sukoshi_webassembly-768x440.png 768w, https:\/\/labs.gree.jp\/blog\/wp-content\/uploads\/2024\/11\/sukoshi_webassembly-1536x881.png 1536w, https:\/\/labs.gree.jp\/blog\/wp-content\/uploads\/2024\/11\/sukoshi_webassembly-2048x1174.png 2048w\" sizes=\"auto, (max-width: 830px) 100vw, 830px\" \/><\/a><\/p>\n<p>\u4ed5\u69d8\u66f8\u306eAppendix\u8a18\u8f09\u306e\u64ec\u4f3c\u30b3\u30fc\u30c9\u304b\u3089HTML\u3068JavaScript\u306b\u5909\u3048\u3066\u5b9f\u88c5\u3057\u305f\u30b3\u30fc\u30c9\u3067\u3059\u3002\u4eca\u56de\u306e\u30b3\u30fc\u30c9\u3067\u306fWebAssembly\u30e2\u30b8\u30e5\u30fc\u30eb\u306eParse\u3084\u30d0\u30a4\u30ca\u30ea\u30d5\u30a9\u30fc\u30de\u30c3\u30c8\u306f\u7701\u7565\u3057\u3066\u3001\u6587\u5b57\u5217\u3067\u8868\u73fe\u3057\u305fOpCode\u3068\u30d1\u30e9\u30e1\u30fc\u30bf\u30fc\u985e\u3084\u5373\u5024\u3092\u307e\u3068\u3081\u305f\u547d\u4ee4\u30bb\u30c3\u30c8\u306e\u914d\u5217\u3092\u691c\u67fb\u30fb\u51e6\u7406\u3057\u3066\u3044\u304f\u5f62\u306b\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u3053\u306eHTML\u3068JavaScript\u306e\u5c0f\u3055\u306a\u30c4\u30fc\u30eb\u306f\u6b21\u306e\u3088\u3046\u306a\u624b\u9806\u3067\u904a\u3079\u307e\u3059\u3002<\/p>\n<ul>\n<li><a href=\"https:\/\/chobie.github.io\/sukoshi_webassembly\/\">https:\/\/chobie.github.io\/sukoshi_webassembly\/<\/a> \u306b\u30d6\u30e9\u30a6\u30b6\u3067\u30a2\u30af\u30bb\u30b9\u3059\u308b<\/li>\n<li>Instruction Set\u3088\u308a\u300c5.\u30ed\u30fc\u30ab\u30eb\u5909\u6570\uff08\u691c\u8a3c\u30a8\u30e9\u30fc\uff09\u300d\u3092\u9078\u3076<\/li>\n<li>Validation\u30dc\u30bf\u30f3\u3092\u62bc\u3057\u3066Validation Error\u304c\u51fa\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3059\u308b<\/li>\n<li>Run\u3092\u62bc\u3059\u3068\u672a\u5b9a\u7fa9\u52d5\u4f5c\u3067\u30a8\u30e9\u30fc\u3068\u306a\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3059\u308b<\/li>\n<li>\uff12\u884c\u76ee\u306b<code>[\"local\", [], [], [1, \"i32\"]],\/\/ \u30ed\u30fc\u30ab\u30eb\u5909\u65701 i32\u3092\u5ba3\u8a00<\/code>\u3092\u8ffd\u52a0\u3059\u308b<\/li>\n<li>Validation\u30dc\u30bf\u30f3\u3092\u62bc\u3057\u3066Pass\u3068\u306a\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3059\u308b<\/li>\n<li>Run\u3092\u62bc\u3059\u3068\u7d50\u679c\u304c3\u3068\u306a\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3059\u308b<\/li>\n<\/ul>\n<p>\u30ed\u30fc\u30ab\u30eb\u306b<a href=\"https:\/\/github.com\/chobie\/sukoshi_webassembly\">Github\u30ea\u30dd\u30b8\u30c8\u30ea<\/a>\u3092clone\u3057\u3066\u547d\u4ee4\u3092\u8ffd\u52a0\u3057\u305f\u308a\u3057\u3066\u6539\u9020\u3057\u3066\u3044\u304f\u3068\u5b9f\u88c5\u3084\u8a2d\u8a08\u4e0a\u306e\u7591\u554f\u70b9\u306a\u3069\u304c\u6d6e\u304b\u3076\u3068\u601d\u3046\u306e\u3067\u826f\u3044\u5b66\u7fd2\u306b\u306a\u308b\u3068\u601d\u3044\u307e\u3059\u3002\u306a\u304a\u3001\u3053\u306e\u30ea\u30dd\u30b8\u30c8\u30ea\u306fAdvent Calendar\u7528\u306b\u3056\u3063\u3068\u66f8\u3044\u305f\u30b3\u30fc\u30c9\u3067\u7a4d\u6975\u7684\u306b\u30e1\u30f3\u30c6\u306f\u3057\u306a\u3044\u3064\u3082\u308a\u3067\u3059\u3002\u3054\u4e86\u627f\u304f\u3060\u3055\u3044\u3002<\/p>\n<p>\u5168\u4f53\u3067700\u884c\u7a0b\u5ea6\u3067\u306f\u3042\u308a\u307e\u3059\u304c\u3001\u8a18\u4e8b\u3067\u3059\u3079\u3066\u3092\u89e3\u8aac\u3059\u308b\u306b\u306f\u9577\u3059\u304e\u308b\u306e\u3067Validation\u5b9f\u88c5\u3067\u9593\u9055\u3044\u3084\u3059\u3044\uff12\u3064\u306e\u30dd\u30a4\u30f3\u30c8\u306b\u7d5e\u3063\u3066\u89e3\u8aac\u3057\u307e\u3059\u3002<\/p>\n<h2>\u30dd\u30a4\u30f3\u30c8\uff11: ControlFrame\u306e\u8a2d\u8a08<\/h2>\n<p>\u73fe\u72b6\u306eWebAssembly\u3067\u306f<a href=\"https:\/\/github.com\/WebAssembly\/multi-value\/blob\/master\/proposals\/multi-value\/Overview.md#blocks-with-inputs\">Multi-Value\u62e1\u5f35<\/a>\u3092\u6a19\u6e96\u3067\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u304a\u308a\u3001\u7d50\u679c\u3068\u3057\u3066\u30d6\u30ed\u30c3\u30af\u304c\u60f3\u5b9a\u3059\u308b\u30b9\u30bf\u30c3\u30af\u72b6\u614b\uff08parameter types\/result types\u306e\u4e21\u65b9\uff09\u3092\u5ba3\u8a00\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u3063\u3066\u3044\u307e\u3059\u3002\u6b21\u306eWAT\u306e\u4f8b\u3067\u306f<code>block<\/code>\u304ci32\u306e\u5024\u3092\uff12\u3064\u5fc5\u8981\u3068\u3057\u3066\u3044\u308b\u3053\u3068\u3092\u660e\u793a\u3067\u304d\u307e\u3059\u3002<\/p>\n<pre><code class=\"language-wat\">(module\n    (func $add (param i32 i32) (result i32)\n        (local.get 0)\n        (local.get 1)\n        (block (param i32 i32) (result i32) ;; \u6a5f\u80fd\u3092\u8aac\u660e\u3059\u308b\u305f\u3081\u3060\u3051\u306e\u4f7f\u3044\u65b9\u4f8b\u3067\u3059\n            (i32.add)\n        )\n    )\n    (export \"add\" (func $add))\n)\n<\/code><\/pre>\n<p>\u3053\u3046\u3057\u305f<code>block<\/code>\u3084<code>if<\/code>\u306a\u3069\u306e\u8907\u96d1\u306a\u30d6\u30ed\u30c3\u30af\u5236\u5fa1\u3092\u5b9f\u73fe\u3059\u308b\u305f\u3081\u306bControlFrame\u3068\u3044\u3046\u60c5\u5831\u3092Stack\u3067\u7ba1\u7406\u3057\u307e\u3059\u3002\u3053\u308c\u306fRuntime\u5b9f\u88c5\u4e0a\u3088\u304f\u3042\u308b\u624b\u6cd5\u3067\u3059\u3002ControlFrame\u306e\u7ba1\u7406\u3092\u6b63\u78ba\u306b\u884c\u308f\u306a\u3044\u3068\u3001<code>br<\/code>\u3084<code>end<\/code>\u547d\u4ee4\u306e\u51e6\u7406\u6642\u306b\u554f\u984c\u304c\u767a\u751f\u3057\u304c\u3061\u3067\u3059\u3002<\/p>\n<p>\u79c1\u3082\u81ea\u5206\u306eRuntime\u306e\u521d\u671f\u5b9f\u88c5\u3067\u306fControlFrame\u306e\u4e00\u90e8\u306e\u60c5\u5831\u3092\u7701\u7565\u3057\u305f\u7d50\u679c\u3001\u30d6\u30ed\u30c3\u30af\u306e\u30cd\u30b9\u30c8\u304c\u6df1\u304f\u306a\u308b\u3068\u30b9\u30bf\u30c3\u30af\u306e\u4e0d\u6574\u5408\u3084\u8aa4\u3063\u305f\u30b8\u30e3\u30f3\u30d7\u5148\u306b\u98db\u3093\u3067\u3057\u307e\u3046\u4e0d\u6574\u5408\u304c\u983b\u767a\u3057\u307e\u3057\u305f\u3002\u3053\u306e\u8ab2\u984c\u3092\u89e3\u6c7a\u3059\u308b\u305f\u3081\u306b\u3001Appendix\u3067\u8aac\u660e\u3055\u308c\u3066\u3044\u308bControlFrame\u306b\u60c5\u5831\u3092\u4fdd\u6301\u3059\u308b\u65b9\u6cd5\u3092\u63a1\u7528\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n<pre><code class=\"language-javascript\">class ControlFrame {\n    constructor(pc, opcode, startTypes, endTypes, height, condition = undefined) {\n        this.program_counter = pc;\n        this.opcode = opcode;\n        this.start_types = startTypes;\n        this.end_types = endTypes;\n        this.height = height;\n        this.unreachable = false;\n        this.condition = condition;\n    }\n}\n<\/code><\/pre>\n<p>\u30d6\u30ed\u30c3\u30af\u306e\u52d5\u4f5c\u3092\u6b63\u78ba\u306b\u518d\u73fe\u3059\u308b\u306b\u306f\u958b\u59cb\u6642\u306e\u4eee\u5f15\u6570\u3068\u7d42\u4e86\u6642\u306b\u8fd4\u3059\u5024\u3092\u4fdd\u6301\u3057\u3066\u304a\u304b\u306a\u3044\u3068\u5b9f\u73fe\u304c\u56f0\u96e3\u3067\u3059\u3002<code>block, if, loop<\/code>\u306a\u3069\u306e\u30d6\u30ed\u30c3\u30af\u306f\u3059\u3079\u3066\u5171\u901a\u306e<code>end<\/code>\u547d\u4ee4\u3067\u7d42\u308f\u308b\u3053\u3068\u3082\u3042\u308a\u3001\u4f55\u3082\u8003\u3048\u305a\u306b\u8a2d\u8a08\u3059\u308b\u3068<code>end<\/code>\u3084<code>br<\/code>\u304c\u8907\u96d1\u306b\u306a\u308b\u8981\u56e0\u306e\u4e00\u3064\u3067\u3082\u3042\u308a\u307e\u3059\u3002<\/p>\n<p><a href=\"https:\/\/github.com\/chobie\/sukoshi_webassembly\/blob\/main\/sukoshi_wasm.js#L397\">\u30b5\u30f3\u30d7\u30eb\u30b3\u30fc\u30c9\u306eexecution\u90e8\u5206<\/a>\u3092\u898b\u3066\u307f\u308b\u3068<code>end<\/code>\u90e8\u306f<code>pop_ctrl<\/code>\u95a2\u6570\u306e\u307f\u3067\u30b7\u30f3\u30d7\u30eb\u3067\u3059\u3002\u958b\u59cb\u6642\u306e\u4eee\u5f15\u6570\u3068\u7d42\u4e86\u6642\u306b\u8fd4\u3059\u5024\u3092\u6301\u3063\u3066\u3044\u308b\u306e\u3067\u307b\u307c\u5171\u901a\u51e6\u7406\u3067<code>end<\/code>\u306e\u51e6\u7406\u304c\u5b9f\u73fe\u3067\u304d\u307e\u3059\u3002\u91cd\u8981\u306a\u30dd\u30a4\u30f3\u30c8\u3068\u3057\u3066\u306f<code>label_types<\/code>\u95a2\u6570\u3067\u73fe\u5728\u306eControlFrame\u304c<code>loop<\/code>\u306e\u5834\u5408\u304b\u3069\u3046\u304b\u3067\u958b\u59cb\/\u7d42\u4e86\u3069\u3061\u3089\u306e\u578b\u3092\u8fd4\u3059\u304b\u5206\u5c90\u3057\u3066\u3044\u308b\u90e8\u5206\u3067\u3059\u3002<\/p>\n<p><code>loop<\/code>\u306e\u30d6\u30ed\u30c3\u30af\u306e\u4e2d\u3067<code>br<\/code>\u3092\u3059\u308b\u3068<code>loop<\/code>\u306b\u623b\u308a\u307e\u3059\u3002\u901a\u5e38\u306e<code>block<\/code>\u7cfb\u3067\u306f<code>br<\/code>\u3092\u3059\u308b\u3068\u5bfe\u5fdc\u3059\u308b<code>end<\/code>\u306b\u98db\u3073\u307e\u3059\u3002\u30d6\u30ed\u30c3\u30af\u306e\u7a2e\u985e\u306b\u5fdc\u3058\u3066<code>start types<\/code>\u304b<code>end types<\/code>\u3092\u9069\u5207\u306b\u8fd4\u305b\u308b\u3088\u3046\u306b\u3059\u308b\u3068\u30b7\u30f3\u30d7\u30eb\u306a\u5b9f\u88c5\u306b\u3057\u3084\u3059\u3044\u3067\u3059\u3002<\/p>\n<pre><code class=\"language-javascript\">\/\/ \u4e2d\u7565\n        case OP_CODE.end:\n            pop_ctrl();\n            break;\n        case OP_CODE.br:\n            if (args.length != 1) {\n                throw new Error(\"br requires one immediate\");\n            }\n            var result = pop_vals(label_types(ctrls.get(args[0])));\n            execute_br(args[0], result, state);\n            break;\n\/\/ \u4e2d\u7565\nfunction label_types(ctrl) {\n    return ctrl.opcode === OP_CODE.loop ? ctrl.start_types : ctrl.end_types;\n}\nfunction pop_ctrl() {\n    if (ctrls.size() === 0) {\n        throw new Error(\"Control stack underflow\");\n    }\n    const ctrl = ctrls.pop();\n    if (ctrl.unreachable == false) {\n        var popped = pop_vals(ctrl.end_types);\n        if (vals.size() != ctrl.height) {\n            throw new Error(\"Operand stack height mismatch: \" + vals.size() + \" \" + ctrl.height + \" \" + ctrl.opcode);\n        }\n        push_vals(popped);\n    }\n    return ctrl;\n}\n<\/code><\/pre>\n<h2>\u30dd\u30a4\u30f3\u30c8\uff12: unreachable\u3068\u30b9\u30ad\u30c3\u30d7\u51e6\u7406\u306e\u5b9f\u88c5<\/h2>\n<p>\u521d\u5b66\u6bb5\u968e\u3060\u3068<code>unreachable<\/code>\u3068\u3044\u3048\u3070<a href=\"https:\/\/webassembly.github.io\/spec\/core\/exec\/instructions.html#exec-unreachable\">Trap\u3059\u308b\u3060\u3051\u306e\u6a5f\u80fd<\/a>\u3060\u3068\u601d\u3044\u304c\u3061\u3067\u3059\u3002\u5b9f\u969b\u4ed5\u69d8\u66f8\u306e\u672c\u6587\u306b\u3082\u305d\u3046\u3068\u3057\u304b\u66f8\u304b\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u3057\u304b\u3057\u3001\u5b9f\u88c5\u7684\u306b\u306f\u6761\u4ef6\u5206\u5c90\u7b49\u3067\u5b9f\u884c\u3057\u306a\u3044\u547d\u4ee4\u3092\u6b63\u78ba\u306b\u30b9\u30ad\u30c3\u30d7\u3059\u308b\u70ba\u306b\u3082\u5230\u9054\u4e0d\u80fd\u306a\u3053\u3068\u3092\u5224\u5225\u3057\u6b63\u78ba\u306b\u30b9\u30ad\u30c3\u30d7\u3059\u308b\u4ed5\u7d44\u307f(\u3084\u3084\u3053\u3057\u3044\u3067\u3059\u304c\u3001\u3053\u308c\u3082unreachable\u3068\u547c\u79f0\u3057\u307e\u3059)\u304c\u5fc5\u8981\u3067\u3059\u3002\u3053\u306e\u3088\u3046\u306a\u4ed5\u7d44\u307f\u304c\u306a\u3044\u3068\u3069\u3053\u307e\u3067\u30b9\u30ad\u30c3\u30d7\u3059\u308c\u3070\u3044\u3044\u304b\u304c\u533a\u5225\u3067\u304d\u307e\u305b\u3093\u3002<\/p>\n<p>\u304a\u305d\u3089\u304f\u3001Validation\u3084\u5236\u5fa1\u69cb\u9020\u5468\u308a\u306e\u5b9f\u88c5\u3067\u4e00\u756a\u56f0\u308b\u306e\u306f\u51e6\u7406\u3092\u5b9f\u884c\u305b\u305a\u306b\u6b63\u78ba\u306b\u30b9\u30ad\u30c3\u30d7\u3059\u308b\u90e8\u5206\u3060\u3068\u601d\u3044\u307e\u3059\u3002Validation\u3067\u306f\u5168\u3066\u306e\u5206\u5c90\u3092\u901a\u904e\u3057\u3064\u3064\u6b63\u3057\u304f\u691c\u8a3c\u304c\u884c\u3048\u308b\u3088\u3046\u306b\u3057\u306a\u3044\u3068\u3044\u3051\u307e\u305b\u3093\u3002<\/p>\n<pre><code class=\"language-javascript\">function pop_val(expect = null) {\n    \/\/ unreachable\u6642\u306fpush\/pop\u3092\u30b9\u30ad\u30c3\u30d7\u3059\u308b\u3053\u3068\u3067\u305d\u308c\u305e\u308c\u5168\u3066\u306e\u547d\u4ee4\u306f\u901a\u308b\u304c\u5b9f\u969b\u306e\u51e6\u7406\u306f\u3084\u3089\u306a\u3044\u3001\u3068\u3044\u3046\u51e6\u7406\u304c\u3067\u304d\u308b\u3002\n    if (ctrls.get(0).unreachable) {\n        return;\n    }\n    \/\/\/ \u4e2d\u7565\n}\n<\/code><\/pre>\n<p>\u5b9f\u88c5\u3057\u3066\u3044\u306a\u3044\u3068\u3088\u304f\u308f\u304b\u3089\u306a\u3044\u3068\u601d\u3046\u306e\u3067\u3001\u5b9f\u4f8b\u3068\u3057\u3066<code>if<\/code>\u306e\u5236\u5fa1\u69cb\u9020\u304b\u3089<code>else<\/code>\u307e\u3067\u30b8\u30e3\u30f3\u30d7\u3057\u305f\u3044\u3001\u3068\u3044\u3046\u30b1\u30fc\u30b9\u3067\u8aac\u660e\u3057\u307e\u3059\u3002<\/p>\n<p>\u4ee5\u524d\u306e\u30bb\u30af\u30b7\u30e7\u30f3\u3067\u8a71\u984c\u306b\u4e0a\u3052\u307e\u3057\u305f\u304c\u3001WebAssembly\u3067\u306f\u30a2\u30bb\u30f3\u30d6\u30e9\u3067\u3088\u304f\u4f7f\u308f\u308c\u308b\u30a2\u30c9\u30ec\u30b9\u6307\u5b9a\u306e\u30b8\u30e3\u30f3\u30d7\u6a5f\u80fd\u304c\u3042\u308a\u307e\u305b\u3093\u3002\u3069\u3053\u306b\u30b8\u30e3\u30f3\u30d7\u3059\u308c\u3070\u3044\u3044\u304b\u306f<code>if<\/code>\u306e\u30bf\u30a4\u30df\u30f3\u30b0\u3067\u306f\u308f\u304b\u3089\u306a\u3044\u306e\u3067\u3059\u3002\u3053\u308c\u306f\u3001<code>if<\/code>\u306b\u5bfe\u5fdc\u3057\u305f<code>else<\/code>\u306b\u30b8\u30e3\u30f3\u30d7\u3057\u305f\u3044\u3068\u3044\u3046\u5834\u5408\u306b\u3068\u3066\u3082\u56f0\u308a\u307e\u3059\u3002\u7d20\u76f4\u306b\u3053\u306e\u6319\u52d5\u3092\u5b9f\u73fe\u3059\u308b\u306b\u306f\u5b9f\u969b\u306b\u5404\u7a2e\u547d\u4ee4\u3084\u5236\u5fa1\u69cb\u9020\u3092\u4e00\u3064\u305a\u3064\u30c1\u30a7\u30c3\u30af\u3057\u3066\u3001\u73fe\u5728\u306e<code>if<\/code>\u306b\u5bfe\u5fdc\u3057\u305f<code>else<\/code>\u3084<code>end<\/code>\u3092\u6b63\u78ba\u306b\u5224\u5b9a\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n<p>\u7c21\u5358\u3068\u601d\u3044\u304d\u3084\u3001\u5b9f\u969b\u306eWebAssembly\u306e\u547d\u4ee4\u5217\u306f\u5e73\u5766\u306a\u72b6\u614b\u3067\u3059\u3002\u6b63\u78ba\u306b\u5224\u5b9a\u3059\u308b\u51e6\u7406\u306f\u5b9f\u88c5\u4e0a\u306e\u96e3\u3057\u3044\u90e8\u5206\u3068\u306a\u308a\u307e\u3059\u3002\u8aac\u660e\u306e\u305f\u3081\u306bWebAssembly\u306e\u7591\u4f3c\u547d\u4ee4\u306b\u5bfe\u3057\u3066\u30a4\u30f3\u30c7\u30f3\u30c8\u3092\u5165\u308c\u3066\u307f\u307e\u3059\u3002<\/p>\n<pre><code>i32.const 0 ;; #01 if \u306e\u6761\u4ef6\nif (result i32)\n  nop\n  nop\n  i32.const 0 ;; #06 if \u306e\u6761\u4ef6\n  if \n    nop\n  else ;; \u5358\u7d14\u306belse\u306e\u51fa\u73fe\u3092\u5143\u306b\u30b8\u30e3\u30f3\u30d7\u5224\u5b9a\u3057\u3088\u3046\u3068\u601d\u3046\u3068#06\u7528\u306eelse\u3068\u8aa4\u5224\u5b9a\u3057\u307e\u3059\n    nop\n  end\n  nop\n  i32.const 1\nelse ;; \u672c\u6765#01\u306eif\u304b\u3089\u98db\u3073\u305f\u304b\u3063\u305f\u306e\u306f\u3053\u3053\n  nop\n  nop\n  nop\n  i32.const 0\nend\n<\/code><\/pre>\n<p>1\u884c\u76ee\u3067\u507d\u3068\u306a\u308b\u6761\u4ef6\u3067\u3042\u308c\u3070\u300113\u884c\u76ee\u306e<code>else<\/code>\u307e\u3067\u306e\u547d\u4ee4\u306f\u7121\u8996\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u3057\u304b\u3057\u30012\u884c\u76ee\u306e<code>if<\/code>\u306e\u6bb5\u968e\u3067\u306f\u5bfe\u5fdc\u3059\u308b<code>else<\/code>\u304c\u3069\u3053\u306b\u3042\u308b\u306e\u304b\u60c5\u5831\u3092\u6301\u3063\u3066\u3044\u307e\u305b\u3093\u3002\u305d\u306e\u305f\u3081\u306b\u30013\u884c\u76ee\u304b\u308912\u884c\u76ee\u307e\u3067\u306e\u547d\u4ee4\u3067\u306f\u5b9f\u884c\u305b\u305a\u306b\u5236\u5fa1\u69cb\u9020\u3092\u6b63\u3057\u304f\u7ba1\u7406\u3057\u306a\u304c\u3089\u547d\u4ee4\u3092\u9032\u307e\u305b\u308b<code>unreachable<\/code>\u76f8\u5f53\u306e\u4ed5\u7d44\u307f\u304c\u5fc5\u8981\u3068\u306a\u308a\u307e\u3059\u3002<\/p>\n<pre><code class=\"language-javascript\">\/\/ Trap\u3092\u5f15\u304d\u8d77\u3053\u3059unreachable\u547d\u4ee4\u3068\u3001\u5230\u9054\u4e0d\u80fd\u306a\u3053\u3068\u3092\u5224\u5225\u3059\u308bunreachable\u51e6\u7406\u306f\u5225\u3067\u3059\u3002\n\/\/ \u3053\u306e\u95a2\u6570\u306f\u5f8c\u8005\u3067\u3059\u3002\nfunction unreachable() {\n    vals.resize(ctrls.get(0).height); \/\/ block\u306b\u5165\u308b\u6642\u306e\u9ad8\u3055\u306b\u5f37\u5236\u7684\u306b\u63c3\u3048\u308b(block\u524d\u5f8c\u306estack\u6574\u5408\u6027\u78ba\u4fdd\u306e\u305f\u3081)\n    ctrls.get(0).unreachable = true; \/\/ \u4ee5\u964d\u3053\u306e\u30d6\u30ed\u30c3\u30af\u306e\u5b9f\u969b\u306e\u51e6\u7406\u306f\u3057\u306a\u3044\n}\n<\/code><\/pre>\n<p>ControlFrame\u306eunreachble\u306e\u60c5\u5831\u3092\u5143\u306b\u5b9f\u64cd\u4f5c\u3092\u7701\u7565\u3059\u308c\u3070\u30b9\u30ad\u30c3\u30d7\u3059\u308b\u6319\u52d5\u304c\u5b9f\u73fe\u3067\u304d\u307e\u3059\u3002<\/p>\n<p>\u4eca\u56de\u8aac\u660e\u3057\u305f\u30cd\u30b9\u30c8\u3057\u3066\u3044\u308b<code>if<\/code>\u306e\u985e\u4f3c\u7cfb\u3092<a href=\"https:\/\/chobie.github.io\/sukoshi_webassembly\/?key=nestedBlocks\">Sukoshi WebAssembly\u306e\u30b5\u30f3\u30d7\u30eb\u300c6.\u30cd\u30b9\u30c8\u3057\u305f\u30d6\u30ed\u30c3\u30af\u300d<\/a>\u3067\u8a66\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u30026\u884c\u76ee\u3092<code>[\"br\", [], [], [0]]<\/code>\u306b\u5909\u3048\u308b\u3068\u5185\u5074\u306e\u30d6\u30ed\u30c3\u30af\u306e\u307f\u5230\u9054\u4e0d\u53ef\u3068\u3057\u3066\u6271\u3044\u3001\u5916\u5074\u306e\u30d6\u30ed\u30c3\u30af\u306f\u5b9f\u884c\u3055\u308c\u308b\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002\u6b63\u78ba\u306b\u5230\u9054\u4e0d\u80fd\u306a\u3053\u3068\u3092\u5224\u5225\u3067\u304d\u306a\u3044\u3068\u8aa4\u3063\u305f\u5024\u3092\u8fd4\u3057\u3066\u3057\u307e\u3046\u3053\u3068\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n<h1>\u7d42\u308f\u308a\u306b<\/h1>\n<p><a href=\"https:\/\/webassembly.github.io\/spec\/core\/appendix\/algorithm.html\">WebAssembly Specification: Appendix 7.3 Validation Algorithm<\/a>\u304b\u3089\u307f\u308bRuntime\u8a2d\u8a08\u306e\u30dd\u30a4\u30f3\u30c8\u3068\u3044\u3046\u3053\u3068\u3067ControlFrame\u3068unreachable\u306b\u7d5e\u3063\u3066\u89e3\u8aac\u3092\u3057\u307e\u3057\u305f\u3002\u3053\u306e\uff12\u3064\u306e\u30dd\u30a4\u30f3\u30c8\u3092\u6291\u3048\u3066\u304a\u3051\u3070WebAssembly\u306eValidation\u306e\u5b9f\u88c5\u306e\u57fa\u790e\u304c\u5b66\u3079\u307e\u3059\u3002WebAssembly\u306f\u4ed5\u69d8\u66f8\u304c\u3057\u3063\u304b\u308a\u3068\u66f8\u304b\u308c\u3066\u3044\u308b\u306e\u3067\u3001\u308f\u304b\u3089\u306a\u3044\u90e8\u5206\u306fAI\u306b\u89e3\u8aac\u3057\u3066\u3082\u3089\u3044\u3064\u3064\u5b9f\u88c5\u3057\u3066\u3044\u304f\u3068\u697d\u3057\u304f\u904a\u3079\u307e\u3059\u3088\u3002<\/p>\n<p>\u79c1\u306e\u81ea\u4f5cWebAssembly Runtime\u306fWASIp1\u3082\u4e0d\u5b8c\u5168\u306a\u304c\u3089\u5b9f\u88c5\u3057\u3066\u3042\u308a\u3001<code>container2wasm<\/code>\u304c\u52d5\u4f5c\u3059\u308b\u307e\u3067\u306f\u5b9f\u88c5\u3057\u307e\u3057\u305f\u3002WebAssembly\u306f\u304a\u624b\u8efd\u306b\u4f5c\u308c\u308b\u308f\u308a\u306b\u672c\u683c\u7684\u306b\u52d5\u3044\u3066\u3057\u307e\u3046\u306e\u3067\u9762\u767d\u3044\u3067\u3059\u3002(Runtime\u306e\u516c\u958b\u306f\u5b9f\u30b5\u30fc\u30d3\u30b9\u3067\u5b9f\u969b\u306b\u4f7f\u3063\u3066\u304b\u3089\u691c\u8a0e\u3057\u3088\u3046\u3068\u601d\u3044\u307e\u3059)<\/p>\n<p>\u306a\u304a\u3001Validation\u306f\u3042\u304f\u307e\u3067\u3082\u4e0e\u3048\u3089\u308c\u305fWebAssembly\u30e2\u30b8\u30e5\u30fc\u30eb\u304c\u6700\u4f4e\u9650\u4ed5\u69d8\u306b\u6e96\u62e0\u3057\u3066\u3042\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3059\u308b\u4ed5\u7d44\u307f\u3067\u3042\u308a\u3001\u5b9f\u969b\u306b\u4f7f\u308f\u308c\u308b\u74b0\u5883\u306b\u5fdc\u3058\u3066\u5fc5\u8981\u306a\u30a8\u30c3\u30b8\u30b1\u30fc\u30b9\u306e\u51e6\u7406\u3084\u6700\u9069\u5316\u304c\u5225\u9014\u5fc5\u8981\u306b\u306a\u308b\u5834\u5408\u3082\u3042\u308a\u307e\u3059\u3002\u7dda\u5f15\u304d\u304c\u96e3\u3057\u3044\u51e6\u7406\u306b\u306a\u308b\u306e\u3067\u4ed6\u306eVM\u306e\u524d\u4f8b\u306a\u3069\u3092\u3057\u3089\u3079\u308b\u3068\u826f\u3044\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<p>\u305d\u308c\u3067\u306f\uff01<\/p>\n<style type=\"text\/css\">\n.chobie-note {\n  position: relative; \n  border: 1px solid #ccc; \n  border-radius: 8px;\n   padding: 16px;\n    margin: 24px;\n}\n.chobie-note-title {\n  position: absolute; \n  top: -10px; \n  left: 10px; \n  background-color: #00A0DC; \n  color: #FFF; \n  padding: 4px 8px; \n  border-radius: 4px; \n  font-weight: bold; \n  font-size: 12px;\n}\n<\/style>\n","protected":false},"excerpt":{"rendered":"<p>\u3069\u30fc\u3082\u3061\u3087\u3073\u3048\u3067\u3059\u3002\u4f59\u6687\u3067Unity\u5411\u3051\u306bWebAssembly Specification 2.0\u306b\u6e96\u62e0\u3057\u305fWebAssembly\u306eRuntime\u3068WGSL\u6d3e\u751f\u8a00\u8a9e\u304b\u3089Wasm\u3078\u30b3\u30f3\u30d1\u30a4\u30eb\u3059\u308b\u6a5f\u80fd\u3092\u958b\u767a\u3057\u3066\u3044\u307e\u3059\u3002 \u3053 [&hellip;]<\/p>\n","protected":false},"author":100,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[229],"tags":[],"class_list":["post-24431","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-webassembly"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/labs.gree.jp\/blog\/wp-json\/wp\/v2\/posts\/24431","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/labs.gree.jp\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/labs.gree.jp\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/labs.gree.jp\/blog\/wp-json\/wp\/v2\/users\/100"}],"replies":[{"embeddable":true,"href":"https:\/\/labs.gree.jp\/blog\/wp-json\/wp\/v2\/comments?post=24431"}],"version-history":[{"count":215,"href":"https:\/\/labs.gree.jp\/blog\/wp-json\/wp\/v2\/posts\/24431\/revisions"}],"predecessor-version":[{"id":24651,"href":"https:\/\/labs.gree.jp\/blog\/wp-json\/wp\/v2\/posts\/24431\/revisions\/24651"}],"wp:attachment":[{"href":"https:\/\/labs.gree.jp\/blog\/wp-json\/wp\/v2\/media?parent=24431"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/labs.gree.jp\/blog\/wp-json\/wp\/v2\/categories?post=24431"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/labs.gree.jp\/blog\/wp-json\/wp\/v2\/tags?post=24431"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}