{"id":39241,"date":"2024-11-27T13:24:42","date_gmt":"2024-11-27T04:24:42","guid":{"rendered":"https:\/\/sipo.tokyo\/?p=39241"},"modified":"2024-11-27T13:28:36","modified_gmt":"2024-11-27T04:28:36","slug":"post-39241","status":"publish","type":"post","link":"https:\/\/sipo.tokyo\/?p=39241","title":{"rendered":"IOG\u30d6\u30ed\u30b0\uff1aInput | Output\u306b\u304a\u3051\u308b\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306e\u9069\u7528\uff1a\u5b9f\u4f8b"},"content":{"rendered":"\n<p class=\"deb-block deb-block-7f321f1\">IOG\u30d6\u30ed\u30b0\u8a18\u4e8b\u300c<a href=\"https:\/\/iohk.io\/en\/blog\/posts\/2024\/11\/26\/applying-formal-methods-at-input-output-real-world-examples\/#modal=https:\/\/ucarecdn.com\/b87bb919-bafb-44f4-ae64-f4a79932c296\/\" data-type=\"link\" data-id=\"https:\/\/iohk.io\/en\/blog\/posts\/2024\/11\/26\/applying-formal-methods-at-input-output-real-world-examples\/#modal=https:\/\/ucarecdn.com\/b87bb919-bafb-44f4-ae64-f4a79932c296\/\">Applying formal methods at Input | Output: real-world examples<\/a>\u300d\u3092\u516c\u958b\u3057\u3001Input Output\uff08IO\uff09\u304c\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u6280\u8853\u3001\u7279\u306bCardano\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306b\u304a\u3044\u3066\u3069\u306e\u3088\u3046\u306b\u300c\u5f62\u5f0f\u624b\u6cd5\u300d\u3092\u9069\u7528\u3057\u3066\u3044\u308b\u304b\u3092\u5b9f\u4f8b\u3092\u4ea4\u3048\u3066\u8a73\u3057\u304f\u89e3\u8aac\u3057\u3066\u3044\u307e\u3059\u3002\u5f62\u5f0f\u624b\u6cd5\u3068\u306f\u3001\u6570\u5b66\u7684\u6839\u62e0\u306b\u57fa\u3065\u3044\u305f\u6280\u6cd5\u3092\u7528\u3044\u3066\u30b7\u30b9\u30c6\u30e0\u306e\u6b63\u78ba\u6027\u3092\u8a3c\u660e\u3059\u308b\u30a2\u30d7\u30ed\u30fc\u30c1\u3067\u3001\u30a8\u30e9\u30fc\u304c\u8a31\u3055\u308c\u306a\u3044\u74b0\u5883\u3067\u7279\u306b\u91cd\u8981\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-21231e4\">\u3053\u306e\u8a18\u4e8b\u306f\u3001\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u6280\u8853\u306b\u304a\u3051\u308b\u5f62\u5f0f\u624b\u6cd5\u306e\u4fa1\u5024\u3092\u6df1\u304f\u7406\u89e3\u3057\u3001\u305d\u308c\u304c\u3082\u305f\u3089\u3059\u5b89\u5168\u6027\u3068\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u306e\u5411\u4e0a\u3092\u793a\u3059\u3082\u306e\u3067\u3059\u3002\u7279\u306b\u3001Cardano\u306e\u9ad8\u3044\u6280\u8853\u7684\u57fa\u6e96\u3068\u305d\u306e\u7d99\u7d9a\u7684\u306a\u9032\u5316\u306b\u8208\u5473\u3092\u6301\u3064\u65b9\u3005\u306b\u3068\u3063\u3066\u3001\u975e\u5e38\u306b\u6709\u76ca\u306a\u5185\u5bb9\u3068\u306a\u3063\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-e24e14e\"><strong>\u5f62\u5f0f\u624b\u6cd5\u306e\u610f\u7fa9<\/strong><br>IO\u306f\u5f62\u5f0f\u624b\u6cd5\u3092\u6d3b\u7528\u3057\u3066\u3001\u8a2d\u8a08\u6bb5\u968e\u304b\u3089\u672c\u756a\u30b3\u30fc\u30c9\u306e\u958b\u767a\u307e\u3067\u30b7\u30b9\u30c6\u30e0\u306e\u6b63\u78ba\u6027\u3092\u4fdd\u8a3c\u3057\u3066\u3044\u307e\u3059\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u9ad8\u4fe1\u983c\u6027\u304b\u3064\u5b89\u5168\u306a\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u30bd\u30ea\u30e5\u30fc\u30b7\u30e7\u30f3\u3092\u63d0\u4f9b\u3057\u3001\u6280\u8853\u9769\u65b0\u3092\u4fc3\u9032\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-1ef08d3\"><strong><span class=\"deb-pre--txt-stl b\"><span class=\"deb-pre--txt-size ft25px\">\u5f62\u5f0f\u624b\u6cd5\u306e\u4e3b\u8981\u306a\u5b9f\u88c5\u4f8b<\/span><\/span><\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-e8b7e3f\">1.<strong>\u4ed5\u69d8\u66f8\uff08Specifications\uff09<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-3919132\">\n<li class=\"\">\u30b7\u30b9\u30c6\u30e0\u306e\u52d5\u4f5c\u3084\u7279\u6027\u3092\u660e\u78ba\u306b\u5b9a\u7fa9\u3002<\/li>\n\n\n\n<li class=\"\">\u4f8b\uff1a\u300cADA\u306e\u4fdd\u5b58\u6027\u300d\u3084\u30b9\u30c6\u30fc\u30d6\u30eb\u30b3\u30a4\u30f3\u306e\u30da\u30c3\u30b0\u7dad\u6301\u306a\u3069\u3002<\/li>\n\n\n\n<li class=\"\">IO\u3067\u306f\u4ed5\u69d8\u66f8\u3092\u5b9f\u884c\u53ef\u80fd\u306b\u3057\u3001\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u5b9f\u88c5\u3084\u30c6\u30b9\u30c8\u30aa\u30e9\u30af\u30eb\u3068\u3057\u3066\u5229\u7528\u3002<\/li>\n<\/ul>\n\n\n\n<p class=\"deb-block deb-block-b553327\">2.<strong>\u30c7\u30b8\u30bf\u30eb\u30c4\u30a4\u30f3<\/strong><br>\u5b9f\u30b7\u30b9\u30c6\u30e0\u3068\u540c\u3058\u6319\u52d5\u3092\u518d\u73fe\u3059\u308b\u300c\u30c7\u30b8\u30bf\u30eb\u30c4\u30a4\u30f3\u300d\u3092\u6d3b\u7528\u3057\u3001\u73fe\u5b9f\u7684\u306a\u6761\u4ef6\u4e0b\u3067\u306e\u53b3\u5bc6\u306a\u30b3\u30fc\u30c9\u30c6\u30b9\u30c8\u3092\u5b9f\u65bd\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-0a1a8b2\">3.<strong>\u5f62\u5f0f\u691c\u8a3c\u6e08\u307f\u306e\u672c\u756a\u30b3\u30fc\u30c9<\/strong><br>Agda\u3084Lean\u3068\u3044\u3063\u305f\u5f62\u5f0f\u691c\u8a3c\u30c4\u30fc\u30eb\u3092\u6d3b\u7528\u3057\u3001\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u3084\u53f0\u5e33\u30b3\u30fc\u30c9\u3092\u691c\u8a3c\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-b71ad34\"><strong><span class=\"deb-pre--txt-size ft25px\">Cardano\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3067\u306e\u6d3b\u7528\u4e8b\u4f8b<\/span><\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-94ef4c7\"><strong>Cardano\u53f0\u5e33\u5c64<\/strong><br>Byron\u304b\u3089Conway\u307e\u3067\u9032\u5316\u3057\u305f\u53f0\u5e33\u4ed5\u69d8\u306f\u3001Haskell\u3067\u5b9f\u884c\u53ef\u80fd\u306a\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u5b9f\u88c5\u3068\u3057\u3066\u63d0\u4f9b\u3055\u308c\u3066\u304a\u308a\u3001\u53f0\u5e33\u306e\u300c\u4fa1\u5024\u306e\u4fdd\u5b58\u6027\u300d\u7279\u6027\u3092\u4fdd\u8a3c\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-35f1c96\"><strong>Plutus Core<\/strong><br>\u578b\u4ed8\u304d\u30fb\u578b\u306a\u3057\u306e\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u8a00\u8a9e\u3067\u3042\u308bPlutus Core\u306f\u5f62\u5f0f\u5316\u3055\u308c\u3001\u6700\u9069\u5316\u3082\u5b9f\u65bd\u3002<br>\u73fe\u5728\u300190,000\u4ee5\u4e0a\u306e\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u304c\u7a3c\u50cd\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-e006ac2\"><strong>Cardano\u30cd\u30c3\u30c8\u30ef\u30fc\u30af\u5c64<\/strong><br>\u30cd\u30c3\u30c8\u30ef\u30fc\u30af\u30d7\u30ed\u30c8\u30b3\u30eb\u306fHaskell\u306e\u578b\u30b7\u30b9\u30c6\u30e0\u3092\u6d3b\u7528\u3057\u3066\u6b63\u78ba\u6027\u3092\u4fdd\u8a3c\u3002<br>2,200\u65e5\u4ee5\u4e0a\u306e\u7121\u505c\u6b62\u7a3c\u50cd\u3092\u5b9f\u73fe\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-6349b44\"><strong>Agda2hs<\/strong><br>Agda\u3092\u4f7f\u7528\u3057\u3066\u5f62\u5f0f\u4ed5\u69d8\u3068\u6574\u5408\u6027\u306e\u3042\u308bHaskell\u30b3\u30fc\u30c9\u3092\u751f\u6210\u3002<br>Ouroboros Peras\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3084\u30a6\u30a9\u30ec\u30c3\u30c8\u30b3\u30fc\u30c9\u691c\u8a3c\u306b\u5229\u7528\u3002<\/p>\n\n\n\n<ul class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-c0fa858\"><\/ul>\n\n\n\n<ol class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-2eca9fa\"><\/ol>\n\n\n\n<p class=\"deb-block deb-block-5a9dcbf\">\u91cd\u8981\u306a\u30e1\u30c3\u30bb\u30fc\u30b8<\/p>\n\n\n\n<p class=\"deb-block deb-block-bb92935\">\u5f62\u5f0f\u624b\u6cd5\u306f\u3001\u30b7\u30b9\u30c6\u30e0\u306e\u8a2d\u8a08\u6bb5\u968e\u304b\u3089\u672c\u756a\u74b0\u5883\u307e\u3067\u3001\u305d\u306e\u5b89\u5168\u6027\u3068\u4fe1\u983c\u6027\u3092\u62c5\u4fdd\u3059\u308b\u305f\u3081\u306e\u5f37\u529b\u306a\u30c4\u30fc\u30eb\u3067\u3059\u3002IO\u306f\u3053\u306e\u624b\u6cd5\u3092Cardano\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306b\u6df1\u304f\u7d71\u5408\u3059\u308b\u3053\u3068\u3067\u3001\u6280\u8853\u7684\u8ab2\u984c\u3092\u514b\u670d\u3057\u3064\u3064\u3001\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u6280\u8853\u306e\u767a\u5c55\u306b\u5bc4\u4e0e\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-2a9126a\">\u4ee5\u4e0b\u306fIOG\u30d6\u30ed\u30b0\u8a18\u4e8b\u300c<a href=\"https:\/\/iohk.io\/en\/blog\/posts\/2024\/11\/26\/applying-formal-methods-at-input-output-real-world-examples\/#modal=https:\/\/ucarecdn.com\/b87bb919-bafb-44f4-ae64-f4a79932c296\/\" data-type=\"link\" data-id=\"https:\/\/iohk.io\/en\/blog\/posts\/2024\/11\/26\/applying-formal-methods-at-input-output-real-world-examples\/#modal=https:\/\/ucarecdn.com\/b87bb919-bafb-44f4-ae64-f4a79932c296\/\">Applying formal methods at Input | Output: real-world examples<\/a>\u300d\u3092\u7ffb\u8a33\u3057\u305f\u3082\u306e\u3067\u3059\u3002<a class=\"\" href=\"https:\/\/iohk.io\/en\/blog\/posts\/2024\/11\/26\/applying-formal-methods-at-input-output-real-world-examples\/\"><\/a><\/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=\"#input-outpute381abe3818ae38191e3828be38395e382a9e383bce3839ee383abe383a1e382bde38383e38389e381aee981a9e794a8efbc9ae5ae9fe4be8b-1\">Input | Output\u306b\u304a\u3051\u308b\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306e\u9069\u7528\uff1a\u5b9f\u4f8b<\/a><ul><li><a href=\"#ioe381abe3818ae38191e3828be38395e382a9e383bce3839ee383abe383a1e382bde38383e38389e381aee5ae9fe8a385-2\">IO\u306b\u304a\u3051\u308b\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306e\u5b9f\u88c5<\/a><\/li><li><a href=\"#e38390e383a9e383b3e382b9e381aee58f96e3828ce3819fe382a2e38397e383ade383bce38381-3\">\u30d0\u30e9\u30f3\u30b9\u306e\u53d6\u308c\u305f\u30a2\u30d7\u30ed\u30fc\u30c1<\/a><\/li><li><a href=\"#cardanoe381abe981a9e794a8e38195e3828ce3819fe38395e382a9e383bce3839ee383abe383a1e382bde38383e38389e381aee4be8b-to-cardano-4\">Cardano\u306b\u9069\u7528\u3055\u308c\u305f\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306e\u4f8b to Cardano<\/a><ul><li><a href=\"#cardanoe383ace382b8e383a3e383bce5b1a4-5\">Cardano\u30ec\u30b8\u30e3\u30fc\u5c64<\/a><\/li><li><a href=\"#plutus-core-6\">Plutus Core<\/a><\/li><li><a href=\"#cardanoe3838de38383e38388e383afe383bce382afe5b1a4-7\">Cardano\u30cd\u30c3\u30c8\u30ef\u30fc\u30af\u5c64<\/a><\/li><li><a href=\"#agda2hs-8\">Agda2hs<\/a><\/li><li><a href=\"#plutus-high-assurance-9\">Plutus High Assurance<\/a><\/li><li><a href=\"#ouroboros-peras-10\">Ouroboros Peras<\/a><\/li><li><a href=\"#e69c80e5be8ce381ab-11\">\u6700\u5f8c\u306b<\/a><\/li><\/ul><\/div><h1 class=\"wp-block-heading deb-block deb-block-941b1df\" id=\"input-outpute381abe3818ae38191e3828be38395e382a9e383bce3839ee383abe383a1e382bde38383e38389e381aee981a9e794a8efbc9ae5ae9fe4be8b-1\">Input | Output\u306b\u304a\u3051\u308b\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306e\u9069\u7528\uff1a\u5b9f\u4f8b<\/h1>\n\n\n\n<p class=\"deb-block deb-block-98b5d8a\">Input | Output\u306b\u304a\u3051\u308b\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306e\u9069\u7528\uff1a\u5b9f\u4f8b<br>\u30a8\u30e9\u30fc\u306e\u5f71\u97ff\u304c\u5927\u304d\u3044\u74b0\u5883\u306b\u304a\u3044\u3066\u3001IO\u306f\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u3092\u6d3b\u7528\u3057\u3001\u6570\u5b66\u7684\u306b\u88cf\u4ed8\u3051\u3089\u308c\u305f\u5b89\u5168\u306a\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u30bd\u30ea\u30e5\u30fc\u30b7\u30e7\u30f3\u3092\u63d0\u4f9b\u3057\u3066\u3044\u307e\u3059\u3002IO\u306b\u304a\u3051\u308b\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306b\u95a2\u3059\u308b2\u90e8\u69cb\u6210\u306e\u30d6\u30ed\u30b0\u306e\u7b2c2\u56de\u3067\u306f\u3001\u5b9f\u969b\u306e\u5b9f\u88c5\u4f8b\u306b\u3064\u3044\u3066\u3088\u308a\u6df1\u304f\u6398\u308a\u4e0b\u3052\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-7687a0b\">2024\u5e7411\u670826\u65e5 James Chapman \u8aad\u4e86\u6642\u9593\uff1a8\u5206<\/p>\n\n\n\n<figure class=\"wp-block-image size-full has-custom-border deb-block deb-block-af06315\"><img loading=\"lazy\" decoding=\"async\" width=\"800\" height=\"450\" src=\"https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001.webp\" alt=\"\" class=\"has-border-color has-aaaaaa-border-color wp-image-39242\" srcset=\"https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001.webp 800w, https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001-300x169.webp 300w, https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001-768x432.webp 768w, https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001-450x253.webp 450w\" sizes=\"auto, (max-width: 800px) 100vw, 800px\" \/><\/figure>\n\n\n\n<p class=\"deb-block deb-block-3be0492\"><a href=\"https:\/\/iohk.io\/en\/blog\/posts\/2024\/11\/25\/from-theory-to-implementation-why-formal-methods-in-blockchain-development-matter\/\" data-type=\"link\" data-id=\"https:\/\/iohk.io\/en\/blog\/posts\/2024\/11\/25\/from-theory-to-implementation-why-formal-methods-in-blockchain-development-matter\/\">\u524d\u56de\u306e\u30d6\u30ed\u30b0\u8a18\u4e8b<\/a>\u3067\u306f\u3001\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u3068\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u958b\u767a\u306b\u304a\u3051\u308b\u5f79\u5272\u306b\u3064\u3044\u3066\u8aac\u660e\u3057\u307e\u3057\u305f\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-9a9f52b\">\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306e\u91cd\u8981\u6027\u3092\u8e0f\u307e\u3048\u3001Input | Output\uff08IO\uff09\u306f\u5b9f\u4f8b\u3092\u901a\u3058\u3066\u305d\u306e\u5b9f\u8df5\u7684\u306a\u9069\u7528\u3092\u793a\u3057\u3066\u3044\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u624b\u6cd5\u3092\u958b\u767a\u30d7\u30ed\u30bb\u30b9\u306b\u7d71\u5408\u3059\u308b\u3053\u3068\u3067\u3001IO\u306f\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u6280\u8853\u306b\u304a\u3051\u308b\u30a4\u30ce\u30d9\u30fc\u30b7\u30e7\u30f3\u3092\u63a8\u9032\u3059\u308b\u5805\u7262\u3067\u9ad8\u3044\u4fdd\u8a3c\u306e\u3042\u308b\u30b7\u30b9\u30c6\u30e0\u3092\u5b9f\u73fe\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<h4 class=\"wp-block-heading deb-block deb-block-073deb6\" id=\"ioe381abe3818ae38191e3828be38395e382a9e383bce3839ee383abe383a1e382bde38383e38389e381aee5ae9fe8a385-2\">IO\u306b\u304a\u3051\u308b\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306e\u5b9f\u88c5<\/h4>\n\n\n\n<p class=\"deb-block deb-block-cf12d59\">IO\u306fCardano\u306e\u958b\u767a\u306b\u8ca2\u732e\u3059\u308b\u969b\u3001\u30b7\u30b9\u30c6\u30e0\u306e\u30b3\u30a2\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8\u306e\u6a5f\u80fd\u7684\u304a\u3088\u3073\u975e\u6a5f\u80fd\u7684\u306a\u6b63\u78ba\u6027\u306b\u3064\u3044\u3066\u5f37\u529b\u306a\u4fdd\u8a3c\u3092\u5f97\u308b\u305f\u3081\u306b\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u3092\u4f7f\u7528\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-4ea4b84\">IO\u306e\u6226\u7565\u306b\u306f\u4ee5\u4e0b\u304c\u542b\u307e\u308c\u307e\u3059\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-04412c3\">\n<li class=\"\">\u7814\u7a76\u6bb5\u968e\u304b\u3089\u65e9\u671f\u306b\u95a2\u4e0e\u3057\u3001\u7814\u7a76\u8005\u3068\u5354\u529b\u3057\u3066\u7d50\u679c\u3092\u5f62\u5f0f\u5316\u3059\u308b<\/li>\n\n\n\n<li class=\"\">\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3068\u3068\u3082\u306b\u6210\u9577\u3057\u5909\u5316\u3067\u304d\u308b\u5f62\u5f0f\u7684\u306a\u6210\u679c\u7269\uff08\u4ed5\u69d8\u3001\u30e2\u30c7\u30eb\u3001\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3001\u672c\u756a\u5b9f\u88c5\uff09\u3092\u958b\u767a\u3059\u308b<\/li>\n\n\n\n<li class=\"\">\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306b\u5fdc\u3058\u3066\u5f62\u5f0f\u5316\u306e\u30ec\u30d9\u30eb\u3092\u8abf\u6574\u3059\u308b<\/li>\n\n\n\n<li class=\"\">\u7d99\u7d9a\u7684\u30a4\u30f3\u30c6\u30b0\u30ec\u30fc\u30b7\u30e7\u30f3\uff08CI\uff09\u3068\u30c6\u30b9\u30c8\u3092\u901a\u3058\u3066\u958b\u767a\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u306b\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u3092\u7d44\u307f\u8fbc\u3080<\/li>\n\n\n\n<li class=\"\">\u958b\u767a\u5f8c\u671f\u6bb5\u968e\u4ee5\u964d\u3082\u95a2\u4e0e\u3092\u7d99\u7d9a\u3059\u308b<\/li>\n<\/ul>\n\n\n\n<p class=\"deb-block deb-block-51e7554\">\u4e00\u822c\u7684\u306b\u4f7f\u7528\u3055\u308c\u308b3\u3064\u306e\u624b\u6cd5\u304c\u3042\u308a\u307e\u3059\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-4fd8101\">\n<li class=\"\">\u4ed5\u69d8 <\/li>\n\n\n\n<li class=\"\">\u30c7\u30b8\u30bf\u30eb\u30c4\u30a4\u30f3\/\u5f62\u5f0f\u7684\u306b\u691c\u8a3c\u3055\u308c\u305f\u30e2\u30c7\u30eb <\/li>\n\n\n\n<li class=\"\">\u5f62\u5f0f\u7684\u306b\u691c\u8a3c\u3055\u308c\u305f\u672c\u756a\u30b3\u30fc\u30c9<\/li>\n<\/ol>\n\n\n\n<p class=\"deb-block deb-block-3160174\"><strong>\u4ed5\u69d8<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-c214661\"><strong>\u4ed5\u69d8\u3092\u4f5c\u6210\u3059\u308b<\/strong>\u3053\u3068\u306f\u4e0d\u53ef\u6b20\u3067\u3059\u3002\u30b7\u30b9\u30c6\u30e0\u304c\u3069\u306e\u3088\u3046\u306b\u6a5f\u80fd\u3059\u308b\u3053\u3068\u3092\u610f\u56f3\u3057\u3066\u3044\u308b\u304b\u306e\u6982\u8981\u3092\u63d0\u4f9b\u3059\u308b\u305f\u3081\u3067\u3059\u3002\u30b7\u30b9\u30c6\u30e0\u304c\u3069\u306e\u3088\u3046\u306b\u52d5\u4f5c\u3059\u308b\u3079\u304d\u304b\u3092\u6307\u5b9a\u3057\u306a\u3051\u308c\u3070\u3001\u671f\u5f85\u901a\u308a\u306b\u52d5\u4f5c\u3057\u3066\u3044\u308b\u304b\u3092\u30c6\u30b9\u30c8\u3059\u308b\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\u3002\u4ed5\u69d8\u306f\u30b7\u30b9\u30c6\u30e0\u306e\u8a2d\u8a08\u3068\u3001\u6e80\u305f\u3059\u3079\u304d\u4e3b\u8981\u306a\u7279\u6027\u3068\u8981\u4ef6\u306b\u5bfe\u5fdc\u3057\u307e\u3059\u3002\u4f8b\u3048\u3070\u3001\u30b9\u30c6\u30fc\u30d6\u30eb\u30b3\u30a4\u30f3\u30b7\u30b9\u30c6\u30e0\u3067\u306f\u3001\u30da\u30c3\u30b0\u306e\u7dad\u6301\u304c\u91cd\u8981\u306a\u7279\u6027\u3068\u306a\u308a\u307e\u3059\u3002\u540c\u6642\u306b\u3001Cardano\u30ec\u30b8\u30e3\u30fc\u3067\u306f\u3001\u901a\u5e38\u306e\u30b7\u30b9\u30c6\u30e0\u904b\u7528\u4e2d\u306bada\u304c\u8aa4\u3063\u3066\u4f5c\u6210\u307e\u305f\u306f\u7834\u58ca\u3055\u308c\u306a\u3044\u3053\u3068\u304c\u91cd\u8981\u3067\u3059 &#8211; \u3053\u308c\u306f\u300cada\u306e\u4fdd\u5b58\u300d\u3068\u3057\u3066\u77e5\u3089\u308c\u308b\u7279\u6027\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-d508608\">IO\u306e\u4ed5\u69d8\u306f\u5358\u306a\u308b\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u3092\u8d85\u3048\u3066\u3044\u307e\u3059 &#8211; \u305d\u308c\u3089\u306f\u5b9f\u884c\u53ef\u80fd\u3067\u3001\u672c\u756a\u5b9f\u88c5\u3092\u691c\u8a3c\u3059\u308b\u305f\u3081\u306e\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u5b9f\u88c5\u3068\u30c6\u30b9\u30c8\u30aa\u30e9\u30af\u30eb\u3068\u3057\u3066\u6a5f\u80fd\u3057\u307e\u3059\u3002IO\u306e\u30a8\u30f3\u30b8\u30cb\u30a2\u306f\u3001ada\u306e\u4fdd\u5b58\u7279\u6027\u306a\u3069\u306e\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u5b9f\u88c5\u306e\u91cd\u8981\u306a\u7279\u6027\u3082\u8a3c\u660e\u3057\u307e\u3059\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u30aa\u30ea\u30b8\u30ca\u30eb\u306e\u8a2d\u8a08\u306b\u5fe0\u5b9f\u3067\u3001\u57fa\u672c\u7684\u306a\u7279\u6027\u3092\u6349\u3048\u305f\u3001\u5b9f\u969b\u306e\u30b7\u30b9\u30c6\u30e0\u3084\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8\u306e\u73fe\u5b9f\u7684\u306a\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u30d0\u30fc\u30b8\u30e7\u30f3\u304c\u63d0\u4f9b\u3055\u308c\u307e\u3059\u3002\u307e\u305f\u3001\u8a2d\u8a08\u7279\u6027\u304c\u30b3\u30fc\u30c9\u306e\u4fdd\u8a3c\u306b\u5909\u63db\u3055\u308c\u308b\u3053\u3068\u3082\u78ba\u4fdd\u3055\u308c\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-72e7f48\"><strong>\u30c7\u30b8\u30bf\u30eb\u30c4\u30a4\u30f3<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-629cd37\"><strong>\u30c7\u30b8\u30bf\u30eb\u30c4\u30a4\u30f3<\/strong>\u3068\u547c\u3070\u308c\u308b\u3053\u3068\u304c\u591a\u3044\u3053\u306e\u30bb\u30c3\u30c8\u30a2\u30c3\u30d7\u306f\u3001\u5b9f\u969b\u306e\u30b7\u30b9\u30c6\u30e0\u306e\u30af\u30ed\u30fc\u30f3\u306e\u3088\u3046\u306b\u6a5f\u80fd\u3057\u3001\u540c\u4e00\u306e\u52d5\u4f5c\u3092\u3059\u308b\u3088\u3046\u306b\u8a2d\u8a08\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u3053\u308c\u306f\u3001IO\u306e\u30a8\u30f3\u30b8\u30cb\u30a2\u304cCardano\u30ce\u30fc\u30c9\u3067\u5e83\u7bc4\u306b\u4f7f\u7528\u3057\u3066\u3044\u308b\u9069\u5408\u6027\u30c6\u30b9\u30c8\u306e\u6982\u5ff5\u3092\u6349\u3048\u3066\u304a\u308a\u3001\u73fe\u5b9f\u7684\u306a\u300c\u5b9f\u9a13\u5ba4\u6761\u4ef6\u300d\u3067\u30b3\u30fc\u30c9\u3092\u53b3\u5bc6\u306b\u30c6\u30b9\u30c8\u3059\u308b\u3053\u3068\u3092\u53ef\u80fd\u306b\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-e45e1eb\"><strong>\u5f62\u5f0f\u7684\u306b\u691c\u8a3c\u3055\u308c\u305f\u672c\u756a\u30b3\u30fc\u30c9<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-9417fe5\">\u6b21\u306e\u30b9\u30c6\u30c3\u30d7\u306f\u3001\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u5b9f\u88c5\u3092\u672c\u756a\u3067\u4f7f\u7528\u3059\u308b\u3053\u3068\u3001\u3042\u308b\u3044\u306f\u3080\u3057\u308d<strong>\u672c\u756a\u30b3\u30fc\u30c9\u3092\u691c\u8a3c\u3059\u308b<\/strong>\u3053\u3068\u3067\u3059\u3002\u3053\u308c\u306b\u306f\u3001\u6700\u9ad8\u30ec\u30d9\u30eb\u306e\u4fdd\u8a3c\u3092\u63d0\u4f9b\u3059\u308b\u3001\u5b8c\u5168\u306b\u8a73\u7d30\u5316\u3055\u308c\u305f\u9ad8\u6027\u80fd\u306a\u691c\u8a3c\u6e08\u307f\u30b3\u30fc\u30c9\u304c\u5fc5\u8981\u3067\u3059\u3002\u3053\u306e\u30a2\u30d7\u30ed\u30fc\u30c1\u306f\u3001Lean\u306e\u5b9a\u7406\u8a3c\u660e\u5668\u3092\u6d3b\u7528\u3057\u3066\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u30b3\u30fc\u30c9\u3092\u691c\u8a3c\u3059\u308bPlutus High Assurance\u306a\u3069\u306e\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3067\u7a4d\u6975\u7684\u306b\u8ffd\u6c42\u3055\u308c\u3066\u3044\u307e\u3059\u3002Plutus Core\u306f\u65e2\u306b\u672c\u756a\u30b3\u30fc\u30c9\u306e\u691c\u8a3c\u306e\u6069\u6075\u3092\u53d7\u3051\u3066\u304a\u308a\u3001Agda\u5b9a\u7406\u8a3c\u660e\u5668\u304b\u3089\u751f\u6210\u3055\u308c\u305f\u30b3\u30fc\u30c9\u304c\u672c\u756a\u30c4\u30fc\u30eb\u30c1\u30a7\u30fc\u30f3\u3067\u4f7f\u7528\u3055\u308c\u3066\u3044\u307e\u3059\u3002Cardano\u8ca1\u56e3\u3082\u3001\u307e\u3060\u30c7\u30d7\u30ed\u30a4\u3055\u308c\u3066\u3044\u306a\u3044\u30a6\u30a9\u30ec\u30c3\u30c8\u306e\u672c\u756a\u30b3\u30fc\u30c9\u3092\u691c\u8a3c\u3059\u308b\u305f\u3081\u306bagda2hs\u3092\u4f7f\u7528\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-829df24\">Chrome\u95a2\u9023\u306e\u30d6\u30e9\u30a6\u30b6\u3092\u4f7f\u7528\u3057\u3066\u3053\u306e\u8a18\u4e8b\u3092\u8aad\u3093\u3067\u3044\u308b\u5834\u5408\u3001\u304a\u305d\u3089\u304f\u691c\u8a3c\u6e08\u307f\u306e\u6697\u53f7\u30b3\u30fc\u30c9\u3092\u4f7f\u7528\u3057\u3066\u3044\u308b\u3053\u3068\u306b\u306a\u308a\u307e\u3059 &#8211; \u3053\u308c\u306fIO\u3082\u8abf\u67fb\u3057\u3066\u3044\u308b\u5206\u91ce\u3067\u3059\u3002<\/p>\n\n\n\n<h4 class=\"wp-block-heading deb-block deb-block-418a0d4\" id=\"e38390e383a9e383b3e382b9e381aee58f96e3828ce3819fe382a2e38397e383ade383bce38381-3\">\u30d0\u30e9\u30f3\u30b9\u306e\u53d6\u308c\u305f\u30a2\u30d7\u30ed\u30fc\u30c1<\/h4>\n\n\n\n<p class=\"deb-block deb-block-0d99d86\">\u7570\u306a\u308b\u30b7\u30b9\u30c6\u30e0\u3084\u7570\u306a\u308b\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8\u3067\u3069\u306e\u7a0b\u5ea6\u7cbe\u5bc6\u306a\u624b\u6cd5\u3092\u4f7f\u7528\u3059\u3079\u304d\u304b\u306b\u3064\u3044\u3066\u306f\u3001\u30d0\u30e9\u30f3\u30b9\u3092\u53d6\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u3053\u308c\u306f\u3001\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8\u306e\u91cd\u8981\u6027\u3001\u5931\u6557\u3057\u305f\u5834\u5408\u306e\u7d50\u679c\u3001\u304a\u3088\u3073\u30c9\u30e1\u30a4\u30f3\u304c\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306b\u3069\u306e\u7a0b\u5ea6\u9069\u3057\u3066\u3044\u308b\u304b\u306b\u3088\u3063\u3066\u7570\u306a\u308a\u307e\u3059\u3002\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3054\u3068\u306b\u7570\u306a\u308a\u307e\u3059\u3002\u5e78\u3044\u306a\u3053\u3068\u306b\u3001\u30b9\u30bf\u30f3\u30c9\u30a2\u30ed\u30f3\u306e\u4ed5\u69d8\u3001\u30d7\u30ed\u30d1\u30c6\u30a3\u30d9\u30fc\u30b9\u306e\u30c6\u30b9\u30c8\u3001\u30e2\u30c7\u30eb\u691c\u67fb\u3001\u9759\u7684\u89e3\u6790\u3001\u5b9a\u7406\u8a3c\u660e\u306e\u305f\u3081\u306e\u578b\u3001\u5f62\u5f0f\u7684\u306b\u691c\u8a3c\u3055\u308c\u305f\u30b3\u30fc\u30c9\u306a\u3069\u3001\u69d8\u3005\u306a\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306e\u30c4\u30fc\u30eb\u3068\u65b9\u6cd5\u8ad6\u304c\u5229\u7528\u53ef\u80fd\u3067\u3059\u3002\u76ee\u6a19\u306f\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u30fc\u304c\u30d7\u30ed\u30b0\u30e9\u30e0\u3001\u305d\u306e\u8981\u4ef6\u3001\u4e0d\u5909\u6761\u4ef6\u3001\u4fdd\u8a3c\u3092\u5b8c\u5168\u306b\u5b9a\u7fa9\u3057\u3001\u305d\u308c\u3089\u3059\u3079\u3066\u3092\u6a5f\u68b0\u7684\u306b\u30c1\u30a7\u30c3\u30af\u3067\u304d\u308b\u3088\u3046\u306b\u3059\u308b\u3053\u3068\u3067\u3059\u3002\u5f62\u5f0f\u5316\u306e\u30ec\u30d9\u30eb\u306f\u3001\u5fc5\u8981\u6027\u3068\u9069\u7528\u53ef\u80fd\u6027\u306b\u57fa\u3065\u3044\u3066\u8abf\u6574\u3055\u308c\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-506205a\">\u4ee5\u4e0b\u3067\u3044\u304f\u3064\u304b\u306e\u4f8b\u3092\u898b\u3066\u307f\u307e\u3057\u3087\u3046\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image has-custom-border deb-block deb-block-ed4b49b\"><img decoding=\"async\" src=\"https:\/\/ucarecdn.com\/acf296e3-43c9-4743-af4c-a075168b007d\/\" alt=\"\" class=\"has-border-color has-aaaaaa-border-color\"\/><\/figure>\n\n\n\n<p class=\"deb-block deb-block-b5263c0\">[\u56f31]\u306f\u3001\u30d6\u30ed\u30c3\u30af\u306e\u30b5\u30a4\u30ba\u304c\u30a4\u30f3\u30bf\u30fc\u30cd\u30c3\u30c8\u4e0a\u3067\u306e\u8ee2\u9001\u9045\u5ef6\u306b\u3069\u306e\u3088\u3046\u306b\u5f71\u97ff\u3059\u308b\u304b\u3092\u793a\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-0cd3a7c\">\u4e0a\u8a18\u306e\u56f3\u306f\u3001\u30d6\u30ed\u30c3\u30af\u30b5\u30a4\u30ba\u304c\u30a4\u30f3\u30bf\u30fc\u30cd\u30c3\u30c8\u4e0a\u3067\u306e\u8ee2\u9001\u9045\u5ef6\u306b\u3069\u306e\u3088\u3046\u306b\u5f71\u97ff\u3059\u308b\u304b\u3092\u793a\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-09f01f5\">\u4ee5\u4e0b\u306e\u53f0\u5e33\u30eb\u30fc\u30eb\u306e\u4f8b\u306f\u3001\u30c8\u30e9\u30f3\u30b6\u30af\u30b7\u30e7\u30f3\u304c\u30d0\u30e9\u30f3\u30b9\u3057\u3066\u3044\u308b\u304b\u3001\u5165\u529b\u304c\u672a\u4f7f\u7528\u3067\u3042\u308b\u304b\u306a\u3069\u3092\u78ba\u8a8d\u3059\u308b\u3082\u306e\u3067\u3059\u3002\u3053\u306e\u30eb\u30fc\u30eb\u306fAgda\u3067\u5f62\u5f0f\u5316\u3055\u308c\u3066\u304a\u308a\u3001\u6574\u5408\u6027\u30c6\u30b9\u30c8\u306e\u305f\u3081\u306e\u53c2\u7167\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u304a\u3088\u3073\u53c2\u7167\u5b9f\u88c5\u3068\u3057\u3066\u6a5f\u80fd\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image has-custom-border deb-block deb-block-7b4eea0\"><img decoding=\"async\" src=\"https:\/\/ucarecdn.com\/a66ab825-dd70-4262-9bf7-fa0b71cb3396\/\" alt=\"\" class=\"has-border-color has-aaaaaa-border-color\"\/><\/figure>\n\n\n\n<p class=\"deb-block deb-block-22a6397\">[\u56f32]\u306e\u30ec\u30b8\u30e3\u30fc\u30eb\u30fc\u30eb\u306e\u4f8b\u306f\u3001\u30c8\u30e9\u30f3\u30b6\u30af\u30b7\u30e7\u30f3\u304c\u6b8b\u9ad8\u3092\u4fdd\u3061\u3001\u5165\u529b\u304c\u672a\u4f7f\u7528\u3067\u3042\u308b\u3053\u3068\u306a\u3069\u3092\u30c1\u30a7\u30c3\u30af\u3057\u307e\u3059\u3002\u3053\u306e\u30eb\u30fc\u30eb\u306fAgda\u3067\u5f62\u5f0f\u5316\u3055\u308c\u3066\u304a\u308a\u3001\u9069\u5408\u6027\u30c6\u30b9\u30c8\u306e\u305f\u3081\u306e\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u304a\u3088\u3073\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u5b9f\u88c5\u3068\u3057\u3066\u6a5f\u80fd\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image has-custom-border deb-block deb-block-f04b877\"><img decoding=\"async\" src=\"https:\/\/ucarecdn.com\/1afb38c8-deab-4f90-95ff-04d73aa16ec2\/\" alt=\"\" class=\"has-border-color has-aaaaaa-border-color\"\/><\/figure>\n\n\n\n<p class=\"deb-block deb-block-46bdc8d\">[\u56f33]\u306e\u6a5f\u68b0\u7684\u306b\u691c\u8a3c\u3055\u308c\u305f\u5b9a\u7406\u306f\u3001\u30ec\u30b8\u30e3\u30fc\u304c\u4fa1\u5024\u306e\u4fdd\u5b58\u3092\u6e80\u305f\u3059\u3053\u3068\u3092\u793a\u3057\u3066\u3044\u307e\u3059\u3002\u3053\u308c\u306f\u3001\u30c8\u30e9\u30f3\u30b6\u30af\u30b7\u30e7\u30f3\u304c\u51e6\u7406\u3055\u308c\u308b\u524d\u5f8c\u3067\u30b7\u30b9\u30c6\u30e0\u5185\u306eada\u306e\u7dcf\u91cf\u304c\u540c\u3058\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-bf30e13\">\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306f\u6025\u901f\u306b\u9032\u5316\u3059\u308b\u5206\u91ce\u3067\u3042\u308b\u3053\u3068\u306b\u6ce8\u76ee\u3059\u308b\u4fa1\u5024\u304c\u3042\u308a\u307e\u3059\u3002\u6628\u65e5\u306f\u7279\u7570\u3060\u3063\u305f\u3082\u306e\u304c\u3001\u4eca\u65e5\u3067\u306f\u4e00\u822c\u7684\u306b\u306a\u3063\u3066\u3044\u307e\u3059\u3002\u53ef\u80fd\u306a\u9650\u308a\u3001\u6642\u9593\u3092\u7bc0\u7d04\u3057\u3001\u53ef\u80fd\u306a\u9650\u308a\u5f37\u529b\u306a\u4fdd\u8a3c\u3092\u78ba\u4fdd\u3059\u308b\u305f\u3081\u306b\u3001\u81ea\u52d5\u5316\u3055\u308c\u305f\u65b9\u6cd5\u3068\u30c4\u30fc\u30eb\u306e\u30b5\u30dd\u30fc\u30c8\u3092\u4f7f\u7528\u3059\u308b\u3053\u3068\u304c\u4e0d\u53ef\u6b20\u3067\u3059\u3002<\/p>\n\n\n\n<h4 class=\"wp-block-heading deb-block deb-block-f038897\" id=\"cardanoe381abe981a9e794a8e38195e3828ce3819fe38395e382a9e383bce3839ee383abe383a1e382bde38383e38389e381aee4be8b-to-cardano-4\">Cardano\u306b\u9069\u7528\u3055\u308c\u305f\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306e\u4f8b to Cardano<\/h4>\n\n\n\n<h5 class=\"wp-block-heading deb-block deb-block-79d8f5a\" id=\"cardanoe383ace382b8e383a3e383bce5b1a4-5\">Cardano\u30ec\u30b8\u30e3\u30fc\u5c64<\/h5>\n\n\n\n<p class=\"deb-block deb-block-bfe6228\">Cardano\u30ec\u30b8\u30e3\u30fc\u306e\u4ed5\u69d8\u306f\u3001Byron\u306e\u305f\u3081\u306e\u30ec\u30c8\u30ed\u30b9\u30da\u30af\u30c6\u30a3\u30d6\u306aLaTeX\u4ed5\u69d8\u304b\u3089\u59cb\u307e\u308a\u3001Shelley\u958b\u767a\u4ee5\u964d\u3068\u4e26\u884c\u3057\u3066\u9032\u5316\u3057\u3066\u304d\u307e\u3057\u305f\u3002Conway \u30ec\u30b8\u30e3\u30fc\u6642\u4ee3\u3067\u306f\u3001Agda\u4ed5\u69d8\u304c\u4f7f\u7528\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306f\u3001\u30ec\u30b8\u30e3\u30fc\u306e\u91cd\u8981\u306a\u7279\u6027\u3001\u7279\u306b\u300c\u4fa1\u5024\u306e\u4fdd\u5b58\u300d\u3092\u8a3c\u660e\u3059\u308b\u306e\u306b\u5f79\u7acb\u3061\u307e\u3059\u3002\u3053\u308c\u306f\u3001\u30ec\u30b8\u30e3\u30fc\u306e\u72b6\u614b\u304c\u65b0\u3057\u3044\u30d6\u30ed\u30c3\u30af\u3067\u66f4\u65b0\u3055\u308c\u308b\u969b\u306bada\u304c\u8aa4\u3063\u3066\u4f5c\u6210\u3055\u308c\u305f\u308a\u7834\u58ca\u3055\u308c\u305f\u308a\u3057\u306a\u3044\u3053\u3068\u3092\u4fdd\u8a3c\u3057\u307e\u3059\u3002\u4ed5\u69d8\u306f\u8aad\u307f\u53d6\u308a\u7528\u306ePDF\u3068\u5b9f\u884c\u7528\u306eHaskell\u306b\u30b3\u30f3\u30d1\u30a4\u30eb\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u306f\u3001\u672c\u756a\u5b9f\u88c5\u306b\u5bfe\u3059\u308b\u9069\u5408\u6027\u30c6\u30b9\u30c8\u306e\u305f\u3081\u306e\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u5b9f\u88c5\u3068\u3057\u3066\u6a5f\u80fd\u3057\u307e\u3059\u3002\u73fe\u5728\u307e\u3067\u3001\u3053\u306e\u30d7\u30ed\u30bb\u30b9\u3067\u5931\u6557\u306f\u767a\u751f\u3057\u3066\u3044\u307e\u305b\u3093\u3002<\/p>\n\n\n\n<h5 class=\"wp-block-heading deb-block deb-block-b921ef2\" id=\"plutus-core-6\">Plutus Core<\/h5>\n\n\n\n<p class=\"deb-block deb-block-0ddf23d\">\u578b\u4ed8\u304d\u304a\u3088\u3073\u578b\u306a\u3057Plutus Core\u306e\u5f62\u5f0f\u5316\u304c\u3042\u308a\u3001\u3053\u308c\u306f\u4ed5\u69d8\u3068\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u5b9f\u88c5\u3068\u3057\u3066\u6a5f\u80fd\u3057\u307e\u3059\u3002\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306e\u30a8\u30f3\u30b8\u30cb\u30a2\u306f\u3001\u578b\u306e\u4fdd\u5b58\u3068\u9032\u884c\u306e\u7279\u6027\u3092\u8a3c\u660e\u3057\u3001\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u306e\u5b9f\u884c\u304c\u505c\u6b62\u3057\u306a\u3044\u3053\u3068\u3001\u304a\u3088\u3073\u578b\u306e\u6d88\u53bb\u304c\u52d5\u4f5c\u306b\u5f71\u97ff\u3092\u4e0e\u3048\u306a\u3044\u3053\u3068\u3092\u4fdd\u8a3c\u3057\u307e\u3059\u3002\u578b\u306a\u3057Plutus Core\u306e\u4e3b\u8981\u306a\u6700\u9069\u5316\u3082\u691c\u8a3c\u3055\u308c\u3001\u7d50\u679c\u306e\u30b3\u30fc\u30c9\u306f\u672c\u756a\u30b3\u30f3\u30d1\u30a4\u30e9\u306b\u7d71\u5408\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u306f\u7279\u306b\u3001\u578b\u30b7\u30b9\u30c6\u30e0\u304c\u30b3\u30f3\u30d1\u30a4\u30e9\u958b\u767a\u8005\u306b\u9650\u5b9a\u7684\u306a\u30b5\u30dd\u30fc\u30c8\u3057\u304b\u63d0\u4f9b\u3057\u306a\u3044\u9818\u57df\u3067\u91cd\u8981\u3067\u3059\u3002\u73fe\u5728\u3001Cardano\u306f90,000\u4ee5\u4e0a\u306e\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u3001160,000\u306e\u30cd\u30a4\u30c6\u30a3\u30d6\u30a2\u30bb\u30c3\u30c8\u30dd\u30ea\u30b7\u30fc\u3001700m\u306eada\uff08TVL\uff09\u3092\u30db\u30b9\u30c8\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-7c4fabd\">[\u56f34]\u306f\u3001\u578b\u306a\u3057Plutus Core\u306e\u672c\u8cea\u7684\u306b\u6574\u7406\u3055\u308c\u305f\u5236\u5fa1\u3001\u74b0\u5883\u3001\u7d99\u7d9a\uff08CEK\uff09\u30de\u30b7\u30f3\u306e\u5185\u90e8\u69cb\u9020\u3092\u793a\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image has-custom-border deb-block deb-block-15390f7\"><img decoding=\"async\" src=\"https:\/\/ucarecdn.com\/98e56995-ab8f-470d-ac41-50d7b8a01b7c\/\" alt=\"\" class=\"has-border-color has-aaaaaa-border-color\"\/><\/figure>\n\n\n\n<p class=\"deb-block deb-block-03c7b3d\">Figure 4. Plutus Core CEK machine<\/p>\n\n\n\n<h5 class=\"wp-block-heading deb-block deb-block-9b6eb20\" id=\"cardanoe3838de38383e38388e383afe383bce382afe5b1a4-7\">Cardano\u30cd\u30c3\u30c8\u30ef\u30fc\u30af\u5c64<\/h5>\n\n\n\n<p class=\"deb-block deb-block-b934bbb\">IO\u306f\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u30e2\u30c7\u30ea\u30f3\u30b0\u3092\u4f7f\u7528\u3057\u3066\u3001\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u306e\u7bc4\u56f2\u3092\u6c7a\u5b9a\u3057\u3001Cardano\u30cd\u30c3\u30c8\u30ef\u30fc\u30af\u30d1\u30e9\u30e1\u30fc\u30bf\u3092\u8a2d\u5b9a\u3057\u307e\u3059\u3002\u578b\u4ed8\u304d\u30d7\u30ed\u30c8\u30b3\u30eb\u306f\u3001\u5b9f\u88c5\u306b\u304a\u3051\u308b\u6b63\u78ba\u306a\u30d7\u30ed\u30c8\u30b3\u30eb\u9075\u5b88\u3092\u4fdd\u8a3c\u3057\u3001Haskell\u306e\u578b\u30b7\u30b9\u30c6\u30e0\u306b\u3088\u3063\u3066\u4fdd\u8a3c\u304c\u63d0\u4f9b\u3055\u308c\u308b\u305f\u3081\u3001\u8ffd\u52a0\u306e\u8a3c\u660e\u306f\u5fc5\u8981\u3042\u308a\u307e\u305b\u3093\u3002\u30cd\u30c3\u30c8\u30ef\u30fc\u30af\u5c64\u306f2,200\u65e5\u4ee5\u4e0a\u306e\u4e2d\u65ad\u306e\u306a\u3044\u30a2\u30c3\u30d7\u30bf\u30a4\u30e0\u3092\u7dad\u6301\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<h5 class=\"wp-block-heading deb-block deb-block-ed5c4fb\" id=\"agda2hs-8\">Agda2hs<\/h5>\n\n\n\n<p class=\"deb-block deb-block-e303a91\">IO\u306e\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u30c1\u30fc\u30e0\u3001\u30c7\u30eb\u30d5\u30c8\u5de5\u79d1\u5927\u5b66\u3001\u30a8\u30c7\u30a3\u30f3\u30d0\u30e9\u5927\u5b66\u3001\u30c1\u30e3\u30eb\u30de\u30fc\u30b9\u5de5\u79d1\u5927\u5b66\u306e\u7814\u7a76\u8005\u3068\u306e\u5171\u540c\u3067\u3001\u691c\u8a3c\u6e08\u307fHaskell\u30b3\u30fc\u30c9\u3092\u66f8\u304f\u305f\u3081\u306eDSL\u3092\u4f5c\u6210\u3057\u3001The Haskell Symposium 2022\u3067\u767a\u8868\u3057\u307e\u3057\u305f\u3002\u3053\u306e\u30c4\u30fc\u30eb\u306fPlutus\u306e\u30c6\u30b9\u30c8\u30b8\u30a7\u30cd\u30ec\u30fc\u30bf\u306e\u691c\u8a3c\u306b\u4f7f\u7528\u3055\u308c\u3066\u304a\u308a\u3001\u4e00\u90e8\u306e\u7279\u6027\u306f\u30c6\u30b9\u30c8\u3059\u308b\u3088\u308a\u3082\u8a3c\u660e\u3059\u308b\u65b9\u304c\u5bb9\u6613\u3067\u3059\u3002\u3053\u306e\u30c4\u30fc\u30eb\u306fOuroboros Peras\u3067\u3082\u4f7f\u7528\u3055\u308c\u3001\u5f62\u5f0f\u7684\u306a\u4ed5\u69d8\u306b\u5bfe\u3057\u3066\u5065\u5168\u6027\u304c\u691c\u8a3c\u3055\u308c\u305f\u691c\u8a3c\u6e08\u307fHaskell\u30c6\u30b9\u30c8\u30e2\u30c7\u30eb\u3092\u5b9a\u7fa9\u3057\u307e\u3059\u3002\u3055\u3089\u306b\u3001\u3053\u306e\u30c4\u30fc\u30eb\u306fCardano\u8ca1\u56e3\u304c\u30a6\u30a9\u30ec\u30c3\u30c8\u30b3\u30fc\u30c9\u3092\u691c\u8a3c\u3059\u308b\u305f\u3081\u306b\u4f7f\u7528\u3057\u3066\u304a\u308a\u3001IO\u306e\u30a8\u30f3\u30b8\u30cb\u30a2\u306fAgda\u306eRust\u30d0\u30c3\u30af\u30a8\u30f3\u30c9\u3082\u69cb\u7bc9\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-8bf824f\">[\u56f35]\u306f\u3001agda2hs\u306e\u691c\u8a3c\u6e08\u307f\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u4f8b\u3092\u793a\u3057\u3066\u3044\u307e\u3059\u3002\u5de6\u5074\u306b\u306f\u3001\u6728\u306e\u4e0d\u5909\u6761\u4ef6\u3092\u7dad\u6301\u3059\u308b\u3053\u3068\u304c\u4fdd\u8a3c\u3055\u308c\u305f\u633f\u5165\u3068\u4e8c\u5206\u63a2\u7d22\u6728\u306e\u6ce8\u91c8\u4ed8\u304d\u30b3\u30fc\u30c9\u304c\u8868\u793a\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u3053\u306e\u5834\u5408\u3001\u7279\u6027\u306f\u672c\u8cea\u7684\u306b\u4fdd\u8a3c\u3055\u308c\u3066\u304a\u308a\u3001\u8ffd\u52a0\u306e\u8a3c\u660e\u306f\u5fc5\u8981\u3042\u308a\u307e\u305b\u3093\u3002\u53f3\u5074\u306b\u306f\u3001\u6ce8\u91c8\u304c\u524a\u9664\u3055\u308c\u305f\u5f8c\u306e\u751f\u6210\u3055\u308c\u305fHaskell\u30b3\u30fc\u30c9\u304c\u8868\u793a\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image has-custom-border deb-block deb-block-7d37b8a\"><img decoding=\"async\" src=\"https:\/\/ucarecdn.com\/a41f1926-2430-4531-b857-4ac97e923df3\/\" alt=\"\" class=\"has-border-color has-aaaaaa-border-color\"\/><\/figure>\n\n\n\n<p class=\"deb-block deb-block-2a0d859\">Figure 5. Example of a verified Haskell program in agda2hs<\/p>\n\n\n\n<h5 class=\"wp-block-heading deb-block deb-block-6d8ccfa\" id=\"plutus-high-assurance-9\">Plutus High Assurance<\/h5>\n\n\n\n<p class=\"deb-block deb-block-524026d\">Plutus High Assurance\u3067\u306f\u3001\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u30c1\u30fc\u30e0\u306fLean\u3067\u30c4\u30fc\u30eb\u3092\u958b\u767a\u3057\u3066\u304a\u308a\u3001\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u958b\u767a\u8005\u304c1\u56de\u306e\u30af\u30ea\u30c3\u30af\u3067\u7279\u5b9a\u306e\u7a2e\u985e\u306e\u554f\u984c\u3092\u81ea\u52d5\u7684\u306b\u6392\u9664\u3057\u3001\u5b9f\u969b\u306e\u30b3\u30fc\u30c9\u3067\u76f4\u63a5\u30ab\u30b9\u30bf\u30e0\u7279\u6027\u3092\u8a3c\u660e\u3067\u304d\u308b\u3088\u3046\u306b\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<h5 class=\"wp-block-heading deb-block deb-block-ffbbd5c\" id=\"ouroboros-peras-10\">Ouroboros Peras<\/h5>\n\n\n\n<p class=\"deb-block deb-block-06e72cc\">Peras\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3067\u306f\u3001IO\u306fAgda\u3067\u306e\u30d7\u30ed\u30c8\u30b3\u30eb\u306e\u5f62\u5f0f\u7684\u306a\u4ed5\u69d8\u3001agda2hs\u3092\u4f7f\u7528\u3057\u3066\u751f\u6210\u3055\u308c\u305f\u691c\u8a3c\u6e08\u307f\u30c6\u30b9\u30c8\u30e2\u30c7\u30eb\u3001\u6295\u7968\u306e\u62e1\u6563\u306e\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u30e2\u30c7\u30eb\u3001\u30ea\u30c6\u30e9\u30ebAgda\u3067\u66f8\u304b\u308c\u305fCardano\u6539\u5584\u63d0\u6848\uff08CIP\uff09\u3001\u4ed5\u69d8\u306b\u5bfe\u3057\u3066\u9069\u5408\u6027\u30c6\u30b9\u30c8\u3055\u308c\u308bHaskell\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u5b9f\u88c5\u3092\u5c0e\u5165\u3057\u3066\u3044\u307e\u3059\u3002Ouroboros Peras\u306e\u6b21\u306e\u30d5\u30a7\u30fc\u30ba\u306f<a href=\"https:\/\/www.intersectmbo.org\/news\/celebrating-the-journey-constitutional-workshops\" data-type=\"link\" data-id=\"https:\/\/www.intersectmbo.org\/news\/celebrating-the-journey-constitutional-workshops\">Intersect<\/a>\u3092\u901a\u3058\u3066\u9032\u884c\u4e2d\u3067\u3001\u79d1\u5b66\u8ad6\u6587\u304c\u5b8c\u6210\u9593\u8fd1\u3067\u3042\u308a\u3001Peras\u306f2025\u5e74\u306b\u30e1\u30a4\u30f3\u30cd\u30c3\u30c8\u3067\u306e\u30ed\u30fc\u30f3\u30c1\u304c\u4e88\u5b9a\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image has-custom-border deb-block deb-block-3df0f47\"><img decoding=\"async\" src=\"https:\/\/ucarecdn.com\/b87bb919-bafb-44f4-ae64-f4a79932c296\/\" alt=\"\" class=\"has-border-color has-aaaaaa-border-color\"\/><\/figure>\n\n\n\n<p class=\"deb-block deb-block-838fdc4\">Figure 6. Ouroboros Peras methodology<\/p>\n\n\n\n<p class=\"deb-block deb-block-143f7bc\">[\u56f36]\u306f\u3001Peras\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u65b9\u6cd5\u8ad6\u304c\u8a2d\u8a08\u3092\u4ed5\u69d8\u3068\u5b9f\u88c5\u306b\u3069\u306e\u3088\u3046\u306b\u63a5\u7d9a\u3057\u3066\u3044\u308b\u304b\u3092\u793a\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<h5 class=\"wp-block-heading deb-block deb-block-f2ec8b3\" id=\"e69c80e5be8ce381ab-11\">\u6700\u5f8c\u306b<\/h5>\n\n\n\n<p class=\"deb-block deb-block-628d4f7\">IO\u306f\u3001Cardano\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3067\u306e\u5e83\u7bc4\u306a\u4f7f\u7528\u3092\u901a\u3058\u3066\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u306e\u4fa1\u5024\u3092\u8a3c\u660e\u3057\u3066\u304a\u308a\u3001\u5f62\u5f0f\u7684\u306a\u4ed5\u69d8\u3068\u691c\u8a3c\u30d7\u30ed\u30bb\u30b9\u304c\u91cd\u8981\u306a\u554f\u984c\u3092\u7279\u5b9a\u3057\u9632\u6b62\u3057\u3066\u304d\u307e\u3057\u305f\u3002\u958b\u767a\u30e9\u30a4\u30d5\u30b5\u30a4\u30af\u30eb\u306b\u30d5\u30a9\u30fc\u30de\u30eb\u30e1\u30bd\u30c3\u30c9\u3092\u7d44\u307f\u8fbc\u3080\u3053\u3068\u3067\u3001IO\u306f\u30b7\u30b9\u30c6\u30e0\u304c\u9ad8\u3044\u4fdd\u8a3c\u3067\u76ee\u6a19\u3092\u9054\u6210\u3059\u308b\u3053\u3068\u3092\u78ba\u5b9f\u306b\u3057\u3001\u3088\u308a\u5b89\u5168\u3067\u30b9\u30b1\u30fc\u30e9\u30d6\u30eb\u306a\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u30bd\u30ea\u30e5\u30fc\u30b7\u30e7\u30f3\u3078\u306e\u9053\u3092\u958b\u3044\u3066\u3044\u307e\u3059\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"IOG\u30d6\u30ed\u30b0\u8a18\u4e8b\u300cApplying formal methods at Input | Output: real-world examples\u300d\u3092\u516c\u958b\u3057\u3001Input Output\uff08IO\uff09\u304c\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u6280\u8853\u3001\u7279\u306bCardano\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306b\u304a\u3044\u3066\u3069\u306e\u3088\u3046\u306b\u300c\u5f62\u5f0f\u624b\u6cd5\u300d\u3092\u9069\u7528\u3057\u3066\u3044\u308b\u304b\u3092\u5b9f\u4f8b\u3092\u4ea4\u3048\u3066\u8a73\u3057\u304f\u89e3\u8aac\u3057\u3066\u3044\u307e\u3059\u3002\u5f62\u5f0f\u624b\u6cd5\u3068\u306f\u3001\u6570\u5b66\u7684\u6839\u62e0\u306b\u57fa\u3065\u3044\u305f\u6280\u6cd5\u3092\u7528\u3044\u3066\u30b7\u30b9\u30c6\u30e0\u306e\u6b63\u78ba\u6027\u3092\u8a3c\u660e\u3059\u308b\u30a2\u30d7\u30ed\u30fc\u30c1\u3067\u3001\u30a8\u30e9\u30fc\u304c\u8a31\u3055\u308c\u306a\u3044\u74b0\u5883\u3067\u7279\u306b\u91cd\u8981\u3067\u3059\u3002 \u3053\u306e\u8a18\u4e8b\u306f\u3001\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u6280\u8853\u306b\u304a\u3051\u308b\u5f62\u5f0f\u624b\u6cd5\u306e\u4fa1\u5024\u3092\u6df1\u304f\u7406\u89e3\u3057\u3001\u305d\u308c\u304c\u3082\u305f\u3089\u3059\u5b89\u5168\u6027\u3068\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u306e\u5411\u4e0a\u3092\u793a\u3059\u3082\u306e\u3067\u3059\u3002\u7279\u306b\u3001Cardano\u306e\u9ad8\u3044\u6280\u8853\u7684\u57fa\u6e96\u3068\u305d\u306e\u7d99\u7d9a\u7684\u306a\u9032\u5316\u306b\u8208\u5473\u3092\u6301&hellip;","protected":false},"author":1,"featured_media":39242,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[67,21,35,1,38],"tags":[],"class_list":{"0":"post-39241","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-japanese","11":"category-38"},"featured_image_urls":{"full":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001.webp",800,450,false],"thumbnail":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001-150x150.webp",150,150,true],"medium":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001-300x169.webp",300,169,true],"medium_large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001-768x432.webp",768,432,true],"large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001.webp",800,450,false],"1536x1536":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001.webp",800,450,false],"2048x2048":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001.webp",800,450,false],"dp-widget-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001-140x96.webp",140,96,true],"dp-widget-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001-280x192.webp",280,192,true],"dp-related-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001-250x154.webp",250,154,true],"dp-related-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001-500x308.webp",500,308,true],"dp-archive-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001-450x253.webp",450,253,true],"dp-archive-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2024\/11\/IOG_001.webp",800,450,false]},"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=1\" rel=\"category\">\u65e5\u672c\u8a9e\u7248<\/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\/39241","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=39241"}],"version-history":[{"count":2,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/39241\/revisions"}],"predecessor-version":[{"id":39245,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/39241\/revisions\/39245"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/media\/39242"}],"wp:attachment":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=39241"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=39241"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=39241"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}