{"id":33897,"date":"2021-04-08T13:00:46","date_gmt":"2021-04-08T13:00:46","guid":{"rendered":"https:\/\/toposuranos.com\/material\/?p=33897"},"modified":"2025-08-01T02:06:10","modified_gmt":"2025-08-01T02:06:10","slug":"%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/","title":{"rendered":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027"},"content":{"rendered":"<div style=\"background-color:#F3F3F3; padding:20px;\">\n<center><\/p>\n<h1>\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027<\/h1>\n<p><\/p>\n<p style=\"text-align:center;\"><strong>\u8981\u7d04<\/strong><br \/><em>\u3053\u306e\u8b1b\u7fa9\u3067\u306f\u3001\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306e\u95a2\u4fc2\u306b\u3064\u3044\u3066\u53d6\u308a\u4e0a\u3052\u307e\u3059\u3002\u547d\u984c\u8ad6\u7406\u306e\u63a8\u8ad6\u6280\u6cd5\u3084\u610f\u5473\u8ad6\u306f\u5e83\u304f\u8b70\u8ad6\u3055\u308c\u3066\u304d\u307e\u3057\u305f\u304c\u3001\u305d\u308c\u3089\u4e8c\u3064\u306e\u5074\u9762\u306e\u95a2\u4fc2\u306b\u306f\u3042\u307e\u308a\u6ce8\u610f\u304c\u6255\u308f\u308c\u3066\u304d\u307e\u305b\u3093\u3067\u3057\u305f\u3002\u5065\u5168\u6027\u3068\u306f\u3001\u8ad6\u7406\u4f53\u7cfb\u304c\u5f0f G \u3092\u8868\u73fe\u96c6\u5408 \u0393 \u304b\u3089\u63a8\u8ad6\u3067\u304d\u308b\u3068\u3044\u3046\u6027\u8cea\u3092\u6307\u3057\u307e\u3059\u3002\u4e00\u65b9\u3001\u5b8c\u5168\u6027\u3068\u306f\u3001\u3082\u3057 G \u304c \u0393 \u306e\u610f\u5473\u8ad6\u7684\u5e30\u7d50\u3067\u3042\u308b\u306a\u3089\u3070\u3001\u524d\u63d0 \u0393 \u306b\u3088\u308b\u5f62\u5f0f\u7684\u8a3c\u660e\u304c\u5b58\u5728\u3057\u3066 G \u3092\u63a8\u8ad6\u3067\u304d\u308b\u3068\u3044\u3046\u8ad6\u7406\u4f53\u7cfb\u306e\u6027\u8cea\u3092\u6307\u3057\u307e\u3059\u3002\u672c\u8b1b\u7fa9\u3067\u306f\u3001\u547d\u984c\u8ad6\u7406\u304c\u5065\u5168\u304b\u3064\u5b8c\u5168\u3067\u3042\u308b\u3053\u3068\u3092\u8a3c\u660e\u3057\u3001\u305d\u308c\u305e\u308c\u306e\u6027\u8cea\u306b\u3064\u3044\u3066\u8a73\u7d30\u306a\u8aac\u660e\u3092\u884c\u3044\u307e\u3059\u3002\u7279\u306b\u3001\u5065\u5168\u6027\u304c\u547d\u984c\u8ad6\u7406\u306e\u63a8\u8ad6\u4f53\u7cfb\u306e\u69cb\u9020\u304b\u3089\u3069\u306e\u3088\u3046\u306b\u5c0e\u304b\u308c\u308b\u304b\u3001\u307e\u305f\u5b8c\u5168\u6027\u304c\u3044\u304b\u306b\u7c21\u6f54\u306b\u793a\u3055\u308c\u308b\u304b\u3092\u8aac\u660e\u3057\u307e\u3059\u3002\u3053\u306e\u5206\u6790\u306f\u3001\u547d\u984c\u8ad6\u7406\u306e\u6a5f\u80fd\u3092\u7406\u89e3\u3057\u3001\u69d8\u3005\u306a\u77e5\u8b58\u5206\u91ce\u306b\u52b9\u679c\u7684\u306b\u5fdc\u7528\u3059\u308b\u305f\u3081\u306b\u975e\u5e38\u306b\u91cd\u8981\u3067\u3059\u3002<\/em><\/p>\n<p><\/center><br \/>\n<\/p>\n<p style=\"text-align:center;\"><strong>\u5b66\u7fd2\u76ee\u6a19:<\/strong><br \/>\n\u3053\u306e\u8b1b\u7fa9\u3092\u7d42\u3048\u305f\u5f8c\u3001\u5b66\u751f\u306f\u6b21\u306e\u3053\u3068\u304c\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308a\u307e\u3059\uff1a\n<\/p>\n<ol>\n<li><strong>\u5065\u5168\u6027<\/strong>\u3068<strong>\u5b8c\u5168\u6027<\/strong>\u3092\u8ad6\u7406\u4f53\u7cfb\u306b\u304a\u3044\u3066\u533a\u5225\u3067\u304d\u308b\u3002<\/li>\n<li>\u547d\u984c\u8ad6\u7406\u306e\u5065\u5168\u6027\u3092\u793a\u3059\u305f\u3081\u306b\u3001\u30eb\u30ab\u30b7\u30a7\u30f4\u30a3\u30c1\u306e\u516c\u7406\u306b\u5bfe\u3057\u3066\u771f\u7406\u5024\u8868\u3092<strong>\u9069\u7528<\/strong>\u3067\u304d\u308b\u3002<\/li>\n<li>\u6f14\u7e79\u5b9a\u7406\u306e\u610f\u5473\u8ad6\u7684\u30d0\u30fc\u30b8\u30e7\u30f3\u3092\u7528\u3044\u3066\u3001\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u306e\u5f62\u5f0f\u3092<strong>\u8aac\u660e<\/strong>\u3067\u304d\u308b\u3002<\/li>\n<li>\u5065\u5168\u6027\u3068\u5b8c\u5168\u6027\u304c\u76f8\u4e92\u306b\u95a2\u9023\u3057\u3066\u304a\u308a\u3001\u3069\u3061\u3089\u3082\u4e00\u65b9\u304b\u3089<strong>\u5c0e\u51fa<\/strong>\u3067\u304d\u308b\u3053\u3068\u3092\u7406\u89e3\u3067\u304d\u308b\u3002<\/li>\n<li>\u6052\u771f\u547d\u984c\uff08\u30c8\u30fc\u30c8\u30ed\u30b8\u30fc\uff09\u306e\u6982\u5ff5\u3068\u3001\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b9a\u7406\u3068\u306e\u95a2\u4fc2\u3092<strong>\u5206\u6790<\/strong>\u3067\u304d\u308b\u3002<\/li>\n<\/ol>\n<p style=\"text-align:center;\"><strong>\u76ee\u6b21<\/strong><br \/>\n<a href=\"#1\">\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027<\/a><br \/>\n<a href=\"#2\">\u547d\u984c\u8ad6\u7406\u306f\u5065\u5168\u3067\u3042\u308b<\/a><br \/>\n<a href=\"#3\">\u547d\u984c\u8ad6\u7406\u306f\u5b8c\u5168\u3067\u3042\u308b<\/a><br \/>\n<center><iframe class=\"lazyload\" width=\"560\" height=\"315\" data-src=\"https:\/\/www.youtube.com\/embed\/dGrwsPMHa90\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen=\"allowfullscreen\"><\/iframe><\/center>\n<\/div>\n<p><a name=\"1\"><\/a><\/p>\n<h2>\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=dGrwsPMHa90&amp;t=181s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">\u3053\u3053\u306b\u81f3\u3063\u3066\u3001\u547d\u984c\u8ad6\u7406\u306e\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306b\u3064\u3044\u3066\u8a9e\u308b\u3079\u304d\u6642\u304c\u6765\u307e\u3057\u305f\u3002<\/span><\/strong><\/a>\u3053\u308c\u307e\u3067\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u63a8\u8ad6\u6280\u8853\u3084\u610f\u5473\u8ad6\u306b\u3064\u3044\u3066\u306f\u591a\u304f\u8a9e\u3089\u308c\u3066\u304d\u307e\u3057\u305f\u304c\u3001\u305d\u308c\u3089\u306f\u3042\u305f\u304b\u3082\u4e92\u3044\u306b\u5168\u304f\u95a2\u4fc2\u306e\u306a\u3044\u4e8c\u3064\u306e\u5074\u9762\u3067\u3042\u308b\u304b\u306e\u3088\u3046\u306b\u6271\u308f\u308c\u3066\u304d\u307e\u3057\u305f\u3002\u3057\u304b\u3057\u3001\u5b9f\u969b\u306b\u306f\u5168\u304f\u9006\u306a\u306e\u3067\u3059\u3002<\/p>\n<table>\n<tbody>\n<tr>\n<td>\n<p style=\"text-align: justify;\"><strong>\u5065\u5168\u6027\uff08SOLVENCIA\uff09:<\/strong> \u4e00\u65b9\u3067\u3001\u3042\u308b\u8ad6\u7406\u4f53\u7cfb\u304c<strong>\u5065\u5168<\/strong>\u3067\u3042\u308b\u3068\u306f\u3001\u3042\u308b\u5f0f G \u304c\u8868\u73fe\u96c6\u5408 <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span><\/span> \u304b\u3089\u63a8\u8ad6\u3067\u304d\u308b\u306a\u3089\u3070\u3001G \u306f <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span><\/span> \u306e\uff08\u610f\u5473\u8ad6\u7684\u306a\uff09\u5e30\u7d50\u3067\u3042\u308b\u3053\u3068\u3092\u5e38\u306b\u610f\u5473\u3057\u307e\u3059\u3002<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p style=\"text-align: justify;\"><strong>\u5b8c\u5168\u6027\uff08COMPLETITUD\uff09:<\/strong> \u4ed6\u65b9\u3067\u3001\u3042\u308b\u8ad6\u7406\u4f53\u7cfb\u304c<strong>\u5b8c\u5168<\/strong>\u3067\u3042\u308b\u3068\u306f\u3001\u3082\u3057 G \u304c\u8868\u73fe\u96c6\u5408 <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span><\/span> \u306e\u610f\u5473\u8ad6\u7684\u5e30\u7d50\u3067\u3042\u308b\u306a\u3089\u3070\u3001\u524d\u63d0 <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span><\/span> \u306b\u57fa\u3065\u304f\u5f62\u5f0f\u7684\u8a3c\u660e\u304c\u5b58\u5728\u3057\u3001\u305d\u3053\u304b\u3089 G \u3092\u63a8\u8ad6\u3067\u304d\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><img decoding=\"async\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" data-src=\"https:\/\/1.bp.blogspot.com\/-VKgbesdSWbQ\/YG6s7C9kkdI\/AAAAAAAAE2g\/K5hUDwI6KkAs5FNmmkTZ1RRV_LqV_kxlQCLcBGAsYHQ\/s0\/completitud%2By%2Bsolvencia.PNG\" alt=\"\u547d\u984c\u8ad6\u7406\u306e\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\" class=\" aligncenter lazyload\" width=\"285\" height=\"220\" \/><noscript><img decoding=\"async\" src=\"https:\/\/1.bp.blogspot.com\/-VKgbesdSWbQ\/YG6s7C9kkdI\/AAAAAAAAE2g\/K5hUDwI6KkAs5FNmmkTZ1RRV_LqV_kxlQCLcBGAsYHQ\/s0\/completitud%2By%2Bsolvencia.PNG\" alt=\"\u547d\u984c\u8ad6\u7406\u306e\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\" class=\" aligncenter lazyload\" width=\"285\" height=\"220\" \/><\/noscript><\/p>\n<p style=\"text-align: justify;\">\u3053\u308c\u3089\u306e\u6982\u5ff5\u3092\u898b\u76f4\u3057\u3066\u307f\u308b\u3068\u3001\u547d\u984c\u8ad6\u7406\u306b\u304a\u3044\u3066\u306f\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306e\u4e21\u65b9\u304c\u6e80\u305f\u3055\u308c\u3066\u3044\u308b\u3053\u3068\u304c\u308f\u304b\u308a\u307e\u3059\u3002<\/p>\n<p><a name=\"2\"><\/a><\/p>\n<h2>\u547d\u984c\u8ad6\u7406\u306f\u5065\u5168\u3067\u3042\u308b<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=dGrwsPMHa90&amp;t=292s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">\u547d\u984c\u8ad6\u7406\u306e\u5065\u5168\u6027\u3092\u5f97\u308b\u306e\u306f\u7c21\u5358\u3067\u3059<\/span><\/strong><\/a>\u3002\u305d\u306e\u63a8\u8ad6\u4f53\u7cfb\u306e\u69cb\u6210\u3092\u89b3\u5bdf\u3059\u308b\u3060\u3051\u3067\u5206\u304b\u308a\u307e\u3059\u3002\u30eb\u30ab\u30b7\u30a7\u30f4\u30a3\u30c1\u306e\u516c\u7406\u306b\u5bfe\u3057\u3066\u771f\u7406\u5024\u8868\u3092\u4f5c\u6210\u3059\u308b\u3068\u3001\u305d\u308c\u3089\u304c\u5e38\u306b\u771f\u3068\u306a\u308b\u69cb\u9020\u3092\u6301\u3063\u3066\u3044\u308b\u3053\u3068\u304c\u308f\u304b\u308a\u307e\u3059\u3002\u3059\u306a\u308f\u3061\uff1a<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\models (\\alpha \\rightarrow (\\beta \\rightarrow \\alpha))<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\models ((\\alpha \\rightarrow (\\beta \\rightarrow \\gamma))\\rightarrow ((\\alpha \\rightarrow \\beta) \\rightarrow (\\alpha \\rightarrow \\gamma)))<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\models ((\\neg\\beta \\rightarrow \\neg\\alpha)\\rightarrow(\\alpha \\rightarrow \\beta))<\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">\u540c\u69d8\u306b\u3001\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u306f\u6b21\u306e\u3088\u3046\u306b\u66f8\u304d\u63db\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff1a<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha,(\\alpha\\rightarrow \\beta)\\}\\models \\beta.<\/span><\/span>\u3053\u308c\u306f\u6f14\u7e79\u5b9a\u7406\u306e\u610f\u5473\u8ad6\u7684\u30d0\u30fc\u30b8\u30e7\u30f3\u3092\u7528\u3044\u3066\u5c0e\u304f\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u5b9f\u969b\u3001\u3053\u306e\u65b9\u6cd5\u306b\u3088\u308a\u6b21\u306e\u3088\u3046\u306b\u5f97\u3089\u308c\u307e\u3059\uff1a<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha\\rightarrow \\beta)\\}\\models (\\alpha\\rightarrow \\beta),<\/span><\/span>\u3055\u3089\u306b\u3001<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\models ((\\alpha\\rightarrow \\beta)\\rightarrow (\\alpha\\rightarrow \\beta)),<\/span><\/span>\u3002\u3053\u308c\u306f\u3082\u3061\u308d\u3093\u3001\u660e\u3089\u304b\u306a\u6052\u771f\u547d\u984c\uff08\u30c8\u30fc\u30c8\u30ed\u30b8\u30fc\uff09\u3067\u3059\u3002<\/p>\n<p><a name=\"3\"><\/a><\/p>\n<h2>\u547d\u984c\u8ad6\u7406\u306f\u5b8c\u5168\u3067\u3042\u308b<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=dGrwsPMHa90&amp;t=487s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">\u547d\u984c\u8ad6\u7406\u306e\u5b8c\u5168\u6027\u304c\u610f\u5473\u3059\u308b\u306e\u306f\u3001<\/span><\/strong><\/a>\u3082\u3057 B \u304c A \u306e\u610f\u5473\u8ad6\u7684\u5e30\u7d50\u3067\u3042\u308b\u306a\u3089\u3070\u3001A \u304b\u3089 B \u3092\u63a8\u8ad6\u3067\u304d\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002\u8a00\u3044\u63db\u3048\u308c\u3070\u3001\u3059\u3079\u3066\u306e\u771f\u306a\u308b\u8868\u73fe\u306b\u306f\u8a3c\u660e\u304c\u5b58\u5728\u3059\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002\u3053\u308c\u304c\u5b8c\u5168\u6027\u3068\u547c\u3070\u308c\u308b\u3082\u306e\u3067\u3059\u3002\u305d\u3057\u3066\u3053\u308c\u306f\u7c21\u6f54\u306a\u65b9\u6cd5\u3067\u5c0e\u51fa\u3067\u304d\u307e\u3059\u3002<\/p>\n<p style=\"text-align: justify;\">\u3053\u308c\u306f\u7c21\u5358\u306b\u5c0e\u304d\u51fa\u305b\u307e\u3059\u3002A \u304b\u3089 B \u3092\u63a8\u8ad6\u3067\u304d\u306a\u3044\u3068\u4eee\u5b9a\u3057\u307e\u3057\u3087\u3046\u3002\u3064\u307e\u308a\u3001<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(A\\vdash B)<\/span><\/span> \u3067\u3042\u308b\u3068\u3057\u307e\u3059\u3002\u6f14\u7e79\u5b9a\u7406\u306b\u3088\u308c\u3070\u3001\u3053\u308c\u306f <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg (\\vdash A\\rightarrow B)<\/span><\/span> \u3068\u3044\u3046\u3053\u3068\u3068\u540c\u5024\u3067\u3059\u3002\u3053\u3053\u3067\u3001\u5065\u5168\u6027\u3092\u7528\u3044\u308b\u3068\u3001<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\models A \\rightarrow B)<\/span><\/span> \u3068\u306a\u308a\u3001\u6f14\u7e79\u5b9a\u7406\u306e\u610f\u5473\u8ad6\u30d0\u30fc\u30b8\u30e7\u30f3\u306e\u9006\u3092\u4f7f\u3046\u3068\u3001<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(A\\models B)<\/span><\/span> \u306b\u3082\u7b49\u3057\u3044\u3053\u3068\u304c\u5206\u304b\u308a\u307e\u3059\u3002\u3064\u307e\u308a\u3001\u8981\u7d04\u3059\u308b\u3068\u6b21\u306e\u3088\u3046\u306b\u306a\u308a\u307e\u3059\uff1a<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(A\\vdash B) \\Rightarrow \\neg(A\\models B) <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">\u3053\u308c\u306f\u6b21\u306e\u3088\u3046\u306b\u8a00\u3044\u63db\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff1a<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(A\\models B) \\Rightarrow (A\\vdash B) <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">\u3059\u306a\u308f\u3061\u3001\u3082\u3057 A \u304c B \u3092\u30e2\u30c7\u30eb\u5316\u3059\u308b\uff08\u610f\u5473\u8ad6\u7684\u306b\u5c0e\u304f\uff09\u306a\u3089\u3070\u3001A \u304b\u3089 B \u3092\u63a8\u8ad6\u3067\u304d\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002\u305d\u3057\u3066\u3001\u5bfe\u5fdc\u3059\u308b\u6f14\u7e79\u5b9a\u7406\u3092\u7528\u3044\u308c\u3070\u3001\u6b21\u306e\u3088\u3046\u306b\u5f97\u3089\u308c\u307e\u3059\uff1a<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\models A\\rightarrow B) \\Rightarrow (\\vdash A \\rightarrow B) <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">\u3064\u307e\u308a\u3001\u3042\u308b\u8868\u73fe\u304c\u6052\u771f\u547d\u984c\uff08\u30c8\u30fc\u30c8\u30ed\u30b8\u30fc\uff09\u3067\u3042\u308b\u306a\u3089\u3070\u3001\u305d\u308c\u306f\u5b9a\u7406\u3067\u3082\u3042\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002\u305d\u3057\u3066\u898b\u3066\u304d\u305f\u3088\u3046\u306b\u3001\u5b9a\u7406\u3068\u306f\u8a3c\u660e\u306b\u3088\u3063\u3066\u5c0e\u304b\u308c\u305f\u7d50\u679c\u306a\u306e\u3067\u3059\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027 \u8981\u7d04\u3053\u306e\u8b1b\u7fa9\u3067\u306f\u3001\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306e\u95a2\u4fc2\u306b\u3064\u3044\u3066\u53d6\u308a\u4e0a\u3052\u307e\u3059\u3002\u547d\u984c\u8ad6\u7406\u306e\u63a8\u8ad6\u6280\u6cd5\u3084\u610f\u5473\u8ad6\u306f\u5e83\u304f\u8b70\u8ad6\u3055\u308c\u3066\u304d\u307e\u3057\u305f\u304c\u3001\u305d\u308c\u3089\u4e8c\u3064\u306e\u5074\u9762\u306e\u95a2\u4fc2\u306b\u306f\u3042\u307e\u308a\u6ce8\u610f\u304c\u6255\u308f\u308c\u3066\u304d\u307e\u305b\u3093\u3067\u3057\u305f\u3002\u5065\u5168\u6027\u3068\u306f\u3001\u8ad6\u7406\u4f53\u7cfb\u304c\u5f0f G \u3092\u8868\u73fe\u96c6\u5408 \u0393 \u304b\u3089\u63a8\u8ad6\u3067\u304d\u308b\u3068\u3044\u3046\u6027\u8cea\u3092\u6307\u3057\u307e\u3059\u3002\u4e00\u65b9\u3001\u5b8c\u5168\u6027\u3068\u306f\u3001\u3082\u3057 G \u304c \u0393 \u306e\u610f\u5473\u8ad6\u7684\u5e30\u7d50\u3067\u3042\u308b\u306a\u3089\u3070\u3001\u524d\u63d0 \u0393 \u306b\u3088\u308b\u5f62\u5f0f\u7684\u8a3c\u660e\u304c\u5b58\u5728\u3057\u3066 G \u3092\u63a8\u8ad6\u3067\u304d\u308b\u3068\u3044\u3046\u8ad6\u7406\u4f53\u7cfb\u306e\u6027\u8cea\u3092\u6307\u3057\u307e\u3059\u3002\u672c\u8b1b\u7fa9\u3067\u306f\u3001\u547d\u984c\u8ad6\u7406\u304c\u5065\u5168\u304b\u3064\u5b8c\u5168\u3067\u3042\u308b\u3053\u3068\u3092\u8a3c\u660e\u3057\u3001\u305d\u308c\u305e\u308c\u306e\u6027\u8cea\u306b\u3064\u3044\u3066\u8a73\u7d30\u306a\u8aac\u660e\u3092\u884c\u3044\u307e\u3059\u3002\u7279\u306b\u3001\u5065\u5168\u6027\u304c\u547d\u984c\u8ad6\u7406\u306e\u63a8\u8ad6\u4f53\u7cfb\u306e\u69cb\u9020\u304b\u3089\u3069\u306e\u3088\u3046\u306b\u5c0e\u304b\u308c\u308b\u304b\u3001\u307e\u305f\u5b8c\u5168\u6027\u304c\u3044\u304b\u306b\u7c21\u6f54\u306b\u793a\u3055\u308c\u308b\u304b\u3092\u8aac\u660e\u3057\u307e\u3059\u3002\u3053\u306e\u5206\u6790\u306f\u3001\u547d\u984c\u8ad6\u7406\u306e\u6a5f\u80fd\u3092\u7406\u89e3\u3057\u3001\u69d8\u3005\u306a\u77e5\u8b58\u5206\u91ce\u306b\u52b9\u679c\u7684\u306b\u5fdc\u7528\u3059\u308b\u305f\u3081\u306b\u975e\u5e38\u306b\u91cd\u8981\u3067\u3059\u3002 \u5b66\u7fd2\u76ee\u6a19: \u3053\u306e\u8b1b\u7fa9\u3092\u7d42\u3048\u305f\u5f8c\u3001\u5b66\u751f\u306f\u6b21\u306e\u3053\u3068\u304c\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308a\u307e\u3059\uff1a \u5065\u5168\u6027\u3068\u5b8c\u5168\u6027\u3092\u8ad6\u7406\u4f53\u7cfb\u306b\u304a\u3044\u3066\u533a\u5225\u3067\u304d\u308b\u3002 \u547d\u984c\u8ad6\u7406\u306e\u5065\u5168\u6027\u3092\u793a\u3059\u305f\u3081\u306b\u3001\u30eb\u30ab\u30b7\u30a7\u30f4\u30a3\u30c1\u306e\u516c\u7406\u306b\u5bfe\u3057\u3066\u771f\u7406\u5024\u8868\u3092\u9069\u7528\u3067\u304d\u308b\u3002 \u6f14\u7e79\u5b9a\u7406\u306e\u610f\u5473\u8ad6\u7684\u30d0\u30fc\u30b8\u30e7\u30f3\u3092\u7528\u3044\u3066\u3001\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u306e\u5f62\u5f0f\u3092\u8aac\u660e\u3067\u304d\u308b\u3002 \u5065\u5168\u6027\u3068\u5b8c\u5168\u6027\u304c\u76f8\u4e92\u306b\u95a2\u9023\u3057\u3066\u304a\u308a\u3001\u3069\u3061\u3089\u3082\u4e00\u65b9\u304b\u3089\u5c0e\u51fa\u3067\u304d\u308b\u3053\u3068\u3092\u7406\u89e3\u3067\u304d\u308b\u3002 \u6052\u771f\u547d\u984c\uff08\u30c8\u30fc\u30c8\u30ed\u30b8\u30fc\uff09\u306e\u6982\u5ff5\u3068\u3001\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b9a\u7406\u3068\u306e\u95a2\u4fc2\u3092\u5206\u6790\u3067\u304d\u308b\u3002 \u76ee\u6b21 \u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027 \u547d\u984c\u8ad6\u7406\u306f\u5065\u5168\u3067\u3042\u308b \u547d\u984c\u8ad6\u7406\u306f\u5b8c\u5168\u3067\u3042\u308b \u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027 \u3053\u3053\u306b\u81f3\u3063\u3066\u3001\u547d\u984c\u8ad6\u7406\u306e\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306b\u3064\u3044\u3066\u8a9e\u308b\u3079\u304d\u6642\u304c\u6765\u307e\u3057\u305f\u3002\u3053\u308c\u307e\u3067\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u63a8\u8ad6\u6280\u8853\u3084\u610f\u5473\u8ad6\u306b\u3064\u3044\u3066\u306f\u591a\u304f\u8a9e\u3089\u308c\u3066\u304d\u307e\u3057\u305f\u304c\u3001\u305d\u308c\u3089\u306f\u3042\u305f\u304b\u3082\u4e92\u3044\u306b\u5168\u304f\u95a2\u4fc2\u306e\u306a\u3044\u4e8c\u3064\u306e\u5074\u9762\u3067\u3042\u308b\u304b\u306e\u3088\u3046\u306b\u6271\u308f\u308c\u3066\u304d\u307e\u3057\u305f\u3002\u3057\u304b\u3057\u3001\u5b9f\u969b\u306b\u306f\u5168\u304f\u9006\u306a\u306e\u3067\u3059\u3002 \u5065\u5168\u6027\uff08SOLVENCIA\uff09: \u4e00\u65b9\u3067\u3001\u3042\u308b\u8ad6\u7406\u4f53\u7cfb\u304c\u5065\u5168\u3067\u3042\u308b\u3068\u306f\u3001\u3042\u308b\u5f0f G \u304c\u8868\u73fe\u96c6\u5408 \u304b\u3089\u63a8\u8ad6\u3067\u304d\u308b\u306a\u3089\u3070\u3001G \u306f \u306e\uff08\u610f\u5473\u8ad6\u7684\u306a\uff09\u5e30\u7d50\u3067\u3042\u308b\u3053\u3068\u3092\u5e38\u306b\u610f\u5473\u3057\u307e\u3059\u3002 \u5b8c\u5168\u6027\uff08COMPLETITUD\uff09: \u4ed6\u65b9\u3067\u3001\u3042\u308b\u8ad6\u7406\u4f53\u7cfb\u304c\u5b8c\u5168\u3067\u3042\u308b\u3068\u306f\u3001\u3082\u3057 G \u304c\u8868\u73fe\u96c6\u5408 \u306e\u610f\u5473\u8ad6\u7684\u5e30\u7d50\u3067\u3042\u308b\u306a\u3089\u3070\u3001\u524d\u63d0 \u306b\u57fa\u3065\u304f\u5f62\u5f0f\u7684\u8a3c\u660e\u304c\u5b58\u5728\u3057\u3001\u305d\u3053\u304b\u3089 G \u3092\u63a8\u8ad6\u3067\u304d\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002 \u3053\u308c\u3089\u306e\u6982\u5ff5\u3092\u898b\u76f4\u3057\u3066\u307f\u308b\u3068\u3001\u547d\u984c\u8ad6\u7406\u306b\u304a\u3044\u3066\u306f\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306e\u4e21\u65b9\u304c\u6e80\u305f\u3055\u308c\u3066\u3044\u308b\u3053\u3068\u304c\u308f\u304b\u308a\u307e\u3059\u3002 \u547d\u984c\u8ad6\u7406\u306f\u5065\u5168\u3067\u3042\u308b \u547d\u984c\u8ad6\u7406\u306e\u5065\u5168\u6027\u3092\u5f97\u308b\u306e\u306f\u7c21\u5358\u3067\u3059\u3002\u305d\u306e\u63a8\u8ad6\u4f53\u7cfb\u306e\u69cb\u6210\u3092\u89b3\u5bdf\u3059\u308b\u3060\u3051\u3067\u5206\u304b\u308a\u307e\u3059\u3002\u30eb\u30ab\u30b7\u30a7\u30f4\u30a3\u30c1\u306e\u516c\u7406\u306b\u5bfe\u3057\u3066\u771f\u7406\u5024\u8868\u3092\u4f5c\u6210\u3059\u308b\u3068\u3001\u305d\u308c\u3089\u304c\u5e38\u306b\u771f\u3068\u306a\u308b\u69cb\u9020\u3092\u6301\u3063\u3066\u3044\u308b\u3053\u3068\u304c\u308f\u304b\u308a\u307e\u3059\u3002\u3059\u306a\u308f\u3061\uff1a \u540c\u69d8\u306b\u3001\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u306f\u6b21\u306e\u3088\u3046\u306b\u66f8\u304d\u63db\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff1a\u3053\u308c\u306f\u6f14\u7e79\u5b9a\u7406\u306e\u610f\u5473\u8ad6\u7684\u30d0\u30fc\u30b8\u30e7\u30f3\u3092\u7528\u3044\u3066\u5c0e\u304f\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u5b9f\u969b\u3001\u3053\u306e\u65b9\u6cd5\u306b\u3088\u308a\u6b21\u306e\u3088\u3046\u306b\u5f97\u3089\u308c\u307e\u3059\uff1a\u3055\u3089\u306b\u3001\u3002\u3053\u308c\u306f\u3082\u3061\u308d\u3093\u3001\u660e\u3089\u304b\u306a\u6052\u771f\u547d\u984c\uff08\u30c8\u30fc\u30c8\u30ed\u30b8\u30fc\uff09\u3067\u3059\u3002 \u547d\u984c\u8ad6\u7406\u306f\u5b8c\u5168\u3067\u3042\u308b \u547d\u984c\u8ad6\u7406\u306e\u5b8c\u5168\u6027\u304c\u610f\u5473\u3059\u308b\u306e\u306f\u3001\u3082\u3057 B \u304c A \u306e\u610f\u5473\u8ad6\u7684\u5e30\u7d50\u3067\u3042\u308b\u306a\u3089\u3070\u3001A \u304b\u3089 B \u3092\u63a8\u8ad6\u3067\u304d\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002\u8a00\u3044\u63db\u3048\u308c\u3070\u3001\u3059\u3079\u3066\u306e\u771f\u306a\u308b\u8868\u73fe\u306b\u306f\u8a3c\u660e\u304c\u5b58\u5728\u3059\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002\u3053\u308c\u304c\u5b8c\u5168\u6027\u3068\u547c\u3070\u308c\u308b\u3082\u306e\u3067\u3059\u3002\u305d\u3057\u3066\u3053\u308c\u306f\u7c21\u6f54\u306a\u65b9\u6cd5\u3067\u5c0e\u51fa\u3067\u304d\u307e\u3059\u3002 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":28119,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":10,"footnotes":""},"categories":[1362,1300,1356],"tags":[],"class_list":["post-33897","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-1362","category--ja","category-1356"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v26.7 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027 - toposuranos.com\/material<\/title>\n<meta name=\"description\" content=\"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306e\u95a2\u4fc2\u3092\u3064\u3044\u306b\u7406\u89e3\u3057\u3001\u3053\u308c\u3089\u306e\u57fa\u672c\u7684\u6027\u8cea\u304c\u3044\u304b\u306b\u3057\u3066\u8ad6\u7406\u4f53\u7cfb\u306b\u304a\u3051\u308b\u59a5\u5f53\u6027\u3068\u6574\u5408\u6027\u3092\u4fdd\u8a3c\u3059\u308b\u304b\u3092\u5b66\u3073\u307e\u3057\u3087\u3046\u3002\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"http:\/\/toposuranos.com\/material\/ja\/\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\" \/>\n<meta property=\"og:description\" content=\"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306e\u95a2\u4fc2\u3092\u3064\u3044\u306b\u7406\u89e3\u3057\u3001\u3053\u308c\u3089\u306e\u57fa\u672c\u7684\u6027\u8cea\u304c\u3044\u304b\u306b\u3057\u3066\u8ad6\u7406\u4f53\u7cfb\u306b\u304a\u3051\u308b\u59a5\u5f53\u6027\u3068\u6574\u5408\u6027\u3092\u4fdd\u8a3c\u3059\u308b\u304b\u3092\u5b66\u3073\u307e\u3057\u3087\u3046\u3002\" \/>\n<meta property=\"og:url\" content=\"http:\/\/toposuranos.com\/material\/ja\/\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\/\" \/>\n<meta property=\"og:site_name\" content=\"toposuranos.com\/material\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/groups\/toposuranos\" \/>\n<meta property=\"article:published_time\" content=\"2021-04-08T13:00:46+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-08-01T02:06:10+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/semantic-1024x576.jpg\" \/>\n<meta name=\"author\" content=\"giorgio.reveco\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\" \/>\n<meta name=\"twitter:description\" content=\"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306e\u95a2\u4fc2\u3092\u3064\u3044\u306b\u7406\u89e3\u3057\u3001\u3053\u308c\u3089\u306e\u57fa\u672c\u7684\u6027\u8cea\u304c\u3044\u304b\u306b\u3057\u3066\u8ad6\u7406\u4f53\u7cfb\u306b\u304a\u3051\u308b\u59a5\u5f53\u6027\u3068\u6574\u5408\u6027\u3092\u4fdd\u8a3c\u3059\u308b\u304b\u3092\u5b66\u3073\u307e\u3057\u3087\u3046\u3002\" \/>\n<meta name=\"twitter:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/semantic.jpg\" \/>\n<meta name=\"twitter:creator\" content=\"@topuranos\" \/>\n<meta name=\"twitter:site\" content=\"@topuranos\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"giorgio.reveco\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minuto\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#article\",\"isPartOf\":{\"@id\":\"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/\"},\"author\":{\"name\":\"giorgio.reveco\",\"@id\":\"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1\"},\"headline\":\"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\",\"datePublished\":\"2021-04-08T13:00:46+00:00\",\"dateModified\":\"2025-08-01T02:06:10+00:00\",\"mainEntityOfPage\":{\"@id\":\"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/\"},\"wordCount\":151,\"commentCount\":0,\"publisher\":{\"@id\":\"http:\/\/toposuranos.com\/material\/#organization\"},\"image\":{\"@id\":\"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#primaryimage\"},\"thumbnailUrl\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/semantic.jpg\",\"articleSection\":[\"\u547d\u984c\u8ad6\u7406\",\"\u6570\u5b66\",\"\u6570\u7406\u8ad6\u7406\u5b66\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/\",\"url\":\"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/\",\"name\":\"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027 - toposuranos.com\/material\",\"isPartOf\":{\"@id\":\"http:\/\/toposuranos.com\/material\/#website\"},\"primaryImageOfPage\":{\"@id\":\"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#primaryimage\"},\"image\":{\"@id\":\"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#primaryimage\"},\"thumbnailUrl\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/semantic.jpg\",\"datePublished\":\"2021-04-08T13:00:46+00:00\",\"dateModified\":\"2025-08-01T02:06:10+00:00\",\"description\":\"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306e\u95a2\u4fc2\u3092\u3064\u3044\u306b\u7406\u89e3\u3057\u3001\u3053\u308c\u3089\u306e\u57fa\u672c\u7684\u6027\u8cea\u304c\u3044\u304b\u306b\u3057\u3066\u8ad6\u7406\u4f53\u7cfb\u306b\u304a\u3051\u308b\u59a5\u5f53\u6027\u3068\u6574\u5408\u6027\u3092\u4fdd\u8a3c\u3059\u308b\u304b\u3092\u5b66\u3073\u307e\u3057\u3087\u3046\u3002\",\"breadcrumb\":{\"@id\":\"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#primaryimage\",\"url\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/semantic.jpg\",\"contentUrl\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/semantic.jpg\",\"width\":1280,\"height\":720},{\"@type\":\"BreadcrumbList\",\"@id\":\"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"https:\/\/toposuranos.com\/material\/es\/cursos-de-matematica-y-fisica\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\"}]},{\"@type\":\"WebSite\",\"@id\":\"http:\/\/toposuranos.com\/material\/#website\",\"url\":\"http:\/\/toposuranos.com\/material\/\",\"name\":\"toposuranos.com\/material\",\"description\":\"\",\"publisher\":{\"@id\":\"http:\/\/toposuranos.com\/material\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"http:\/\/toposuranos.com\/material\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"http:\/\/toposuranos.com\/material\/#organization\",\"name\":\"toposuranos.com\/material\",\"url\":\"http:\/\/toposuranos.com\/material\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/\",\"url\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png\",\"contentUrl\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png\",\"width\":2400,\"height\":2059,\"caption\":\"toposuranos.com\/material\"},\"image\":{\"@id\":\"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.facebook.com\/groups\/toposuranos\",\"https:\/\/x.com\/topuranos\",\"https:\/\/www.youtube.com\/channel\/UC16yDm12cPcrwsE0fAM7X1g\",\"https:\/\/www.linkedin.com\/company\/69429190\"]},{\"@type\":\"Person\",\"@id\":\"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1\",\"name\":\"giorgio.reveco\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\/\/toposuranos.com\/material\/#\/schema\/person\/image\/\",\"url\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg\",\"contentUrl\":\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg\",\"caption\":\"giorgio.reveco\"},\"description\":\"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.\",\"sameAs\":[\"http:\/\/toposuranos.com\/material\"],\"url\":\"http:\/\/toposuranos.com\/material\/author\/giorgio-reveco\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027 - toposuranos.com\/material","description":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306e\u95a2\u4fc2\u3092\u3064\u3044\u306b\u7406\u89e3\u3057\u3001\u3053\u308c\u3089\u306e\u57fa\u672c\u7684\u6027\u8cea\u304c\u3044\u304b\u306b\u3057\u3066\u8ad6\u7406\u4f53\u7cfb\u306b\u304a\u3051\u308b\u59a5\u5f53\u6027\u3068\u6574\u5408\u6027\u3092\u4fdd\u8a3c\u3059\u308b\u304b\u3092\u5b66\u3073\u307e\u3057\u3087\u3046\u3002","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"http:\/\/toposuranos.com\/material\/ja\/\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\/","og_locale":"es_ES","og_type":"article","og_title":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027","og_description":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306e\u95a2\u4fc2\u3092\u3064\u3044\u306b\u7406\u89e3\u3057\u3001\u3053\u308c\u3089\u306e\u57fa\u672c\u7684\u6027\u8cea\u304c\u3044\u304b\u306b\u3057\u3066\u8ad6\u7406\u4f53\u7cfb\u306b\u304a\u3051\u308b\u59a5\u5f53\u6027\u3068\u6574\u5408\u6027\u3092\u4fdd\u8a3c\u3059\u308b\u304b\u3092\u5b66\u3073\u307e\u3057\u3087\u3046\u3002","og_url":"http:\/\/toposuranos.com\/material\/ja\/\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\/","og_site_name":"toposuranos.com\/material","article_publisher":"https:\/\/www.facebook.com\/groups\/toposuranos","article_published_time":"2021-04-08T13:00:46+00:00","article_modified_time":"2025-08-01T02:06:10+00:00","og_image":[{"url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/semantic-1024x576.jpg","type":"","width":"","height":""}],"author":"giorgio.reveco","twitter_card":"summary_large_image","twitter_title":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027","twitter_description":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306e\u95a2\u4fc2\u3092\u3064\u3044\u306b\u7406\u89e3\u3057\u3001\u3053\u308c\u3089\u306e\u57fa\u672c\u7684\u6027\u8cea\u304c\u3044\u304b\u306b\u3057\u3066\u8ad6\u7406\u4f53\u7cfb\u306b\u304a\u3051\u308b\u59a5\u5f53\u6027\u3068\u6574\u5408\u6027\u3092\u4fdd\u8a3c\u3059\u308b\u304b\u3092\u5b66\u3073\u307e\u3057\u3087\u3046\u3002","twitter_image":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/semantic.jpg","twitter_creator":"@topuranos","twitter_site":"@topuranos","twitter_misc":{"Escrito por":"giorgio.reveco","Tiempo de lectura":"1 minuto"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#article","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/"},"author":{"name":"giorgio.reveco","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1"},"headline":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027","datePublished":"2021-04-08T13:00:46+00:00","dateModified":"2025-08-01T02:06:10+00:00","mainEntityOfPage":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/"},"wordCount":151,"commentCount":0,"publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"image":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/semantic.jpg","articleSection":["\u547d\u984c\u8ad6\u7406","\u6570\u5b66","\u6570\u7406\u8ad6\u7406\u5b66"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#respond"]}]},{"@type":"WebPage","@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/","url":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/","name":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027 - toposuranos.com\/material","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/#website"},"primaryImageOfPage":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#primaryimage"},"image":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/semantic.jpg","datePublished":"2021-04-08T13:00:46+00:00","dateModified":"2025-08-01T02:06:10+00:00","description":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027\u306e\u95a2\u4fc2\u3092\u3064\u3044\u306b\u7406\u89e3\u3057\u3001\u3053\u308c\u3089\u306e\u57fa\u672c\u7684\u6027\u8cea\u304c\u3044\u304b\u306b\u3057\u3066\u8ad6\u7406\u4f53\u7cfb\u306b\u304a\u3051\u308b\u59a5\u5f53\u6027\u3068\u6574\u5408\u6027\u3092\u4fdd\u8a3c\u3059\u308b\u304b\u3092\u5b66\u3073\u307e\u3057\u3087\u3046\u3002","breadcrumb":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#primaryimage","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/semantic.jpg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/08\/semantic.jpg","width":1280,"height":720},{"@type":"BreadcrumbList","@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b%e5%ae%8c%e5%85%a8%e6%80%a7%e3%81%a8%e5%81%a5%e5%85%a8%e6%80%a7\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"https:\/\/toposuranos.com\/material\/es\/cursos-de-matematica-y-fisica\/"},{"@type":"ListItem","position":2,"name":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5b8c\u5168\u6027\u3068\u5065\u5168\u6027"}]},{"@type":"WebSite","@id":"http:\/\/toposuranos.com\/material\/#website","url":"http:\/\/toposuranos.com\/material\/","name":"toposuranos.com\/material","description":"","publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"http:\/\/toposuranos.com\/material\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"http:\/\/toposuranos.com\/material\/#organization","name":"toposuranos.com\/material","url":"http:\/\/toposuranos.com\/material\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","width":2400,"height":2059,"caption":"toposuranos.com\/material"},"image":{"@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/groups\/toposuranos","https:\/\/x.com\/topuranos","https:\/\/www.youtube.com\/channel\/UC16yDm12cPcrwsE0fAM7X1g","https:\/\/www.linkedin.com\/company\/69429190"]},{"@type":"Person","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1","name":"giorgio.reveco","image":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/image\/","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","caption":"giorgio.reveco"},"description":"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.","sameAs":["http:\/\/toposuranos.com\/material"],"url":"http:\/\/toposuranos.com\/material\/author\/giorgio-reveco\/"}]}},"_links":{"self":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/33897","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/comments?post=33897"}],"version-history":[{"count":0,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/33897\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media\/28119"}],"wp:attachment":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media?parent=33897"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/categories?post=33897"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/tags?post=33897"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}