{"id":6312,"date":"2021-05-11T01:49:47","date_gmt":"2021-05-10T16:49:47","guid":{"rendered":"https:\/\/sipo.tokyo\/?p=6312"},"modified":"2021-05-11T02:37:22","modified_gmt":"2021-05-10T17:37:22","slug":"post-6312","status":"publish","type":"post","link":"https:\/\/sipo.tokyo\/?p=6312","title":{"rendered":"IOG\u30d6\u30ed\u30b0\uff1aRuntime Verification\u3068IELE &#8211; \u76f8\u4e92\u904b\u7528\u6027\u304b\u3089\u666e\u904d\u6027\u3078"},"content":{"rendered":"\n<p>IOG\u306f\u30d6\u30ed\u30b0\u3067\u3001\u6bd4\u985e\u306e\u306a\u3044\u30ec\u30d9\u30eb\u306e\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u3001\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u30d3\u30ea\u30c6\u30a3\u3092\u30ab\u30eb\u30c0\u30ce\u306b\u3082\u305f\u3089\u3059KEVM\u3068IELE\u306b\u3064\u3044\u3066\u89e3\u8aac\u3057\u3066\u304a\u308a\u3001KEVM\/IELE\u306e\u5b9f\u88c5\u306f\u3001\u30ab\u30eb\u30c0\u30ce\u306e\u5230\u9054\u7bc4\u56f2\u3068\u76f8\u4e92\u904b\u7528\u6027\u3092\u62e1\u5927\u3057\u3001\u300ccorrect by construction\u300d\u74b0\u5883\u306e\u6587\u8108\u3067\u3001\u65b0\u3057\u3044\u30a2\u30a4\u30c7\u30a2\u3001\u30b3\u30f3\u30bb\u30d7\u30c8\u3001\u6280\u8853\u958b\u767a\u306e\u63a2\u6c42\u306b\u3064\u306a\u304c\u308b\u65b0\u305f\u306a\u5354\u529b\u306e\u9053\u7b4b\u3092\u4f5c\u308b\u3068\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p>\u4e0b\u8a18\u306e\u8a18\u4e8b\u306fIOG\u30d6\u30ed\u30b0\u306e\u8a18\u4e8b\u300c<a href=\"https:\/\/iohk.io\/en\/blog\/posts\/2021\/05\/10\/runtime-verification-iele-from-interoperability-to-universality\/\" data-type=\"URL\" data-id=\"https:\/\/iohk.io\/en\/blog\/posts\/2021\/05\/10\/runtime-verification-iele-from-interoperability-to-universality\/\" target=\"_blank\" rel=\"noreferrer noopener\">Runtime Verification &amp; IELE \u2013 from interoperability to universality<\/a>\u300d\u3092\u7ffb\u8a33\u3057\u305f\u3082\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<div class=\"dp_toc_container pos-before_first_h allow-toggle\" role=\"navigation\" data-margin=\"30\"><p class=\"toc_title_block\"><span class=\"toc_title icon-list\">INDEX<\/span><span class=\"toc_toggle icon-up-open\" role=\"button\"><\/span><\/p><ul class=\"dp_toc_ul has_title\"><li><a href=\"#runtime-verificatione381a8iele-e79bb8e4ba92e9818be794a8e680a7e3818be38289e699aee9818de680a7e381b8-1\">Runtime Verification\u3068IELE &#8211; \u76f8\u4e92\u904b\u7528\u6027\u304b\u3089\u666e\u904d\u6027\u3078<\/a><ul><li><a href=\"#ieleefbc9ae6af94e9a19ee381aee381aae38184e382bbe382ade383a5e383aae38386e382a3e38081e382b9e382b1e383bce383a9e38393e383aae38386e382a3-2\">IELE\uff1a\u6bd4\u985e\u306e\u306a\u3044\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u3001\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u30d3\u30ea\u30c6\u30a3<\/a><\/li><li><a href=\"#llvme381abe381a4e38184e381a6-3\">LLVM\u306b\u3064\u3044\u3066<\/a><\/li><li><a href=\"#e38193e3828ce381afe382abe383abe38380e3838ee381abe381a8e381a3e381a6e381a9e381aee38288e38186e381aae6848fe591b3e3818ce38182e3828ae381be-4\">\u3053\u308c\u306f\u30ab\u30eb\u30c0\u30ce\u306b\u3068\u3063\u3066\u3069\u306e\u3088\u3046\u306a\u610f\u5473\u304c\u3042\u308a\u307e\u3059\u304b\uff1f<\/a><\/li><li><a href=\"#e69c80e7b582e79a84e381aae88083e38188-5\">\u6700\u7d42\u7684\u306a\u8003\u3048<\/a><\/li><\/ul><\/div><h3 class=\"wp-block-heading\" id=\"runtime-verificatione381a8iele-e79bb8e4ba92e9818be794a8e680a7e3818be38289e699aee9818de680a7e381b8-1\">Runtime Verification\u3068IELE &#8211; \u76f8\u4e92\u904b\u7528\u6027\u304b\u3089\u666e\u904d\u6027\u3078<\/h3>\n\n\n\n<p><strong>KEVM\u3068IELE\u306f\u3001\u6bd4\u985e\u306e\u306a\u3044\u30ec\u30d9\u30eb\u306e\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u3001\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u30d3\u30ea\u30c6\u30a3\u3092\u30ab\u30eb\u30c0\u30ce\u306b\u3082\u305f\u3089\u3057\u307e\u3059<\/strong>\u3002<\/p>\n\n\n\n<p>by Alex Hamilton 2021\u5e745\u670810\u65e5 4 mins read<\/p>\n\n\n\n<p>\u30b9\u30bf\u30fc\u30c8\u30a2\u30c3\u30d7\u4f01\u696dRuntime Verification\uff08RV\uff09\u306e\u793e\u9577\u517cCEO\u3067\u3042\u308b<a href=\"https:\/\/en.wikipedia.org\/wiki\/Grigore_Rosu\" data-type=\"URL\" data-id=\"https:\/\/en.wikipedia.org\/wiki\/Grigore_Rosu\" target=\"_blank\" rel=\"noreferrer noopener\">Grigore Rosu\u6559\u6388<\/a>\u304c\u3001<a href=\"https:\/\/youtu.be\/ULBLgPgxtN8?t=1563\" data-type=\"URL\" data-id=\"https:\/\/youtu.be\/ULBLgPgxtN8?t=1563\" target=\"_blank\" rel=\"noreferrer noopener\">3\u6708\u306eCardano360\u30b7\u30e7\u30fc<\/a>\u306b\u53c2\u52a0\u3057\u3001RV\u3068IOHK\u306e\u30b3\u30e9\u30dc\u30ec\u30fc\u30b7\u30e7\u30f3\u306b\u3064\u3044\u3066\u610f\u898b\u4ea4\u63db\u3092\u884c\u3044\u307e\u3057\u305f\u3002<\/p>\n\n\n\n<p>\u30b0\u30ea\u30b4\u30a2\u3068RV\u3068\u306e\u4ed5\u4e8b\u4e0a\u306e\u95a2\u4fc2\u306f2017\u5e74\u306b\u3055\u304b\u306e\u307c\u308a\u307e\u3059\u304c\u3001\u30b0\u30ea\u30b4\u30a2\u306e\u8cc7\u683c\u304c\u305d\u308c\u3092\u7269\u8a9e\u3063\u3066\u3044\u307e\u3059\uff08\u3069\u3093\u306a\u8a00\u8a9e\u3067\u3082\uff09\u3002\u5f7c\u306f\u3001NASA\u3001DARPA\u3001Microsoft\u306b\u52e4\u52d9\u3057\u3001\u30a4\u30ea\u30ce\u30a4\u5927\u5b66\u30a2\u30fc\u30d0\u30ca\u30fb\u30b7\u30e3\u30f3\u30da\u30fc\u30f3\u6821\u3067\u6559\u97ad\u3092\u3068\u3063\u305f\u3053\u3068\u304c\u3042\u308a\u307e\u3059\u304c\u3001\u3053\u308c\u306f\u3044\u304f\u3064\u304b\u306e\u5b9f\u7e3e\u3092\u6319\u3052\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p>\u30b0\u30ea\u30b4\u30a2\u306f\u3001\u300c\u5931\u6557\u3059\u308b\u3053\u3068\u304c\u8a31\u3055\u308c\u306a\u3044\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u300d\u3068\u8a55\u3055\u308c\u308b<a href=\"https:\/\/runtimeverification.com\/blog\/k-framework-an-overview\/\" data-type=\"URL\" data-id=\"https:\/\/runtimeverification.com\/blog\/k-framework-an-overview\/\" target=\"_blank\" rel=\"noreferrer noopener\">K\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af<\/a>\u306e\u958b\u767a\u306b\u3082\u8ca2\u732e\u3057\u3066\u3044\u307e\u3059\u300215\u5e74\u306e\u6b73\u6708\u3092\u304b\u3051\u3066\u958b\u767a\u3055\u308c\u305f\u3053\u306e\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u306f\u3001\u4e3b\u306b\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u306e\u5f37\u5316\u3092\u76ee\u7684\u3068\u3057\u3066\u3044\u307e\u3059\u3002\u8a73\u3057\u304f\u306f\u5f8c\u8ff0\u3057\u307e\u3059\u304c\u3001\u305d\u306e\u524d\u306b\u6b74\u53f2\u3092\u632f\u308a\u8fd4\u3063\u3066\u307f\u307e\u3057\u3087\u3046\u3002<\/p>\n\n\n\n<p>\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u306b\u95a2\u3057\u3066\u306f\u3001Ethereum Virtual Machine\uff08EVM\uff09\u304c\u3001Solidity\u3067\u66f8\u304b\u308c\u305f\u30e6\u30d3\u30ad\u30bf\u30b9\u306aERC-20\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u306e\u4f5c\u6210\u306a\u3069\u3001\u591a\u304f\u306e\u521d\u671f\u57fa\u6e96\u3092\u8a2d\u5b9a\u3057\u307e\u3057\u305f\u3002\u3057\u304b\u3057\u3001\u3053\u306e\u30b7\u30b9\u30c6\u30e0\u306f\u5b8c\u74a7\u306a\u3082\u306e\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u306b\u306f\u65e2\u77e5\u306e\u30b3\u30fc\u30c7\u30a3\u30f3\u30b0\u4e0a\u306e\u8106\u5f31\u6027\u304c\u3042\u308a\u3001\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u4e0a\u306e\u554f\u984c\u304c\u767a\u751f\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<h5 class=\"wp-block-heading\" id=\"ieleefbc9ae6af94e9a19ee381aee381aae38184e382bbe382ade383a5e383aae38386e382a3e38081e382b9e382b1e383bce383a9e38393e383aae38386e382a3-2\">IELE\uff1a\u6bd4\u985e\u306e\u306a\u3044\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u3001\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u30d3\u30ea\u30c6\u30a3<\/h5>\n\n\n\n<p>2020\u5e74\u5f8c\u534a\u304b\u3089\u3001\u30ab\u30eb\u30c0\u30ce\u306e\u958b\u767a\u8005\u306f\u3001K\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u3067\u898f\u5b9a\u3055\u308c\u3066\u3044\u308bEVM\u306e\u5b9f\u88c5\u3067\u3042\u308bK Ethereum Virtual Machine\uff08KEVM\uff09\u3092\u4ecb\u3057\u3066\u3001Solidity\/Ethereum\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u3068\u306e\u6a4b\u6e21\u3057\u3092\u3057\u3066\u304a\u308a\u3001\u958b\u767a\u8005\u306fK\u304c\u751f\u6210\u3059\u308b\u5f62\u5f0f\u691c\u8a3c\u30c4\u30fc\u30eb\u3092\u4f7f\u3063\u3066\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u306e\u6b63\u3057\u3055\u3092\u30c1\u30a7\u30c3\u30af\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002<\/p>\n\n\n\n<p>IELE\u306f\u3001\u3055\u3089\u306b\u4e00\u6b69\u9032\u3093\u3060\u3082\u306e\u3067\u3059\u30023\u6708\u306e\u300cCardano360\u300d\u3067Rosu\u6c0f\u304c\u8a9e\u3063\u305f\u3088\u3046\u306b\u3001IELE\uff08<a rel=\"noreferrer noopener\" href=\"https:\/\/en.wikipedia.org\/wiki\/Iele\" data-type=\"URL\" data-id=\"https:\/\/en.wikipedia.org\/wiki\/Iele\" target=\"_blank\">\u30eb\u30fc\u30de\u30cb\u30a2\u795e\u8a71\u306e\u30d5\u30a7\u30a2\u30ea\u30fc\u306e\u3088\u3046\u306a\u751f\u304d\u7269\u306b\u3061\u306a\u3093\u3067\u540d\u4ed8\u3051\u3089\u308c\u305f<\/a>\uff09\u306f\u3001\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u3092\u5b9f\u884c\u3059\u308b\u4eee\u60f3\u30de\u30b7\u30f3\u3067\u3042\u308a\u3001\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u958b\u767a\u8005\u5411\u3051\u306b\u4eba\u9593\u304c\u8aad\u3081\u308b\u8a00\u8a9e\u3082\u63d0\u4f9b\u3057\u3066\u3044\u308b\u3002IELE\u306f\u3001\u30a4\u30fc\u30b5\u30ea\u30a2\u30e0\u3092\u5bfe\u8c61\u3068\u3057\u305fSolidity\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u306e\u8a18\u8ff0\u306b\u7279\u6709\u306e\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u3068\u6b63\u3057\u3055\u306e\u554f\u984c\u3092\u89e3\u6c7a\u3059\u308b\u305f\u3081\u306b\u3001\u5f62\u5f0f\u624b\u6cd5\u3092\u5ff5\u982d\u306b\u7f6e\u3044\u3066\u8a2d\u8a08\u3055\u308c\u3066\u304a\u308a\u3001\u3088\u308a\u9ad8\u3044\u30ec\u30d9\u30eb\u306e\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u3001\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u30d3\u30ea\u30c6\u30a3\u3078\u306e\u9053\u3092\u5bb9\u6613\u306b\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p>IELE\u306f\u3001LLVM\u30b3\u30f3\u30d1\u30a4\u30e9\u30fc\u306e\u4e2d\u9593\u8868\u73fe\u306b\u4f3c\u3066\u3044\u307e\u3059\u3002\u3053\u308c\u306b\u3088\u308a\u3001LLVM\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u306e\u8c4a\u5bcc\u306a\u77e5\u8b58\u3001\u7279\u306bLLVM IR\u4e0a\u306b\u5b89\u5168\u3067\u52b9\u679c\u7684\u306a\u30b3\u30f3\u30d1\u30a4\u30e9\u6700\u9069\u5316\u30d1\u30b9\u3092\u8a18\u8ff0\u3059\u308b\u4f5c\u696d\u3092\u5229\u7528\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002LLVM\u30b3\u30f3\u30d1\u30a4\u30e9\u30fc\u306e\u52aa\u529b\u306e\u591a\u304f\u306f\u3001IELE\u30aa\u30d7\u30c6\u30a3\u30de\u30a4\u30b6\u30fc\u306b\u3082\u53cd\u6620\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<h5 class=\"wp-block-heading\" id=\"llvme381abe381a4e38184e381a6-3\">LLVM\u306b\u3064\u3044\u3066<\/h5>\n\n\n\n<p>IELE\u304c\u5b9f\u88c5\u3055\u308c\u308b\u3068\uff08Rosu\u6c0f\u306b\u3088\u308b\u3068\u3001\u534a\u5e74\u5f8c\u304f\u3089\u3044\u306b\u306f\u521d\u671f\u306e\u30d7\u30eb\u30fc\u30d5\u30aa\u30d6\u30b3\u30f3\u30bb\u30d7\u30c8\u304c\u30c6\u30b9\u30c8\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308b\u3068\u306e\u3053\u3068\uff09\u3001\u958b\u767a\u306e\u6a5f\u4f1a\u306f\u3055\u3089\u306b\u5e83\u304c\u308a\u307e\u3059\u3002IELE\u306f\u4eee\u60f3\u30de\u30b7\u30f3\u3068\u3044\u3046\u3088\u308a\u3082\u30d1\u30b9\u30dd\u30fc\u30c8\u306e\u3088\u3046\u306a\u3082\u306e\u3067\u3001\u65b0\u3057\u3044\u30e6\u30cb\u30fc\u30af\u306a\u624d\u80fd\u306e\u5b9d\u5eab\u3078\u306e\u6249\u3092\u958b\u304f\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u3002\u958b\u767a\u8005\u306e\u4e2d\u306b\u306f\u3001\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u306e\u5206\u91ce\u306b\u53c2\u5165\u3059\u308b\u3053\u3068\u306f\u3001\u307e\u3063\u305f\u304f\u65b0\u3057\u3044\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3092\u7fd2\u5f97\u3059\u308b\u3053\u3068\u306b\u306a\u308b\u305f\u3081\u3001\u4e00\u5ea6\u306f\u5426\u5b9a\u3057\u305f\u4eba\u3082\u3044\u308b\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u3002\u3057\u304b\u3057\u3001RV\u793e\u306e\u9769\u65b0\u7684\u306a\u30a2\u30d7\u30ed\u30fc\u30c1\u306b\u3088\u308a\u3001\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u306b\u643a\u308f\u308a\u305f\u3044\u958b\u767a\u8005\u306f\u3001Solidity\u3092\u306f\u3058\u3081\u3068\u3059\u308b\u4f7f\u3044\u6163\u308c\u305f\u8a00\u8a9e\u3067\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u3092\u66f8\u304f\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u51fa\u6765\u4e0a\u304c\u3063\u305f\u51fa\u529b\u306f\u3001\u30bd\u30fc\u30b9\u8a00\u8a9e\u306b\u95a2\u4fc2\u306a\u304f\u3001IELE\u3092\u642d\u8f09\u3057\u305f\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u4e0a\u3067\u6b63\u5e38\u306b\u52d5\u4f5c\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<h5 class=\"wp-block-heading\" id=\"e38193e3828ce381afe382abe383abe38380e3838ee381abe381a8e381a3e381a6e381a9e381aee38288e38186e381aae6848fe591b3e3818ce38182e3828ae381be-4\">\u3053\u308c\u306f\u30ab\u30eb\u30c0\u30ce\u306b\u3068\u3063\u3066\u3069\u306e\u3088\u3046\u306a\u610f\u5473\u304c\u3042\u308a\u307e\u3059\u304b\uff1f<\/h5>\n\n\n\n<p>\u4eca\u56de\u306e\u6210\u679c\u306f\u3001\u958b\u767a\u8005\u3084\u4f01\u696d\u306b\u3068\u3063\u3066\u3001\u30a4\u30fc\u30b5\u30ea\u30a2\u30e0\u304b\u3089\u79fb\u884c\u3057\u3066\u30ab\u30eb\u30c0\u30ce\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u306b\u53c2\u52a0\u3059\u308b\u305f\u3081\u306e\u65b0\u305f\u306a\u52d5\u6a5f\u3068\u306a\u308b\u3067\u3057\u3087\u3046\u3002\u958b\u653e\u6027\u3001\u5305\u62ec\u6027\u3001\u76f8\u4e92\u904b\u7528\u6027\u306f\u3001\u30ab\u30eb\u30c0\u30ce\u304c\u69cb\u7bc9\u3055\u308c\u305f\u57fa\u76e4\u3067\u3059\u3002\u79c1\u305f\u3061\u306e\u54f2\u5b66\u306f\u3001\u4eca\u3082\u6614\u3082\u3001\u30ab\u30eb\u30c0\u30ce\u306e\u7740\u5b9f\u306a\u9032\u5316\u306e\u305f\u3081\u306b\u3001\u3042\u3089\u3086\u308b\u30d0\u30c3\u30af\u30b0\u30e9\u30a6\u30f3\u30c9\u306e\u958b\u767a\u8005\u3092\u6b53\u8fce\u3059\u308b\u3053\u3068\u3067\u3059\u3002Rosu\u306f\u5927\u80c6\u306a\u8a08\u753b\u3092\u6301\u3063\u3066\u3044\u307e\u3059\u3002IELE\u306f\u3001\u904e\u53bb10\u5e74\u9593\u306e\u7814\u7a76\u306e\u96c6\u5927\u6210\u3067\u3059\u3002\u666e\u904d\u7684\u306a\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u306b\u671b\u3080\u3053\u3068\u304c\u3067\u304d\u308b\u6700\u5927\u306e\u3082\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<h5 class=\"wp-block-heading\" id=\"e69c80e7b582e79a84e381aae88083e38188-5\">\u6700\u7d42\u7684\u306a\u8003\u3048<\/h5>\n\n\n\n<p>IOHK\u306eRV\u793e\u3068\u306e\u30d1\u30fc\u30c8\u30ca\u30fc\u30b7\u30c3\u30d7\u306f\u3001\u30a4\u30ce\u30d9\u30fc\u30b7\u30e7\u30f3\u3078\u306e\u30b3\u30df\u30c3\u30c8\u30e1\u30f3\u30c8\u3068\u3001\u53ef\u80fd\u306a\u9650\u308a\u5e45\u5e83\u3044\u958b\u767a\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u306b\u30ab\u30eb\u30c0\u30ce\u3092\u958b\u653e\u3059\u308b\u3053\u3068\u3092\u793a\u3057\u3066\u3044\u307e\u3059\u3002KEVM\/IELE\u306e\u5b9f\u88c5\u306f\u3001\u300ccorrect by construction\u300d\u74b0\u5883\u306e\u6587\u8108\u3067\u3001\u65b0\u3057\u3044\u30a2\u30a4\u30c7\u30a2\u3001\u30b3\u30f3\u30bb\u30d7\u30c8\u3001\u6280\u8853\u958b\u767a\u306e\u63a2\u6c42\u306b\u3064\u306a\u304c\u308b\u65b0\u305f\u306a\u5354\u529b\u306e\u9053\u7b4b\u3092\u4f5c\u308b\u3053\u3068\u3067\u3001\u30ab\u30eb\u30c0\u30ce\u306e\u5230\u9054\u7bc4\u56f2\u3068\u76f8\u4e92\u904b\u7528\u6027\u3092\u62e1\u5927\u3059\u308b\u3067\u3057\u3087\u3046\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"IOG\u306f\u30d6\u30ed\u30b0\u3067\u3001\u6bd4\u985e\u306e\u306a\u3044\u30ec\u30d9\u30eb\u306e\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u3001\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u30d3\u30ea\u30c6\u30a3\u3092\u30ab\u30eb\u30c0\u30ce\u306b\u3082\u305f\u3089\u3059KEVM\u3068IELE\u306b\u3064\u3044\u3066\u89e3\u8aac\u3057\u3066\u304a\u308a\u3001KEVM\/IELE\u306e\u5b9f\u88c5\u306f\u3001\u30ab\u30eb\u30c0\u30ce\u306e\u5230\u9054\u7bc4\u56f2\u3068\u76f8\u4e92\u904b\u7528\u6027\u3092\u62e1\u5927\u3057\u3001\u300ccorrect by construction\u300d\u74b0\u5883\u306e\u6587\u8108\u3067\u3001\u65b0\u3057\u3044\u30a2\u30a4\u30c7\u30a2\u3001\u30b3\u30f3\u30bb\u30d7\u30c8\u3001\u6280\u8853\u958b\u767a\u306e\u63a2\u6c42\u306b\u3064\u306a\u304c\u308b\u65b0\u305f\u306a\u5354\u529b\u306e\u9053\u7b4b\u3092\u4f5c\u308b\u3068\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002 \u4e0b\u8a18\u306e\u8a18\u4e8b\u306fIOG\u30d6\u30ed\u30b0\u306e\u8a18\u4e8b\u300cRuntime Verification &amp; IELE \u2013 from interoperability to universality\u300d\u3092\u7ffb\u8a33\u3057\u305f\u3082\u306e\u3067\u3059\u3002 Runtime Verification\u3068IELE &#8211; \u76f8\u4e92\u904b\u7528\u6027\u304b\u3089\u666e&hellip;","protected":false},"author":1,"featured_media":6313,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[67,21,35,38],"tags":[],"class_list":{"0":"post-6312","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-iog","8":"category-21","9":"category-blog","10":"category-38"},"featured_image_urls":{"full":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/05\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-05-11-1.49.15.png",1604,896,false],"thumbnail":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/05\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-05-11-1.49.15-150x150.png",150,150,true],"medium":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/05\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-05-11-1.49.15-300x168.png",300,168,true],"medium_large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/05\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-05-11-1.49.15-768x429.png",768,429,true],"large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/05\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-05-11-1.49.15-1024x572.png",900,503,true],"1536x1536":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/05\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-05-11-1.49.15-1536x858.png",1536,858,true],"2048x2048":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/05\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-05-11-1.49.15.png",1604,896,false],"dp-widget-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/05\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-05-11-1.49.15-140x96.png",140,96,true],"dp-widget-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/05\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-05-11-1.49.15-280x192.png",280,192,true],"dp-related-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/05\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-05-11-1.49.15-250x154.png",250,154,true],"dp-related-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/05\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-05-11-1.49.15-500x308.png",500,308,true],"dp-archive-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/05\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-05-11-1.49.15-450x251.png",450,251,true],"dp-archive-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2021\/05\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2021-05-11-1.49.15-900x503.png",900,503,true]},"category_list":"<a href=\"https:\/\/sipo.tokyo\/?cat=67\" rel=\"category\">IOG\u30d6\u30ed\u30b0<\/a>, <a href=\"https:\/\/sipo.tokyo\/?cat=21\" rel=\"category\">\u30cb\u30e5\u30fc\u30b9<\/a>, <a href=\"https:\/\/sipo.tokyo\/?cat=35\" rel=\"category\">\u30d6\u30ed\u30b0<\/a>, <a href=\"https:\/\/sipo.tokyo\/?cat=38\" rel=\"category\">\u7ffb\u8a33<\/a>","author_info":{"name":"sition","url":"https:\/\/sipo.tokyo\/?author=1"},"comments_num":"0 comments","_links":{"self":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/6312","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=6312"}],"version-history":[{"count":4,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/6312\/revisions"}],"predecessor-version":[{"id":6328,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/6312\/revisions\/6328"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/media\/6313"}],"wp:attachment":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=6312"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=6312"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=6312"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}