{"id":21022,"date":"2022-10-05T18:12:47","date_gmt":"2022-10-05T09:12:47","guid":{"rendered":"https:\/\/sipo.tokyo\/?p=21022"},"modified":"2022-10-07T12:59:43","modified_gmt":"2022-10-07T03:59:43","slug":"post-21022","status":"publish","type":"post","link":"https:\/\/sipo.tokyo\/?p=21022","title":{"rendered":"\u30c1\u30e3\u30fc\u30eb\u30ba\u30fb\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u52d5\u753b\u300eRoad to a Polyglot Ecosystem for Cardano\u300f"},"content":{"rendered":"\n<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-16-9 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"Road to a Polyglot Ecosystem for Cardano\" width=\"900\" height=\"506\" src=\"https:\/\/www.youtube.com\/embed\/skcCg1WaedA?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>\n<\/div><\/figure>\n\n\n\n<p class=\"\">\u30ab\u30eb\u30c0\u30ce\u306fBASHO\u30d5\u30a7\u30fc\u30ba\u3067\u30ab\u30eb\u30c0\u30ce\u306e\u30b9\u30b1\u30fc\u30eb\u30a2\u30c3\u30d7\u306b\u53d6\u308a\u7d44\u3080\u4e00\u65b9\u3001\u30ed\u30fc\u30c9\u30de\u30c3\u30d7\u306e\u6700\u5f8c\u306e\u7826\u3068\u306a\u308bVoltaire\uff08\u30dc\u30eb\u30c6\u30fc\u30eb\uff09\u30d5\u30a7\u30fc\u30ba\u3082\u4e26\u884c\u3057\u3066\u9032\u3081\u3066\u3044\u307e\u3057\u305f\u3002\u305d\u3057\u3066\u3001Vasil\u30a2\u30c3\u30d7\u30b0\u30ec\u30fc\u30c9\u304c\u5b8c\u4e86\u3057\u305f\u6642\u70b9\u3067\u3001\u30ab\u30eb\u30c0\u30ce\u5275\u8a2d\u8005\u3067\u3042\u308b\u30c1\u30e3\u30fc\u30eb\u30ba\u30fb\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u306f\u3001\u30ac\u30d0\u30ca\u30f3\u30b9\u3068\u81ea\u5f8b\u5206\u6563\u5316\u3078\u306e\u53d6\u308a\u7d44\u307f\u3092\u66f4\u306b\u9032\u3081\u308b\u305f\u3081\u306b\u3001\u3082\u3046\u9593\u3082\u7121\u304fVoltaire\uff08\u30dc\u30eb\u30c6\u30fc\u30eb\uff09\u6642\u4ee3\u304c\u672c\u683c\u7684\u30b9\u30bf\u30fc\u30c8\u3059\u308b\u3068\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u305d\u3057\u3066\u3001\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u306f\u81ea\u8eab\u306e\u52d5\u753b\u300e<a href=\"https:\/\/youtu.be\/skcCg1WaedA\" data-type=\"URL\" data-id=\"https:\/\/youtu.be\/skcCg1WaedA\">Road to a Polyglot Ecosystem for Cardano<\/a>\u300f\u3067\u3001\u4eca\u5f8c\u306e\u6301\u7d9a\u53ef\u80fd\u304b\u3064<strong>\u66f4\u65b0\u53ef\u80fd\u306a\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3<\/strong>\u3092\u5b9f\u73fe\u3059\u308b\u305f\u3081\u306e\u65b9\u6cd5\u306b\u3064\u3044\u3066\u660e\u3089\u304b\u306b\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u4ee5\u4e0b\u306f\u52d5\u753b\u300e<a href=\"https:\/\/youtu.be\/skcCg1WaedA\" data-type=\"URL\" data-id=\"https:\/\/youtu.be\/skcCg1WaedA\">Road to a Polyglot Ecosystem for Cardano<\/a>\u300f\u3092\u7ffb\u8a33\u3057\u305f\u3082\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u7686\u3055\u3093\u3053\u3093\u306b\u3061\u306f\u3001\u30c1\u30e3\u30fc\u30eb\u30ba\u30fb\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u3067\u3059\u3002<br>\u6696\u304b\u3044\u65e5\u5dee\u3057\u306e\u4e2d\u3001\u30b3\u30ed\u30e9\u30c9\u5dde\u306f\u3044\u3064\u3067\u3082\u6674\u308c\u3002<br>\u4eca\u65e5\u306f2022\u5e749\u670826\u65e5\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u975e\u5e38\u306b\u91cd\u8981\u306a\u30c8\u30d4\u30c3\u30af\u3092\u53d6\u308a\u4e0a\u3052\u305f\u3044\u3068\u601d\u3044\u307e\u3059\u3002\u5b9f\u306f\u5148\u9031\u306e\u5927\u534a\u306f\u3053\u306e\u30c8\u30d4\u30c3\u30af\u306b\u3064\u3044\u3066\u8b70\u8ad6\u3057\u305f\u308a\u3001\u95a2\u9023\u4ed8\u3051\u305f\u308a\u3057\u3066\u3044\u307e\u3057\u305f\u3002\u591a\u304f\u306e\u4eba\u304c\u77e5\u3063\u3066\u3044\u308b\u3088\u3046\u306b\u3001\u4eca\u821e\u53f0\u88cf\u3067\u306f\u3001\u4f1a\u54e1\u5236\u306e\u8db3\u5834\u3067\u3042\u308b<strong>\u300eMBO\uff08Member Based Organization\uff1a\u30e1\u30f3\u30d0\u30fc\u30d9\u30fc\u30b9\u306e\u7d44\u7e54\uff09\u300f<\/strong>\u3092\u4f5c\u308b\u305f\u3081\u306b\u3001\u821e\u53f0\u88cf\u3067\u81a8\u5927\u306a\u4f5c\u696d\u304c\u9032\u884c\u4e2d\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u306e\u96c6\u5408\u4f53\u3067\u3042\u308a\u30cf\u30d6\u306e\u3088\u3046\u306a\u3082\u306e\u3067\u3059\u3002\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u306e\u610f\u601d\u3092\u6c7a\u5b9a\u3057\u3001\u305d\u306e\u305f\u3081\u306e\u6226\u7565\u3092\u8003\u3048\u51fa\u3057\u3001\u305d\u308c\u3092\u5b9f\u884c\u3059\u308b\u3088\u3046\u306b\u4eba\u3005\u3092\u5b9f\u884c\u306b\u79fb\u3059\u3088\u3046\u4fc3\u3059\u305f\u3081\u306e\u3082\u306e\u3067\u3059\u3002\u305d\u306e\u7d20\u6674\u3089\u3057\u3044\u3068\u3053\u308d\u306f\u3001\u8ab0\u3082\u304c\u81ea\u5206\u306e\u58f0\u3092\u5171\u6709\u3067\u304d\u308b\u3053\u3068\u3067\u3059\u3002\u305d\u308c\u306f\u69d8\u3005\u306a\u65b9\u6cd5\u3067\u58f0\u3092\u5171\u6709\u3057\u6a5f\u80fd\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u305d\u306e\u3088\u3046\u306a\u3082\u306e\u306b\u306fReddit\u3084Telegram\u306a\u3069\u306e\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3082\u3042\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u5065\u5168\u306a\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u306b\u306a\u308b\u306b\u306f\u300e<strong>Polyglot\uff08\uff0a\uff09 Ecosystem<\/strong>\uff1a<strong>\u30dd\u30ea\u30b0\u30ed\u30c3\u30c8\u30fb\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0<\/strong>\u300f\u3001\u3064\u307e\u308a\u3001\u8907\u6570\u306e\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u304c\u540c\u6642\u306b\u52d5\u4f5c\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u305d\u3053\u306b\u306f\u3001\u305d\u308c\u305e\u308c\u7570\u306a\u308b\u958b\u767a\u30c1\u30fc\u30e0\u3001\u7570\u306a\u308b\u54f2\u5b66\u3001\u7570\u306a\u308b\u8a00\u8a9e\u3001\u7570\u306a\u308bUSP\uff08<em>Unique Selling Proposition\u3068\u306f\u3001\u72ec\u81ea\u306e\u5f37\u307f\u3092\u610f\u5473\u3059\u308b\u30de\u30fc\u30b1\u30c6\u30a3\u30f3\u30b0\u7528\u8a9e&nbsp;<\/em>\uff09\u304c\u9055\u3046\u3068\u3044\u3046\u554f\u984c\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\uff0a<a href=\"https:\/\/ja.wikipedia.org\/wiki\/Polyglot_(\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0)\" data-type=\"URL\" data-id=\"https:\/\/ja.wikipedia.org\/wiki\/Polyglot_(\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0)\"><em>polyglot\u3068\u306f\u3001\u8907\u6570\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3068\u3057\u3066\u89e3\u91c8\u53ef\u80fd\u306a\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u30d7\u30ed\u30b0\u30e9\u30e0\u307e\u305f\u306f\u30b9\u30af\u30ea\u30d7\u30c8\u3067\u3042\u308a\u3001\u30b3\u30f3\u30d1\u30a4\u30eb\u307e\u305f\u306f\u89e3\u91c8\u306b\u4f7f\u7528\u3055\u308c\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3068\u306f\u95a2\u4fc2\u306a\u304f\u3001\u540c\u3058\u64cd\u4f5c\u307e\u305f\u306f\u51fa\u529b\u3092\u3059\u308b\u3082\u306e\u306e\u3053\u3068\u3067\u3042\u308b<\/em> <strong><em>by WIKI<\/em><\/strong><\/a><\/p>\n\n\n\n<p class=\"\">\u30ab\u30eb\u30c0\u30ce\u306e\u6a19\u6e96\u7684\u306a\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u306f\u4f55\u304b\u3068\u3044\u3046\u554f\u984c\u3068\u3044\u3046\u8cea\u554f\u3068\u975e\u5e38\u306b\u3088\u304f\u4f3c\u3066\u3044\u307e\u3059\u3002\u30ab\u30eb\u30c0\u30ce\u306e\u30a6\u30a9\u30ec\u30c3\u30c8\u306e\u6b63\u7d71\u306a\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u306f\uff1f\u305d\u306e\u7b54\u3048\u306f\u300c\u306a\u3057\u300d\u3067\u3042\u308b\u3079\u304d\u306a\u306e\u3067\u3059\u304c\u3001\u305d\u306e\u4ee3\u308f\u308a\u6b21\u306e\u3088\u3046\u306a\u7b54\u3048\u3092\u51fa\u3059\u3079\u304d\u3067\u3057\u3087\u3046\u3002<\/p>\n\n\n\n<p class=\"\">\u79c1\u305f\u3061\u306f\u6a19\u6e96\u306b\u5408\u610f\u3057\u3001\u305d\u3057\u3066\u3001\u305d\u306e\u6a19\u6e96\u306b\u306f\u3057\u3063\u304b\u308a\u3068\u3057\u305f\u30c6\u30b9\u30c8\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u3092\u5c0e\u5165\u3057\u30012\u7a2e\u985e\u306e\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u304c\u5b58\u5728\u3059\u308b\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u3002\u3064\u307e\u308a\u30a6\u30a9\u30ec\u30c3\u30c8\u306b\u306f\u3001\u8a8d\u8a3c\u3055\u308c\u305f\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u3068\u8a8d\u8a3c\u3055\u308c\u3066\u3044\u306a\u3044\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u306e2\u7a2e\u985e\u304c\u3042\u308b\u3068\u3044\u3044\u3046\u3053\u3068\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u5b9f\u306f\u3001\u3053\u306e\u30d3\u30c7\u30aa\u306f\u3001\u30ea\u30c3\u30af\u30fb\u30de\u30af\u30e9\u30b1\u30f3\uff08Rick McCracken\uff09\u6c0f\u304c\u884c\u3063\u305f\u3042\u308b\u4e16\u8ad6\u8abf\u67fb\u304c\u80cc\u666f\u306b\u3042\u308b\u3082\u306e\u3067\u3059\u3002\u5f7c\u306f\u30c4\u30a3\u30fc\u30c8\u3067\u3053\u3046\u8a00\u3063\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<blockquote class=\"wp-block-quote\"><p>DC\u30b9\u30d1\u30fc\u30af\u304c\u30ab\u30bf\u30ea\u30b9\u30c8\u3068\u3044\u3046\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3092\u7acb\u3061\u4e0a\u3052\u305f\u3068\u3057\u307e\u3059\u3002800\u4e07\u30c9\u30eb\u3067\u63d0\u6848\u3057\u5225\u306e\u30ab\u30eb\u30c0\u30ce\u30fb\u30ce\u30fc\u30c9\u306e\u5b9f\u88c5\u3092\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u3067\u4f5c\u308b\u3068\u3057\u305f\u3089\u3001\u3042\u306a\u305f\u306f\u3069\u3046\u6295\u7968\u3057\u307e\u3059\u304b\uff1f<\/p><\/blockquote>\n\n\n\n<p class=\"\">\u591a\u304f\u306e\u4eba\u304c\u300c\u9762\u767d\u3044\u306d\u3001\u3044\u3044\u306d\u300d\u3068\u8a00\u3044\u3001\u300c\u3044\u3044\u306d\u3001\u30a2\u30c3\u30d7\u30d6\u30fc\u30c8\u3059\u308b\u3088\u300d\u3068\u8a00\u3044\u307e\u3057\u305f\u3002<\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-rich is-provider-twitter wp-block-embed-twitter\"><div class=\"wp-block-embed__wrapper\">\n<blockquote class=\"twitter-tweet\" data-width=\"550\" data-dnt=\"true\"><p lang=\"en\" dir=\"ltr\">Hypothetical Poll: If <a href=\"https:\/\/twitter.com\/dcspark_io?ref_src=twsrc%5Etfw\">@dcspark_io<\/a> put in a <a href=\"https:\/\/twitter.com\/hashtag\/ProjectCatalyst?src=hash&amp;ref_src=twsrc%5Etfw\">#ProjectCatalyst<\/a> proposal for $8 million USD to build another Cardano node implementation in Rust and open source, how would you vote?<br>(just a thought experiment)<\/p>&mdash; Rick McCracken DIGI (@RichardMcCrackn) <a href=\"https:\/\/twitter.com\/RichardMcCrackn\/status\/1573826038869680128?ref_src=twsrc%5Etfw\">September 25, 2022<\/a><\/blockquote><script async src=\"https:\/\/platform.twitter.com\/widgets.js\" charset=\"utf-8\"><\/script>\n<\/div><\/figure>\n\n\n\n<p class=\"\">\u305d\u308c\u306f\u3001\u516c\u5e73\u306a\u8cea\u554f\u3067\u3059\u3002\u5b9f\u306f\u79c1\u305f\u3061\u306f\u9577\u3044\u9593\u8003\u3048\u3066\u3044\u305f\u3053\u3068\u3067\u3001\u5b9f\u969b\u306bEU\u306e\u30ec\u30ac\u30b7\u30fc\u30fb\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3067\u3001\u79c1\u305f\u3061\u306f\u5b9f\u969b\u306b\u304a\u91d1\u3092\u3082\u3089\u3063\u3066\u3001gurdtime\u3001IBM\u7814\u7a76\u3001\u30bf\u30eb\u30c8\u30a5\uff08TARTU\uff09\u5927\u5b66\u3001\u30bd\u30e9\u30ce\u5927\u5b66\u3001\u30a8\u30b8\u30f3\u30d0\u30e9\u5927\u5b66\u3001\u305d\u3057\u3066\u79c1\u305f\u3061IOHK\u306a\u3069\u304c\u53c2\u52a0\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u79c1\u305f\u3061\u306e\u8ca2\u732e\u306f\u3001<strong>\u66f4\u65b0\u53ef\u80fd\u306a\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3<\/strong>\u3067\u3059\u3002\u30cb\u30b3\u30b9\u3068\u30df\u30ab\u30a8\u30e9\u30fb\u30a2\u30ae\u30fc\u30ed\u30b9\u3068\u30c7\u30a3\u30aa\u30cb\u30bd\u30b9\u304c\u30a2\u30a4\u30c7\u30a2\u3092\u51fa\u3057\u3066\u3044\u307e\u3059\u3002\u79c1\u305f\u3061\u306f\u3001\u57fa\u672c\u7684\u306b\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u3084\u512a\u308c\u305f\u4ed5\u69d8\u3001\u512a\u308c\u305f\u30c6\u30b9\u30c8\u3092\u5b9f\u73fe\u3059\u308b\u305f\u3081\u306b\u3001\u5b89\u5168\u3067\u512a\u308c\u305f\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u3092\u4f5c\u308b\u306b\u306f\u3069\u3046\u3057\u305f\u3089\u3044\u3044\u304b\uff1f\u9577\u3044\u9593\u8a71\u3057\u5408\u3063\u3066\u304d\u307e\u3057\u305f\u3002<br><\/p>\n\n\n\n<p class=\"\">\u540c\u6642\u306b\u3001\u8907\u6570\u306e\u30af\u30ed\u30c3\u30af\u3001\u79d1\u5b66\u7684\u306a\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u3092\u3069\u306e\u3088\u3046\u306b\u69cb\u7bc9\u3059\u308b\u304b\u3068\u3044\u3046\u3053\u3068\u3067\u3057\u305f\u3002<strong>Agda<\/strong>\u3068\u547c\u3070\u308c\u308b\u8a00\u8a9e\u3092\u4f7f\u3063\u3066\u3044\u307e\u3059\u3002\u57fa\u672c\u7684\u306b\u306f<strong>\u30b9\u30fc\u30d1\u30fcHaskell<\/strong>\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\"><strong>\u591a\u304f\u306e\u30a4\u30f3\u30d5\u30e9\u3092\u69cb\u7bc9\u3057\u5fdc\u7528\u3059\u308b\u65b9\u5411\u306b\u9032\u307f\u59cb\u3081\u3066\u3044\u307e\u3059\u3002<\/strong><\/p>\n\n\n\n<p class=\"\">\u3055\u3066\u3001\u305d\u308c\u3067\u306f\u3053\u308c\u304b\u3089\u3044\u308d\u3044\u308d\u306a\u3053\u3068\u3092\u304a\u8a71\u3057\u3057\u307e\u3059\u3002<br><br>\u57fa\u672c\u7684\u306b\u79c1\u305f\u3061\u304c\u3084\u308a\u305f\u3044\u3053\u3068\u306f<strong>\u300eMBO\uff08Member Based Organization\uff1a\u30e1\u30f3\u30d0\u30fc\u30d9\u30fc\u30b9\u306e\u7d44\u7e54\uff09\u300f<\/strong>\u3068\u3044\u3046\u8003\u3048\u3092\u6301\u3063\u3066\u3044\u307e\u3059\u3002<strong>\u300eCTFs\uff1aCardano Technical Fellows\u300f<\/strong>\u306e\u3088\u3046\u306a\u30a2\u30a4\u30c7\u30a2\u3082\u3042\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u57fa\u672c\u7684\u306b\u3001\u3053\u306e\u4eba\u305f\u3061\u306f\u30b3\u30a2\u306b\u643a\u308f\u308b\u4eba\u3005\u3067\u3001\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u304b\u3089\u6765\u305f\u4eba\u305f\u3061\u3067\u3059\u3002\u305d\u306e\u305f\u3081\u3001\u7279\u5b9a\u306e\u4f1a\u793e\u306b\u7e1b\u3089\u308c\u308b\u3053\u3068\u306f\u306a\u304f\u3001\u3069\u3061\u3089\u304b\u3068\u3044\u3046\u3068\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u3092\u30d9\u30fc\u30b9\u306b\u3057\u306a\u304c\u3089\u7d44\u7e54\u306b\u51fa\u5411\u3057\u3066\u304a\u308a\u3001\u30b9\u30bf\u30c3\u30d5\u3067\u3082\u3042\u308a\u307e\u3059\u3002\u3057\u304b\u3057\u3001\u3044\u305a\u308c\u306b\u305b\u3088\u3001\u57fa\u672c\u7684\u306b\u79c1\u305f\u3061\u304c\u3067\u304d\u308b\u3053\u3068\u306f\u300e<strong>Agda Core<\/strong>\uff1a\u30ab\u30eb\u30c0\u30ce\u30fb\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u300f\u306b\u6e96\u62e0\u3057\u307e\u3059\u3002\u30dd\u30a4\u30f3\u30c8\u306f\u30d7\u30ed\u30c0\u30af\u30b7\u30e7\u30f3\uff08\u751f\u7523\uff09\u3068\u306f\u540c\u3058\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u3064\u307e\u308a\u3001\u751f\u7523\u6027\u3068\u306f\u3001\u3042\u306a\u305f\u65b9\u304c\u4eca\u6301\u3063\u3066\u3044\u308b\u3082\u306eDaedalus\u3067\u3059\u3002Daedalus\u306b\u306f\u4f59\u5206\u306a\u30b3\u30fc\u30c9\u3084\u4f59\u8a08\u306a\u3082\u306e\u304c\u5165\u3063\u3066\u3044\u307e\u3059\u3002\u57fa\u672c\u7684\u306b\u306f\u3053\u306e\u30d7\u30ed\u30c0\u30af\u30b7\u30e7\u30f3\u306e\u30dd\u30a4\u30f3\u30c8\u306f\u3001\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u304c\u975e\u5e38\u306b\u9ad8\u901f\u3067\u3042\u308b\u3053\u3068\u3092\u4fdd\u8a3c\u3059\u308b\u3053\u3068\u3067\u3042\u308a\u3001\u9ad8\u901f\u306b\u3059\u308b\u3053\u3068\u3067\u3059\u3002\u305d\u306e\u305f\u3081\u306b\u306f\u30bb\u30ad\u30e5\u30a2\u3001\u4e92\u63db\u6027\u3068\u3044\u3063\u305f\u4ed5\u69d8\u5916\u306e\u3082\u306e\u3082\u5fc5\u8981\u3067\u3001\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u306e\u305f\u3081\u306b\u4f5c\u3089\u308c\u308b\u3082\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u4f8b\u3048\u3070\u3001dcSpark\u304c\u81ea\u5206\u305f\u3061\u306e\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u3092\u4f5c\u3063\u305f\u3068\u3057\u305f\u3089\u3001\u304a\u305d\u3089\u304fFlint\u306b\u63a5\u7d9a\u3059\u308b\u305f\u3081\u306e\u7279\u5225\u306a\u30a4\u30f3\u30d5\u30e9\u3092\u69cb\u7bc9\u3059\u308b\u3068\u601d\u3044\u307e\u3059\u3002\u30a6\u30a9\u30ec\u30c3\u30c8\u306b\u63a5\u7d9a\u3059\u308b\u305f\u3081\u306e\u7279\u5225\u306a\u30a4\u30f3\u30d5\u30e9\u3092\u69cb\u7bc9\u3057\u3001\u305d\u308c\u3092\u7c21\u5358\u306b\u51e6\u7406\u3067\u304d\u308b\u3088\u3046\u306b\u3059\u308b\u3067\u3057\u3087\u3046\u3002\u300e<strong>Agda Core<\/strong>\uff1a\u30ab\u30eb\u30c0\u30ce\u30fb\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u300f\u306f\u305d\u3093\u306a\u3053\u3068\u306f\u3057\u306a\u3044\u3067\u3057\u3087\u3046\u3002\u79c1\u305f\u3061\u3082\u540c\u3058\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u30ce\u30fc\u30c9\u3092\u5546\u54c1\u5316\u3057\u305f\u5834\u5408\u3001\u306a\u305c\u306a\u3089\u3001\u826f\u3044\u30e6\u30fc\u30b6\u30fc\u30a8\u30af\u30b9\u30da\u30ea\u30a8\u30f3\u30b9\u304c\u6b32\u3057\u3044\u304b\u3089\u3067\u3059\u3002\u305d\u306e\u305f\u3081\u3001\u3053\u306e\u30a2\u30a4\u30c7\u30a2\u306f<strong>CTFs\uff08Cardano Technical Fellows\uff09<\/strong>\u304c\u30b3\u30a2\u3092\u7dad\u6301\u3057\u3001\u305d\u306e\u305f\u3081\u3001CTFs\u306f\u30b3\u30a2\u3092\u7dad\u6301\u3057\u3001<strong>CIP\uff08Cardano Impruvment Process \uff09\u30d7\u30ed\u30bb\u30b9<\/strong>\u3068\u975e\u5e38\u306b\u8fc5\u901f\u306b\u30ea\u30f3\u30af\u3055\u305b\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u305d\u3057\u3066\u3001CIP\u306e\u6700\u7d42\u6bb5\u968e\u3068\u3057\u3066\u3001\u4f55\u304c\u8d77\u3053\u308b\u304b\uff1fCIP\u306e\u3059\u3079\u3066\u306e\u6bb5\u968e\u3092\u7d4c\u3066\u6700\u5f8c\u306b\u306f\u6539\u5584\u63d0\u6848\u3068\u3044\u3046\u5730\u70b9\u306b\u5230\u9054\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u3053\u308c\u306f<strong>Agda<\/strong>\u3092\u30b3\u30a2\u306b\u6301\u3064\u6b63\u5f0f\u306a\u4ed5\u69d8\u3067\u3042\u308b\u305f\u3081\u3001\u5b9f\u969b\u306b\u3067\u304d\u308b\u3053\u3068\u306f\u30b3\u30fc\u30c9\u62bd\u51fa\u3068\u547c\u3070\u308c\u308b\u3082\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u3053\u308c\u306f\u3001\u4ed5\u69d8\u66f8\u304b\u3089\u30b3\u30fc\u30c9\u3092\u62bd\u51fa\u3057\u3001\u30c6\u30b9\u30c8\u3059\u308b\u305f\u3081\u306e\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\uff08\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\uff09\u3068\u3057\u3066\u3001\u79c1\u305f\u3061\u306f\u307e\u3060\u3053\u308c\u3089\u306e\u65ad\u7247\u3092\u7d44\u307f\u5408\u308f\u305b\u3066\u3044\u308b\u6bb5\u968e\u3067\u3059\u3002\u3053\u306e\u5f8c\u3001\u6b63\u5f0f\u306a\u30d7\u30ec\u30bc\u30f3\u30c6\u30fc\u30b7\u30e7\u30f3\u3092\u884c\u3046\u4e88\u5b9a\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u57fa\u672c\u7684\u306a\u8003\u3048\u65b9\u306f\u3001Agda Core\u304c\u3042\u308a\u3001\u305d\u3057\u3066\u3001\u62bd\u51fa\u3055\u308c\u305f\u6a19\u6e96\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u30b3\u30fc\u30c9\u3068\u3001\u305d\u306e\u4ed6\u306b\u66f4\u65b0\u30b7\u30b9\u30c6\u30e0\u3084\u3061\u3087\u3063\u3068\u3057\u305f\u3082\u306e\u304c\u3042\u308a\u307e\u3059\u3002\u305d\u3057\u3066\u3001\u30a6\u30a9\u30ec\u30c3\u30c8\u3001\u8a3c\u660e\u66f8\u3001\u305d\u3057\u3066\u6700\u5f8c\u306b\u30b3\u30a2\u3068\u306a\u308b\u6697\u53f7\u6280\u8853\u3067\u3059\u3002\u304a\u305d\u3089\u304f\u4eba\u3005\u306f\u72ec\u81ea\u306b\u6697\u53f7\u3092\u958b\u767a\u3059\u3079\u304d\u3067\u306f\u306a\u3044\u3067\u3057\u3087\u3046\u3002\u6697\u53f7\u3092\u72ec\u81ea\u306b\u958b\u767a\u3059\u308b\u306e\u3067\u306f\u306a\u304f\u3001\u305d\u308c\u3092\u7d71\u5408\u3057\u3088\u3046\u3068\u3059\u308b\u3067\u3057\u3087\u3046\u3002\u3053\u308c\u304c\u300e<strong>Agda Core<\/strong>\uff1a\u30ab\u30eb\u30c0\u30ce\u30fb\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u300f\u306b\u306a\u308a\u307e\u3059\u3002<br><br>\u305d\u3057\u3066\u3001\u305d\u308c\u3068\u4e26\u884c\u3057\u3066\u30e6\u30fc\u30c6\u30a3\u30ea\u30c6\u30a3\u30fb\u30a4\u30f3\u30d5\u30e9\u30b9\u30c8\u30e9\u30af\u30c1\u30e3\u3068\u306e\u7d71\u5408\u3067\u3059\u3002\u3053\u308c\u306f\u307e\u305f\u5225\u306e\u8a71\u3067\u3059\u304c\u3001Rosetta\u3084dbsync\u306a\u3069\u306e\u3088\u3046\u306a\u3082\u306e\u3067\u3059\u3002\u4eca\u306e\u3068\u3053\u308d\u3001\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u306e\u7af6\u5408\u306b\u3064\u3044\u3066\u8a71\u3059\u3068\u304d\u306f\u3001\u3053\u306e\u65b9\u6cd5\u304c\u3044\u3044\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">Haskell\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u306f\u3082\u306f\u3084\u6a19\u6e96\u7684\u306a\u3082\u306e\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002Haskell\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u306f\u305f\u3060\u306eHaskell\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u3067\u3042\u308a\u3001Rust\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u3084TypeScript\u306e\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u3001\u305d\u306e\u4ed6\u3082\u308d\u3082\u308d\u304c\u3042\u3063\u3066\u3082\u3044\u3044\u3067\u3059\u3002\u305d\u3057\u3066\u3001\u8a8d\u5b9a\u3055\u308c\u3066\u3044\u308b\u304b\u3069\u3046\u304b\u3068\u3044\u3046\u554f\u984c\u304c\u3042\u308a\u307e\u3059\u3002\u8a8d\u5b9a\u3055\u308c\u305f\u3082\u306e\u3082\u3042\u308c\u3070\u3001\u305d\u3046\u3067\u306a\u3044\u3082\u306e\u3082\u3042\u308b\u3002<\/p>\n\n\n\n<p class=\"\">\u57fa\u672c\u7684\u306a\u8003\u3048\u65b9\u306f\u3001\u30b3\u30a2\u306e\u30e1\u30f3\u30d0\u30fc\u306f5\u4eba\u304b\u308910\u4eba\u7a0b\u5ea6\u306e\u5c0f\u3055\u306a\u30c1\u30fc\u30e0\u3067\u69cb\u6210\u3055\u308c\u3001\u305d\u306e\u4e2d\u306b\u306f\u5148\u307b\u3069\u7533\u3057\u4e0a\u3052\u305f\u3088\u3046\u306b\u3001\u57fa\u672c\u7684\u306b\u306fMBO\u306e\u305f\u3081\u306b\u50cd\u304fCTO\u3068\u3001IO\u3084dcSpark\u306e\u3088\u3046\u306a\u8ca2\u732e\u3059\u308b\u958b\u767a\u8005\u306e\u7d44\u307f\u5408\u308f\u305b\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u5f7c\u3089\u306f\u3001\u57fa\u672c\u7684\u306b\u62bd\u51fa\u3055\u308c\u305f\u30b3\u30fc\u30c9\u306e\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u30fb\u30bb\u30c3\u30c8\u3092\u7dad\u6301\u3057\u307e\u3059\u3002\u305d\u3057\u3066\u3001\u305d\u308c\u306b\u95a2\u3059\u308b\u30d7\u30ed\u30d1\u30c6\u30a3\u3092\u8a3c\u660e\u3057\u307e\u3059\u3002\u307e\u305f\u3001\u30a6\u30a9\u30ec\u30c3\u30c8\u3082\u7ba1\u7406\u3057\u3066\u3044\u307e\u3059\u3002\u8a8d\u8a3c\u3068\u30b7\u30b9\u30c6\u30e0\u306e\u30b3\u30a2\u6697\u53f7\u3092\u7dad\u6301\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u305d\u3057\u3066\u3001\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u3067\u8ab0\u304b\u304c\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u3092\u4f5c\u308a\u305f\u3044\u3068\u601d\u3048\u3070\u3001\u305d\u306e\u969b\u3001\u300c\u81ea\u5206\u306e\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u304c\u5b89\u5168\u304b\u3069\u3046\u304b\u3001\u3069\u3046\u3059\u308c\u3070\u308f\u304b\u308b\u306e\u304b\u300d\u3068\u3044\u3046\u7591\u554f\u304c\u751f\u3058\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u81ea\u5206\u306e\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u304c\u30d7\u30ed\u30c8\u30b3\u30eb\u306b\u6e96\u62e0\u3057\u3066\u3044\u308b\u304b\u3069\u3046\u304b\u3001\u76f8\u4e92\u904b\u7528\u304c\u53ef\u80fd\u306a\u306e\u304b\uff1f\u30cf\u30fc\u30c9\u30d5\u30a9\u30fc\u30af\u30b3\u30f3\u30d3\u30cd\u30fc\u30bf\u30fc\u304c\u6a5f\u80fd\u3059\u308b\u306e\u304b\uff1f\u305d\u306e\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u306e\u305f\u3081\u306b\u3001\u66f4\u65b0\u304c\u30c8\u30ea\u30ac\u30fc\u3055\u308c\u305f\u3068\u304d\u3059\u3079\u3066\u306e\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u304c\u30a2\u30c3\u30d7\u30c7\u30fc\u30c8\u3067\u304d\u308b\u306e\u304b\uff1f\u306a\u3069\u306a\u3069\u3001\u591a\u304f\u306e\u7591\u554f\u304c\u3042\u308a\u307e\u3059\u3002\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u30e1\u30f3\u30d0\u30fc\u304c\u6301\u3064\u3067\u3042\u308d\u3046\u591a\u304f\u306e\u7591\u554f\u3092\u89e3\u6c7a\u3059\u308b\u8a8d\u8a3c\u30d7\u30ed\u30bb\u30b9\u3092\u5c0e\u5165\u3059\u308b\u3053\u3068\u3067\u3001\u7af6\u4e89\u3068\u540c\u6642\u306b\u3001\u898f\u683c\u306e\u5b89\u5168\u6027\u3092\u624b\u306b\u5165\u308c\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u69d8\u3005\u306a\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u3067\u30c6\u30b9\u30c8\u3057\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3057\u3001\u4e92\u63db\u6027\u3092\u78ba\u4fdd\u3057\u306a\u3051\u308c\u3070\u306a\u308a\u307e\u305b\u3093\u3002<strong>\u30e6\u30d3\u30ad\u30bf\u30b9\u306a\u898f\u683c<\/strong>\u3092\u4f5c\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002<strong>\u30e6\u30d3\u30ad\u30bf\u30b9\u30b9\u30bf\u30f3\u30c0\u30fc\u30c9\uff08\u6a19\u6e96\uff09<\/strong>\u304c\u3042\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u3082\u3057Haskell\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u3092\u7d4c\u6e08\u7684\u306b\u6210\u529f\u3055\u305b\u308c\u3070\u3001\u79c1\u305f\u3061\u306f\u559c\u3093\u3067\u7d99\u7d9a\u3057\u3001\u3082\u3063\u3068\u591a\u304f\u306e\u3053\u3068\u3092\u8ffd\u52a0\u3067\u304d\u307e\u3059\u3002\u3088\u308a\u6a19\u6e96\u7684\u3067\u306a\u304f\u3001\u3088\u308a\u5546\u696d\u7684\u306a\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u306b\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u305d\u3057\u3066\u3001\u53b3\u3057\u3044\u7af6\u4e89\u3092\u671f\u5f85\u3057\u305f\u3044\u3067\u3059\u3002dcSpark\u304c\u30d5\u30eb\u30ce\u30fc\u30c9\u306e\u7ba1\u7406\u8005\u306b\u306a\u308b\u306e\u3092\u898b\u305f\u3044\u3067\u3059\u306d\u3002\u67af\u308c\u305f\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u306e\u7ba1\u7406\u8005\u306b\u306a\u3063\u3066\u307b\u3057\u3044\u3002<\/p>\n\n\n\n<p class=\"\">\u5c11\u306a\u304f\u3068\u3082\u4e00\u3064\u3001TypeScript\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u3068\u304bDart\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u306a\u3069\u306e\u547d\u4ee4\u578b\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u304c\u6b32\u3057\u3044\u3067\u3059\u306d\u3002\u3042\u308b\u3044\u306f\u6559\u80b2\u7684\u306a\u4fa1\u5024\u304c\u9ad8\u3044\u3067\u3059\u304b\u3089Python\u3092\u4f7f\u3046\u306e\u3082\u3044\u3044\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u305d\u308c\u304b\u3089\u3001\u79c1\u305f\u3061\u306f\u57fa\u672c\u7684\u306b\u307f\u3093\u306a\u30b3\u30a2\u306b\u3044\u304f\u3064\u304b\u306eCTFs\u3092\u63d0\u4f9b\u3057\u307e\u3059\u3002CIP\u30d7\u30ed\u30bb\u30b9\u306e\u6700\u5f8c\u306e\u30b9\u30c6\u30c3\u30d7\u306f\u3001\u30b3\u30a2\u306b\u3042\u308b\u3082\u306e\u3092\u6307\u5b9a\u3059\u308b\u3053\u3068\u3067\u3059\u3002\u30b3\u30a2\u306e\u5185\u90e8\u3067\u306f\u3001\u3059\u3067\u306b\u975e\u5e38\u306b\u52b9\u7387\u7684\u306a\u30b3\u30fc\u30c9\u62bd\u51fa\u304c\u53ef\u80fd\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u5b9f\u969b\u3001James Chapman\u3092\u306f\u3058\u3081\u3001\u79c1\u305f\u3061\u306e\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u306e\u30e1\u30f3\u30d0\u30fc\u306f\u3053\u306e\u5206\u91ce\u306b\u975e\u5e38\u306b\u9577\u3051\u3066\u3044\u307e\u3059\u3002<br>\u5f7c\u3089\u306f\u305d\u308c\u306b\u3064\u3044\u3066\u591a\u304f\u306e\u8ad6\u6587\u3092\u66f8\u3044\u3066\u3044\u307e\u3059\u3057\u3001act\u306f\u3053\u306e\u7a2e\u306e\u3082\u306e\u306e\u305f\u3081\u306e\u512a\u308c\u305f\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u3068\u3057\u3066\u3001\u5927\u304d\u304f\u6210\u9577\u3057\u3066\u304d\u307e\u3057\u305f\u3002<\/p>\n\n\n\n<p class=\"\">\u305d\u306e\u4e0a\u3067\u3001\u3069\u306e\u3088\u3046\u306a\u5b89\u5168\u57fa\u6e96\u3092\u8a2d\u3051\u308b\u3079\u304d\u304b\u306b\u3064\u3044\u3066\u3001\u305f\u304f\u3055\u3093\u8a71\u3057\u5408\u3046\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u30a6\u30a9\u30ec\u30c3\u30c8\u306e\u958b\u767a\u8005\u3067\u3042\u308c\u3070\u3001\u3053\u3046\u8a00\u3046\u3067\u3057\u3087\u3046\u3002\u516c\u5f0f\u306e\u30a6\u30a9\u30ec\u30c3\u30c8\u3068\u306f\u4f55\u304b\uff1f\u63a8\u5968\u30a6\u30a9\u30ec\u30c3\u30c8\u3068\u3057\u3066cardano.com\u306b\u63b2\u8f09\u3055\u308c\u308b\u3079\u304d\u3082\u306e\u3001\u3042\u308b\u3044\u306f\u4ed6\u306e\u30e1\u30c7\u30a3\u30a2\u30c1\u30e3\u30f3\u30cd\u30eb\u306b\u63b2\u8f09\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u57fa\u672c\u7684\u306b\u3001\u8a8d\u5b9a\u3055\u308c\u305f\u4eba\u306f\u8ab0\u3067\u3082\u30bb\u30eb\u30d5\u30c6\u30b9\u30c8\u304c\u3067\u304d\u307e\u3059\u3002\u8a8d\u5b9a\u3055\u308c\u305f\u4eba\u306fcardano.org\u306b\u63b2\u8f09\u3055\u308c\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u3055\u3066\u3001\u3053\u308c\u3092\u7acb\u3061\u4e0a\u3052\u308b\u306b\u306f\u3069\u308c\u304f\u3089\u3044\u306e\u6642\u9593\u304c\u304b\u304b\u308b\u3067\u3057\u3087\u3046\u304b\u3002\u79c1\u305f\u3061\u306f\u3001\u305d\u306eMBO\u3092\u7acb\u3061\u4e0a\u3052\u308b\u305f\u3081\u306b\u4e00\u751f\u61f8\u547d\u306b\u50cd\u3044\u3066\u3044\u307e\u3059\u3002MBO\u3092\u7acb\u3061\u4e0a\u3052\u3001\u305d\u3057\u3066\u3067\u304d\u308b\u3060\u3051\u591a\u304f\u306e\u4f1a\u54e1\u3092\u7372\u5f97\u3057\u3001\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u30fb\u30b5\u30fc\u30d6\u3092\u3059\u3079\u3066\u306e\u5f79\u54e1\u306b\u4efb\u547d\u3057\u3001\u305d\u308c\u304b\u3089\u3001\u30af\u30fc\u30eb\u306a\u6295\u7968\u306a\u3069\u3082\u884c\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u305d\u306e\u4ed6\u306b\u3082\u3001\u305f\u304f\u3055\u3093\u306e\u30ac\u30d0\u30ca\u30f3\u30b9\u306e\u554f\u984c\u304c\u5c71\u7a4d\u307f\u3067\u3059\u3002<a href=\"https:\/\/sipo.tokyo\/?p=21226\" data-type=\"post\" data-id=\"21226\">Voltaire\uff08\u30f4\u30a9\u30eb\u30c6\u30fc\u30eb\uff09<\/a>\u306e\u958b\u767a\u306f\u3001\u73fe\u5728\u9032\u884c\u5f62\u3067\u9032\u3093\u3067\u3044\u307e\u3059\u3002\u305d\u308c\u3068\u4e26\u884c\u3057\u3066\u3001\u79c1\u305f\u3061\u306f\u5f62\u5f0f\u7684\u306a\u624b\u6cd5\u306e\u30b0\u30eb\u30fc\u30d7\u3092\u5f37\u5316\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">IO\u3067\u306f\u4eca\u3001\u3053\u306e\u30a2\u30a4\u30c7\u30a3\u30a2\u306b\u3068\u3066\u3082\u8208\u596e\u3057\u3066\u3044\u307e\u3059\u3002\u65b0\u3057\u3044git\u30ea\u30dd\u30b8\u30c8\u30ea\u306e\u3082\u3068\u3067\u3001\u30b3\u30a2\u306e\u884c\u70ba\u304c\u3069\u306e\u3088\u3046\u306a\u3082\u306e\u304b\u3092\u8a71\u3057\u59cb\u3081\u308b\u305f\u3081\u306b\u3001\u65b0\u3057\u3044\u30e1\u30f3\u30d0\u30fc\u30d9\u30fc\u30b9\u306e\u7d44\u7e54\u3067\u53ef\u80fd\u306a\u9650\u308a\u65e9\u304f\u30c1\u30fc\u30e0\u3092\u7acb\u3061\u4e0a\u3052\u307e\u3059\u3002\u591a\u304f\u306e\u4eba\u304c\u9577\u3044\u9593\u3053\u308c\u3092\u3084\u308a\u305f\u304c\u3063\u3066\u3044\u307e\u3059\u3002\u9577\u3044\u9593\u305d\u3046\u3057\u305f\u3044\u3068\u601d\u3063\u3066\u3044\u3066\u3001\u305d\u308c\u306b\u5411\u3051\u3066\u52aa\u529b\u3057\u3066\u304d\u305f\u306e\u306f\u77e5\u3063\u3066\u3044\u308b\u3067\u3057\u3087\u3046\u3002<\/p>\n\n\n\n<p class=\"\">\u3057\u304b\u3057\u3001\u307e\u3060\u8208\u5473\u6df1\u3044\u554f\u984c\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u30e6\u30fc\u30c6\u30a3\u30ea\u30c6\u30a3\u30fb\u30a4\u30f3\u30d5\u30e9\u3068\u7d71\u5408\u306b\u95a2\u3059\u308b\u8208\u5473\u6df1\u3044\u554f\u984c\u304c\u3042\u308a\u307e\u3059\u3002DBsync\u3001graphql\u3001Rosetta\u306e\u672a\u6765\u306f\uff1f\u3001\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3 \u30a8\u30af\u30b9\u30d7\u30ed\u30fc\u30e9\u306f\uff1f\u3001\u3053\u308c\u3089\u306e\u591a\u304f\u3092\u554f\u984c\u3067\u3059\u3002\u305d\u3057\u3066\u3001TX\u30d1\u30a4\u30d7\u306e\u3088\u3046\u306a\u672c\u5f53\u306b\u30af\u30fc\u30eb\u306a\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u3082\u3042\u308a\u307e\u3059\u3002\u3053\u308c\u3089\u306f\u516c\u5e73\u306b\u8a55\u4fa1\u3055\u308c\u308b\u306b\u5024\u3059\u308b\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u6280\u8853\u7cfb\u30d5\u30a7\u30ed\u30fc\u306b\u306f2\u7a2e\u985e\u3042\u308a\u307e\u3059\u3002\u30e6\u30fc\u30c6\u30a3\u30ea\u30c6\u30a3\u3084\u30a4\u30f3\u30d5\u30e9\u306e\u7d71\u5408\u3092\u62c5\u5f53\u3059\u308b\u8005\u3068\u3001\u305d\u3057\u3066\u3001\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3068\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u30b0\u30eb\u30fc\u30d7\u3067\u3059\u3002\u305d\u3057\u3066\u3001Catalyst\u306f\u3001\u3053\u306e\u3088\u3046\u306a\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u6d3b\u52d5\u306b\u8cc7\u91d1\u3092\u63d0\u4f9b\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u305d\u3057\u3066\u3001Catalyst\u306f\u305d\u306e\u30d7\u30fc\u30eb\u306b\u8cc7\u91d1\u3092\u63d0\u4f9b\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u307e\u305f\u3001\u30ab\u30eb\u30c0\u30ce\u30fb\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u5185\u306e\u4f01\u696d\u306b\u3088\u308b\u73fe\u7269\u51fa\u8cc7\u3082\u53ef\u80fd\u3067\u3059\u3002\u4f8b\u3048\u3070\u3001\u30ab\u30eb\u30c0\u30ce\u30fb\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u306b\u8ca2\u732e\u3059\u308bCTFs\u3092\u63d0\u4f9b\u3057\u3066\u304f\u308c\u308b\u4f01\u696d\u3082\u3042\u308a\u307e\u3059\u3002\u3053\u306e\u30d7\u30fc\u30eb\u306f\u3001\u591a\u304f\u306e\u30ab\u30eb\u30c0\u30ce\u30fb\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u306e\u305f\u3081\u306e\u7d20\u6674\u3089\u3057\u3044\u5834\u6240\u3092\u63d0\u4f9b\u3057\u307e\u3059\u3002\u6a19\u6e96\u7684\u306a\u30e6\u30fc\u30c6\u30a3\u30ea\u30c6\u30a3\u30fb\u30a4\u30f3\u30d5\u30e9\u30b9\u30c8\u30e9\u30af\u30c1\u30e3\u306e\u591a\u304f\u306f\u3001\u57fa\u672c\u7684\u306b\u30aa\u30fc\u30d7\u30f3\u30fb\u30b3\u30a2\u30fb\u30e2\u30c7\u30eb\u306e\u3082\u3068\u3067\u904b\u7528\u3055\u308c\u3066\u3001\u305d\u308c\u3092\u81ea\u5206\u305f\u3061\u3067\u5546\u696d\u5316\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u3057\u304b\u3057\u3001\u3053\u308c\u304c\u7686\u3055\u3093\u306e\u304a\u5f79\u306b\u7acb\u3066\u308c\u3070\u5e78\u3044\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u3042\u307e\u308a\u8907\u96d1\u306a\u8a71\u3067\u306a\u3051\u308c\u3070\u3044\u3044\u306e\u3067\u3059\u304c\u3002\u57fa\u672c\u7684\u306a\u8003\u3048\u65b9\u306f\u9752\u5199\u771f\uff1a\u8a2d\u8a08\u56f3\u304c\u6b32\u3057\u3044\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002\u305d\u3057\u3066\u3001\u305d\u306e\u3044\u304f\u3064\u304b\u306e\u53d7\u3051\u5165\u308c\u305f\u57fa\u6e96\u3001\u8907\u6570\u306e\u610f\u898b\u304c\u3042\u308a\u3001\u8a2d\u8a08\u56f3\u304c\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u305d\u306e\u8ab0\u304c\u8a2d\u8a08\u56f3\u3092\u69cb\u7bc9\u3059\u3079\u304d\u306a\u306e\u304b\uff1f\u305d\u308c\u306f\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u306b\u3088\u3063\u3066\u69cb\u7bc9\u3055\u308c\u3001\u6a19\u6e96\u5316\u3055\u308c\u308b\u3079\u304d\u3067\u3059\u3002<br>\u57fa\u672c\u7684\u306b\u306f\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u306b\u3088\u3063\u3066Agda Core\u3092\u8a2d\u5b9a\u3057\u3001ADA\u306e\u4fdd\u6709\u8005\u304b\u3089\u3001\u6b21\u306b\u4f55\u3092\u3059\u308b\u304b\u3068\u3044\u3046\u6295\u7968\u3092\u884c\u3046\u306e\u3067\u3059\u3002\u305d\u3057\u3066\u30ab\u30eb\u30c0\u30ce\u6a19\u6e96\u3067\u3042\u308a\u3001\u305d\u308c\u304cTruth\uff08\u771f\u5b9f\uff09\u306e\u30bd\u30fc\u30b9\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u4f8b\u3048\u3070Haskell\u306e\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u304c\u4ed5\u69d8\u5916\u3060\u3063\u305f\u3068\u3057\u3066\u3082\u3001\u79c1\u305f\u3061\u306f\u305d\u306e\u4ed5\u69d8\u306b\u5408\u3046\u3088\u3046\u306b\u30b3\u30fc\u30c9\u3092\u5909\u66f4\u3057\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3002\u305d\u3057\u3066\u672c\u5f53\u306b\u7d20\u6674\u3089\u3057\u3044\u306e\u306f\u3001\u5f62\u5f0f\u7684\u306a\u6280\u8853\u306e\u9032\u6b69\u304c\u304b\u306a\u308a\u8efd\u91cf\u306a\u30d7\u30ed\u30bb\u30b9\u306b\u306a\u308a\u3064\u3064\u3042\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u3082\u3057\u3042\u306a\u305f\u304cProof of Buy\u306e\u3088\u3046\u306a\u5b8c\u5168\u306a\u5f62\u5f0f\u624b\u6cd5\u3067\u3001\u30d7\u30eb\u30fc\u30d5\u30fb\u30d0\u30a4\u30fb\u30b7\u30df\u30e5\u30ec\u30fc\u30b7\u30e7\u30f3\u3092\u884c\u3046\u5834\u5408\u306f\u8d85\u91cd\u3044\u4f5c\u696d\u3067\u3059\u3002\u4f55\u5e74\u3082\u304b\u304b\u308a\u307e\u3059\u304c\u3001\u4ed5\u69d8\u66f8\u3092\u66f8\u304f\u306e\u306f\u305d\u308c\u307b\u3069\u96e3\u3057\u3044\u3053\u3068\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p>\n\n\n\n<p class=\"\">\u5b9f\u306f\u3001TLA\u30d7\u30e9\u30b9\u30fb\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u304b\u3089\u3001Leslie Lamport\u304c\u4f5c\u6210\u3057\u305f\u7d20\u6575\u306a\u30d3\u30c7\u30aa\u304c\u3042\u308a\u307e\u3059\u3002\u5f7c\u306f\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u8cde\u3092\u53d7\u8cde\u3057\u3066\u3044\u307e\u3059\u3002Sylvia Mccauley\u3082\u305d\u3046\u3067\u3059\u304c\u3001\u5f7c\u306f\u5206\u6563\u30b7\u30b9\u30c6\u30e0\u3092\u767a\u660e\u3057\u305f\u3088\u3046\u306a\u3082\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">Leslie\u306f\u4ed5\u69d8\u66f8\u4f5c\u6210\u7528\u306eTLA Plus\u3068\u3044\u3046\u5f62\u5f0f\u8a00\u8a9e\u3092\u767a\u660e\u3057\u307e\u3057\u305f\u3002\u30b3\u30fc\u30c9\u62bd\u51fa\u3092\u884c\u308f\u306a\u3044\u3001\u3088\u308a\u8efd\u91cf\u306a\u8a00\u8a9e\u3067\u3001\u30de\u30a4\u30af\u30ed\u30bd\u30d5\u30c8\u306e\u591a\u304f\u306e\u30a8\u30f3\u30b8\u30cb\u30a2\u304c\u300e\u5b9f\u8df5TLA\u300f\u3068\u3044\u3046\u672c\u307e\u3067\u51fa\u3057\u3066\u3044\u307e\u3059\u3002Xbox\u306e\u30c1\u30fc\u30e0\u3067\u306f\u3053\u308c\u3092\u5b9f\u6226\u3067\u4f7f\u3063\u3066\u3044\u307e\u3059\u3002\u30e1\u30e2\u30ea\u554f\u984c\u3092\u767a\u898b\u3057\u307e\u3057\u305f\u3002Azure\u3067\u3082\u4f7f\u3063\u3066\u3044\u307e\u3059\u3057\u3001\u30a4\u30f3\u30d5\u30e9\u5168\u4f53\u3067\u3082\u4f7f\u3063\u3066\u3044\u307e\u3059\u3002\u30b3\u30fc\u30c9\u3092\u304d\u308c\u3044\u306b\u3059\u308b\u306e\u306b\u3068\u3066\u3082\u5f79\u7acb\u3063\u3066\u3044\u307e\u3059\u3002\u4f55\u5343\u4eba\u3082\u306e\u30a8\u30f3\u30b8\u30cb\u30a2\u306e\u9593\u3067\u3001\u771f\u5b9f\u306e\u6e90\u3092\u4f5c\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u307b\u3068\u3093\u3069\u306e\u5927\u4f01\u696d\u3067\u306f\u3001\u3053\u306e\u3088\u3046\u306a\u7a2e\u985e\u306e\u4f5c\u696d\u3092\u884c\u3046\u305f\u3081\u306e\u4f55\u3089\u304b\u306e\u4ed5\u69d8\u8a00\u8a9e\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u3082\u3046\u3072\u3068\u3064\u306f\u3001<strong>\u3053\u306e\u4ed5\u69d8\u8a00\u8a9e\u306f\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u306e\u6a19\u6e96\u306b\u3082\u62e1\u5f35\u3067\u304d\u308b<\/strong>\u306e\u3067\u3059\u3002\u30ab\u30eb\u30c0\u30ce\u306b\u3068\u3063\u3066\u3053\u308c\u307b\u3069\u307e\u3067\u306b\u30a8\u30ad\u30b5\u30a4\u30c6\u30a3\u30f3\u30b0\u306a\u6642\u4ee3\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u3068\u3066\u3082\u6e80\u8db3\u3057\u3066\u3044\u307e\u3059\u3088\u3002\u5b8c\u5168\u306b\u7570\u306a\u308b\u65b9\u6cd5\u306b\u8fd1\u3065\u3044\u3066\u304a\u308a\u3001\u3053\u308c\u306f\u9577\u5e74\u306e\u7814\u7a76\u306e\u6210\u679c\u3067\u3059\u3002\u6b27\u5dde\u9023\u5408\u304b\u3089\u306e\u52a9\u6210\u91d1\u3068\u79d1\u5b66\u8005\u305f\u3061\u304c\u4f55\u5e74\u3082\u304b\u3051\u3066\u591a\u304f\u306e\u5f62\u5f0f\u7684\u306a\u624b\u6cd5\u3067\u3001\u4eba\u3005\u306f\u9ad8\u901f\u3067\u30b7\u30fc\u30e0\u30ec\u30b9\u306a\u30a2\u30c3\u30d7\u30b0\u30ec\u30fc\u30c9\u3001\u591a\u304f\u306e\u30de\u30b8\u30c3\u30af\u3092\u3001\u30ab\u30eb\u30c0\u30ce\u304c\u305d\u308c\u3092\u7d99\u7d9a\u3055\u305b\u308b\u305f\u3081\u306b\u6301\u3063\u3066\u3044\u308b\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\"><strong>\u30dd\u30ea\u30b0\u30ea\u30c3\u30c8\u30fb\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u306b\u306f\u3001\u4f55\u3089\u304b\u306e\u5f62\u3067\u771f\u5b9f\u306e\u30bd\u30fc\u30b9\u3068\u8a8d\u8a3c\u306e\u30b9\u30bf\u30f3\u30c0\u30fc\u30c9\u304c\u5fc5\u8981<\/strong>\u3067\u3059\u3002\u30b5\u30fc\u30d3\u30b9\u306b\u5bfe\u3057\u3066\u304a\u91d1\u3092\u6255\u3046\u4eba\u306f\u3001\u4e3b\u89b3\u7684\u3067\u3042\u3063\u3066\u306f\u306a\u3089\u305a\u3001\u5ba2\u89b3\u7684\u3067\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u304b\u3089\u3067\u3059\u3002\u79c1\u304c\u601d\u3046\u306b\u3001\u3053\u308c\u3092\u5b9f\u73fe\u3059\u308b\u552f\u4e00\u306e\u65b9\u6cd5\u306f\u3001\u4f1a\u54e1\u5236\u306e\u7d44\u7e54\u3067\u3001\u30c6\u30af\u30cb\u30ab\u30eb\u30d5\u30a7\u30ed\u30fc\u5236\u5ea6\u304c\u3042\u308a\u3001\u6280\u8853\u30d5\u30a7\u30ed\u30fc\u30fb\u30d7\u30ed\u30b0\u30e9\u30e0\u3068\u3001\u30b3\u30a2\u3068\u306a\u308b\u30b9\u30da\u30c3\u30af\u30e1\u30f3\u30c6\u30ca\u30fc\u306e\u30b0\u30eb\u30fc\u30d7\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u305d\u308c\u3092\u4ed5\u69d8\u306b\u843d\u3068\u3057\u8fbc\u3080\u3002\u305d\u3057\u3066\u305d\u308c\u304c\u8a8d\u8a3c\u306e\u305f\u3081\u306e\u57fa\u790e\u3068\u306a\u308a\u3001\u3055\u3089\u306b\u7279\u5b9a\u306e\u5b9f\u88c5\u306e\u8a73\u7d30\u3001\u4f8b\u3048\u3070protobufs\uff08Protocol Buffers\u306fGoogle\u304c\u53d6\u308a\u7d44\u3093\u3067\u3044\u308b\u30a4\u30f3\u30bf\u30d5\u30a7\u30fc\u30b9\u5b9a\u7fa9\u8a00\u8a9e\uff09\u3092\u4f7f\u3046\u306e\u304b\u3001\u305d\u308c\u3068\u3082\u3042\u308c\u304b\u3053\u308c\u304b\u3002\u305d\u3093\u306a\u3053\u3068\u306f\u3069\u3046\u3067\u3082\u3044\u3044\u3093\u3067\u3059\u3002\u672c\u5f53\u306b\u91cd\u8981\u306a\u306e\u306f\u3042\u308b\u30ac\u30a4\u30c9\u30e9\u30a4\u30f3\u3092\u9075\u5b88\u3059\u308b\u3053\u3068\u3067\u3059\u3002\u5b89\u5168\u6027\u3001\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u3001\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u3001\u305d\u3057\u3066\u6a19\u6e96\u7684\u306a\u30c6\u30b9\u30c8\u30b9\u30a4\u30fc\u30c8\u3067\u304c\u5fc5\u8981\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u30a4\u30fc\u30b5\u30ea\u30a2\u30e0\u8ca1\u56e3\u304cEVM\u306e\u305f\u3081\u306b\u7dad\u6301\u3057\u3066\u3044\u308b\u30c6\u30b9\u30c8\u30b9\u30a4\u30fc\u30c8\u306f\u3001\u3042\u308b\u610f\u5473\u771f\u5b9f\u306e\u6e90\u3067\u3059\u3002\u3057\u304b\u3057\u3001\u79c1\u305f\u3061\u306f\u305d\u308c\u4ee5\u4e0a\u306e\u3082\u306e\u3092\u5fc5\u8981\u3068\u3057\u3066\u3044\u307e\u3059\u3002\u975e\u4e2d\u592e\u96c6\u6a29\u7684\u306a\u66f4\u65b0\u30b7\u30b9\u30c6\u30e0\u306e\u305f\u3081\u306e\u6a19\u6e96\u3001\u30cf\u30fc\u30c9\u30d5\u30a9\u30fc\u30af\u30b3\u30f3\u30d3\u30cd\u30fc\u30bf\u3092\u62bd\u8c61\u5316\u3057\u3001\u79fb\u690d\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u62bd\u8c61\u5316\u3057\u3001\u79fb\u690d\u3059\u308b\u3053\u3068\u3067\u8907\u6570\u306e\u30b3\u30fc\u30c9\u30d9\u30fc\u30b9\u306b\u30d7\u30e9\u30b0\u30a4\u30f3\u3067\u304d\u308b\u3088\u3046\u306b\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u305d\u306e\u305f\u3081\u3001\u8907\u6570\u306e\u30b3\u30fc\u30c9\u30d9\u30fc\u30b9\u306b\u63a5\u7d9a\u3067\u304d\u308b\u3088\u3046\u306b\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u30b7\u30fc\u30e0\u30ec\u30b9\u306a\u30a2\u30c3\u30d7\u30b0\u30ec\u30fc\u30c9\u304c\u53ef\u80fd\u306b\u306a\u308a\u307e\u3059\u3002\u3053\u308c\u3092\u5b9f\u73fe\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u3067\u3059\u304b\u3089\u3001\u73fe\u6642\u70b9\u3067\u306f\u3001\u3082\u3057\u3042\u306a\u305f\u65b9\u304c\u3053\u306e\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306b\u53c2\u52a0\u3059\u308b\u306e\u3067\u3042\u308c\u3070\u3001\u6700\u3082\u52b9\u679c\u7684\u306a\u304a\u91d1\u306e\u4f7f\u3044\u65b9\u3060\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u3082\u3057\u3001\u307f\u306a\u3055\u3093\u304cdcSpark\u306b800\u4e07\u30c9\u30eb\u4ee5\u4e0a\u306e\u8cc7\u91d1\u3092\u6295\u3058\u3001\u30a4\u30f3\u30d5\u30e9\u3068\u30e6\u30fc\u30c6\u30a3\u30ea\u30c6\u30a3\u3068\u7d71\u5408\u306b\u53d6\u308a\u7d44\u3093\u3067\u3082\u3089\u3046\u3053\u3068\u3067\u3042\u308c\u3070\u3001\u6700\u3082\u6709\u52b9\u306a\u4f7f\u3044\u9053\u3060\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u30e6\u30fc\u30c6\u30a3\u30ea\u30c6\u30a3\u3068\u30a4\u30f3\u30c6\u30b0\u30ec\u30fc\u30b7\u30e7\u30f3\u3067\u3059\u3002\u3088\u308a\u826f\u3044\u958b\u767a\u30c4\u30fc\u30eb\u304c\u5fc5\u8981\u306a\u3093\u3067\u3059\u3002\u5f7c\u3089\u304cFlint\u3067\u3084\u3063\u305f\u3088\u3046\u306a\u3053\u3068\u3001\u305d\u3057\u3066dbsync\u306e\u30d0\u30fc\u30b8\u30e7\u30f3\u3082\u5fc5\u8981\u3067\u3059\u3002\u30b9\u30b1\u30fc\u30eb\u30a2\u30c3\u30d7\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u305d\u306e\u305f\u3081\u306b\u8cc7\u91d1\u3092\u63d0\u4f9b\u3059\u3079\u304d\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u307e\u305a\u306f<strong>Agada\u30af\u30e9\u30a4\u30a2\u30f3\u30c8<\/strong>\u3092\u5b8c\u6210\u3055\u305b\u308b\u3053\u3068\u3060\u3068\u601d\u3044\u307e\u3059\u3002\u305d\u306e\u305f\u3081\u306e\u5927\u304d\u306a\u63d0\u6848\u304c\u3042\u308a\u3001\u305d\u308c\u306b\u5411\u3051\u3066<strong>\u6765\u5e74\u306b\u306fMBO\u3092\u5b9f\u65bd\u3059\u308b\u4e88\u5b9a<\/strong>\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u305d\u3057\u3066\u6765\u5e74\u3001MBO\u3092\u5b9f\u65bd\u3059\u308b\u969b\u306b\u306f\u3001\u79c1\u305f\u3061\u3082\u307e\u305f\u3001\u305d\u306e\u305f\u3081\u306b\u5fc5\u8981\u306a\u30ea\u30bd\u30fc\u30b9\u3092\u63d0\u4f9b\u3057\u307e\u3059\u3002\u307e\u305f\u3001\u4ed6\u306e\u30e1\u30f3\u30d0\u30fc\u3082\u540c\u3058\u3088\u3046\u306b\u671f\u5f85\u3057\u3066\u3044\u307e\u3059\u3002\u305d\u3057\u3066\u3001\u3059\u3050\u306b\u3067\u3082\u3001\u591a\u304f\u306e\u4eba\u306b\u3068\u3063\u3066\u306e\u57fa\u790e\u7684\u306a\u4ed5\u69d8\u306b\u5230\u9054\u3067\u304d\u308b\u3068\u601d\u3044\u307e\u3059\u3002\u305d\u3046\u306a\u308c\u3070\u3001\u30b3\u30f3\u30bd\u30fc\u30b7\u30a2\u30e0\u3068\u3057\u3066\u3082\u975e\u5e38\u306b\u6709\u610f\u7fa9\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u30b3\u30f3\u30bd\u30fc\u30b7\u30a2\u30e0\u3092\u8a2d\u7acb\u3057\u3001\u305d\u306e\u30b3\u30f3\u30bd\u30fc\u30b7\u30a2\u30e0\u3067\u306f\u4eca\u5f8c5\u5e74\u9593\u3067\u3001\u3069\u306e\u3088\u3046\u306b\u9769\u65b0\u7684\u306a\u6280\u8853\u3092\u958b\u767a\u3057<br>\u3053\u306e\u3088\u3046\u306a\u30a4\u30ce\u30d9\u30fc\u30b7\u30e7\u30f3\u306b\u306f\u591a\u304f\u306e\u7af6\u4e89\u3092\u3082\u305f\u3089\u3057\u307e\u3059\u3002\u591a\u304f\u306e\u958b\u767a\u30c1\u30fc\u30e0\u304c\u53c2\u52a0\u3059\u308b\u3067\u3057\u3087\u3046\u3002<\/p>\n\n\n\n<p class=\"\">\u3082\u3057\u3001\u4ed5\u69d8\u3084\u6a19\u6e96\u3092\u4f5c\u308a\u305f\u3044\u3068\u8003\u3048\u3066\u3044\u308b\u4eba\u306f\u3001\u305d\u308c\u3092\u5b9f\u73fe\u3059\u308b\u7d76\u597d\u306e\u6a5f\u4f1a\u304c\u3042\u308b\u3053\u3068\u3092\u5fc3\u306b\u7559\u3081\u3066\u304a\u3044\u3066\u304f\u3060\u3055\u3044\u3002\u3082\u3057\u3042\u306a\u305f\u304c\u7af6\u5408\u3059\u308b\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u3092\u4f5c\u308a\u305f\u3044\u306e\u3067\u3042\u308c\u3070\u3001\u305d\u306e\u6642\u306f\u3001\u305c\u3072\u79c1\u305f\u3061\u306b\u58f0\u3092\u304b\u3051\u3066\u304f\u3060\u3055\u3044\u3002\u3068\u3044\u3046\u306e\u3082\u3001\u3053\u306e\u3088\u3046\u306a\u3053\u3068\u3092\u3059\u308b\u305f\u3081\u306b\u30b3\u30f3\u30bd\u30fc\u30b7\u30a2\u30e0\u3092\u4f5c\u308b\u306e\u306f\u7d20\u6674\u3089\u3057\u3044\u3053\u3068\u3060\u304b\u3089\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\">\u3068\u3044\u3046\u3053\u3068\u3067\u3001\u3068\u306b\u304b\u304f\u3053\u306e\u3088\u3046\u306a\u3053\u3068\u306f\u3001\u5e38\u306b\u614e\u91cd\u306b\u63a8\u8ad6\u3057\u305f\u3044\u3082\u306e\u3067\u3059\u3002\u30ea\u30c3\u30af\u3055\u3093\u3001\u6295\u7968\u3092\u3042\u308a\u304c\u3068\u3046\u3054\u3056\u3044\u307e\u3057\u305f\u3002\u3068\u3066\u3082\u5fc5\u8981\u306a\u3053\u3068\u3060\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"\"><br><strong>\u3069\u306e\u3088\u3046\u306b\u5206\u6a29\u5316\u3092\u9032\u3081\u3066\u3044\u304f\u304b\uff1f\u305d\u306e\u3072\u3068\u3064\u306f\u30ac\u30d0\u30ca\u30f3\u30b9\u3067\u3001\u3082\u3046\u3072\u3068\u3064\u306f\u30c1\u30a7\u30fc\u30f3\u30ac\u30d0\u30ca\u30f3\u30b9\u3067\u3059\u3002<\/strong><br>\u30c1\u30a7\u30fc\u30f3\u30ac\u30d0\u30ca\u30f3\u30b9\u3084\u6295\u7968\u3092\u5897\u3084\u3059\u3053\u3068\u3067\u3059\u3002\u305d\u3057\u3066\u6295\u7968\u306e\u30ec\u30d9\u30eb\u3092\u4e0a\u3052\u7d9a\u3051\u308b\u3053\u3068\u3067\u3059\u3002\u30b9\u30c6\u30fc\u30af\u30d7\u30fc\u30eb\u30fb\u30aa\u30da\u30ec\u30fc\u30bf\u30fc\u306e\u5206\u6563\u5316\u306e\u30ec\u30d9\u30eb\u3092\u9ad8\u3081\u3066\u3044\u304f\u3053\u3068\u3067\u3059\u3002\u305d\u306e\u4e00\u74b0\u3068\u3057\u3066\u3001\u3088\u308a\u7c21\u5358\u306a\u6295\u7968\u30c4\u30fc\u30eb\u3082\u305d\u306e\u3072\u3068\u3064\u3067\u3059\u304c\u3001\u307e\u305f\u3001\u958b\u767a\u30c1\u30fc\u30e0\u9593\u306e\u5206\u6563\u5316\u3082\u5fc5\u8981\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"\"><strong>\u554f\u984c\u306f\u3001\u5206\u6563\u5316\u3092\u9032\u3081\u308c\u3070\u9032\u3081\u308b\u307b\u3069\u3001\u6b63\u3057\u304f\u51e6\u7406\u3057\u306a\u3044\u3068\u3001\u30a2\u30c3\u30d7\u30b0\u30ec\u30fc\u30c9\u304c\u3067\u304d\u306a\u304f\u306a\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002\u8abf\u6574\u554f\u984c\u304c\u767a\u751f\u3057\u3001\u7c21\u5358\u306b\u30a2\u30c3\u30d7\u30b0\u30ec\u30fc\u30c9\u3067\u304d\u306a\u3044\u4e8b\u614b\u306b\u306a\u308a\u307e\u3059\u3002\u305d\u306e\u305f\u3081\u3001\u771f\u5b9f\uff08\u30bd\u30fc\u30b9\uff09\u3068\u8ab0\u3082\u304c\u5f93\u3046\u3079\u304d\u6a19\u6e96\u304c\u5fc5\u8981\u3067\u3059\u3002<\/strong><br><br><strong>\u305d\u3057\u3066\u3001\u4f55\u3089\u304b\u306e\u793e\u4f1a\u7684\u306a\u69cb\u9020\u3068\u3057\u3066\u3001\u8a8d\u8a3c\u5236\u5ea6\u304c\u5fc5\u8981\u3067\u3059\u3002\u3053\u306e\u3088\u3046\u306a\u30a4\u30f3\u30d5\u30e9\u304c\u3042\u308c\u3070\u3001\u79c1\u305f\u3061\u306f<br>\u30a4\u30ce\u30d9\u30fc\u30b7\u30e7\u30f3\u306e\u901f\u5ea6\u3092\u7dad\u6301\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3068\u601d\u3044\u307e\u3059\u3002<\/strong>\u3055\u3089\u306b\u30a4\u30ce\u30d9\u30fc\u30b7\u30e7\u30f3\u306e\u901f\u5ea6\u3092\u7dad\u6301\u3057\u306a\u304c\u3089\u3001\u540c\u6642\u306b\u30013\u3064\u304b4\u3064\u4ee5\u4e0a\u306e\u7af6\u5408\u3059\u308b\u30af\u30e9\u30a4\u30a2\u30f3\u30c8\u304c\u3001\u4e92\u3044\u306b\u7af6\u3044\u5408\u3046\u3088\u3046\u306b\u3001\u305d\u306e\u305f\u3081\u306b\u591a\u304f\u306e\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u3092\u69cb\u7bc9\u3057\u3066\u3044\u307e\u3059\u3002<br><br>\u305d\u308c\u3067\u306f\u307e\u305f\u3002<br>\u307e\u305f\u304a\u4f1a\u3044\u3057\u307e\u3057\u3087\u3046\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"https:\/\/youtu.be\/skcCg1WaedA \u30ab\u30eb\u30c0\u30ce\u306fBASHO\u30d5\u30a7\u30fc\u30ba\u3067\u30ab\u30eb\u30c0\u30ce\u306e\u30b9\u30b1\u30fc\u30eb\u30a2\u30c3\u30d7\u306b\u53d6\u308a\u7d44\u3080\u4e00\u65b9\u3001\u30ed\u30fc\u30c9\u30de\u30c3\u30d7\u306e\u6700\u5f8c\u306e\u7826\u3068\u306a\u308bVoltaire\uff08\u30dc\u30eb\u30c6\u30fc\u30eb\uff09\u30d5\u30a7\u30fc\u30ba\u3082\u4e26\u884c\u3057\u3066\u9032\u3081\u3066\u3044\u307e\u3057\u305f\u3002\u305d\u3057\u3066\u3001Vasil\u30a2\u30c3\u30d7\u30b0\u30ec\u30fc\u30c9\u304c\u5b8c\u4e86\u3057\u305f\u6642\u70b9\u3067\u3001\u30ab\u30eb\u30c0\u30ce\u5275\u8a2d\u8005\u3067\u3042\u308b\u30c1\u30e3\u30fc\u30eb\u30ba\u30fb\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u306f\u3001\u30ac\u30d0\u30ca\u30f3\u30b9\u3068\u81ea\u5f8b\u5206\u6563\u5316\u3078\u306e\u53d6\u308a\u7d44\u307f\u3092\u66f4\u306b\u9032\u3081\u308b\u305f\u3081\u306b\u3001\u3082\u3046\u9593\u3082\u7121\u304fVoltaire\uff08\u30dc\u30eb\u30c6\u30fc\u30eb\uff09\u6642\u4ee3\u304c\u672c\u683c\u7684\u30b9\u30bf\u30fc\u30c8\u3059\u308b\u3068\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002 \u305d\u3057\u3066\u3001\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u6c0f\u306f\u81ea\u8eab\u306e\u52d5\u753b\u300eRoad to a Polyglot Ecosystem for Cardano\u300f\u3067\u3001\u4eca\u5f8c\u306e\u6301\u7d9a\u53ef\u80fd\u304b\u3064\u66f4\u65b0\u53ef\u80fd\u306a\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u3092\u5b9f\u73fe\u3059\u308b\u305f\u3081\u306e&hellip;","protected":false},"author":1,"featured_media":21328,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[93,21,35,1,38],"tags":[],"class_list":{"0":"post-21022","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-93","8":"category-21","9":"category-blog","10":"category-japanese","11":"category-38"},"featured_image_urls":{"full":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2022\/10\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2022-10-05-18.11.49.png",2880,1800,false],"thumbnail":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2022\/10\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2022-10-05-18.11.49-150x150.png",150,150,true],"medium":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2022\/10\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2022-10-05-18.11.49-300x188.png",300,188,true],"medium_large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2022\/10\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2022-10-05-18.11.49-768x480.png",768,480,true],"large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2022\/10\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2022-10-05-18.11.49-1024x640.png",900,563,true],"1536x1536":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2022\/10\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2022-10-05-18.11.49-1536x960.png",1536,960,true],"2048x2048":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2022\/10\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2022-10-05-18.11.49-2048x1280.png",2048,1280,true],"dp-widget-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2022\/10\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2022-10-05-18.11.49-140x96.png",140,96,true],"dp-widget-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2022\/10\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2022-10-05-18.11.49-280x192.png",280,192,true],"dp-related-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2022\/10\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2022-10-05-18.11.49-250x154.png",250,154,true],"dp-related-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2022\/10\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2022-10-05-18.11.49-500x308.png",500,308,true],"dp-archive-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2022\/10\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2022-10-05-18.11.49-450x281.png",450,281,true],"dp-archive-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2022\/10\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2022-10-05-18.11.49-900x563.png",900,563,true]},"category_list":"<a href=\"https:\/\/sipo.tokyo\/?cat=93\" rel=\"category\">\u30c1\u30e3\u30fc\u30eb\u30ba\u30fb\u30db\u30b9\u30ad\u30f3\u30bd\u30f3\u52d5\u753b<\/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\/21022","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=21022"}],"version-history":[{"count":12,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/21022\/revisions"}],"predecessor-version":[{"id":21388,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/21022\/revisions\/21388"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/media\/21328"}],"wp:attachment":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=21022"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=21022"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=21022"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}