{"id":1964,"date":"2019-02-01T12:53:31","date_gmt":"2019-02-01T03:53:31","guid":{"rendered":"http:\/\/www.sa.c.titech.ac.jp\/?p=1964"},"modified":"2019-03-07T16:53:53","modified_gmt":"2019-03-07T07:53:53","slug":"%e5%ad%a6%e5%a3%ab%e8%ab%96%e6%96%87-%e5%88%86%e6%95%a3%e3%82%b9%e3%83%88%e3%83%aa%e3%83%bc%e3%83%a0%e5%87%a6%e7%90%86%e3%82%a8%e3%83%b3%e3%82%b8%e3%83%b3%e3%82%92%e7%94%a8%e3%81%84%e3%81%9fmtl","status":"publish","type":"post","link":"https:\/\/www.sa.comp.isct.ac.jp\/en\/archives\/1964","title":{"rendered":"(\u65e5\u672c\u8a9e) [\u5b66\u58eb\u8ad6\u6587] \u5206\u6563\u30b9\u30c8\u30ea\u30fc\u30e0\u51e6\u7406\u30a8\u30f3\u30b8\u30f3\u3092\u7528\u3044\u305fMTL\u306b\u3088\u308b\u5927\u898f\u6a21\u30c8\u30ec\u30fc\u30b9\u691c\u67fb"},"content":{"rendered":"<p class=\"qtranxs-available-languages-message qtranxs-available-languages-message-en\">Sorry, this entry is only available in <a href=\"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1964\" class=\"qtranxs-available-language-link qtranxs-available-language-link-ja\" title=\"\u65e5\u672c\u8a9e\">\u65e5\u672c\u8a9e<\/a>.<\/p><p>\u5c0f\u6797\u7814B4\u306e\u6709\u677e\u3055\u3093\u304c\u5b66\u58eb\u8ad6\u6587\u3092\u63d0\u51fa\u3057\u307e\u3057\u305f\uff0e<\/p>\n<p>\u984c\u76ee\uff1a\u5206\u6563\u30b9\u30c8\u30ea\u30fc\u30e0\u51e6\u7406\u30a8\u30f3\u30b8\u30f3\u3092\u7528\u3044\u305fMTL\u306b\u3088\u308b\u5927\u898f\u6a21\u30c8\u30ec\u30fc\u30b9\u691c\u67fb<br \/>\n\u5185\u5bb9\u6897\u6982\uff1a<br \/>\n<q><br \/>\n\u5b9f\u884c\u30c8\u30ec\u30fc\u30b9\u306e\u691c\u67fb\u306f\u6f5c\u5728\u7684\u306a\u30d0\u30b0\u306e\u691c\u51fa\u3084\u30c6\u30b9\u30c8\u306b\u304a\u3044\u3066\u6709\u76ca\u306a\u624b\u6cd5\u3067\u3042\u308b. \u4e00\u65b9\u3067, \u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u5927\u898f\u6a21\u5316\u3084\u8907\u96d1\u5316\u306b\u3088\u3063\u3066, \u691c\u67fb\u5bfe\u8c61\u3068\u306a\u308b\u5b9f\u884c\u30c8\u30ec\u30fc\u30b9\u306f\u5927\u898f\u6a21\u3068\u306a\u308a, \u691c\u67fb\u306b\u306f\u81a8\u5927\u306a\u6642\u9593\u304c\u5fc5\u8981\u306b\u306a\u3063\u305f.<\/p>\n<p>\u5f93\u6765\u306e\u7814\u7a76\u3067\u306f, \u5b9f\u884c\u30c8\u30ec\u30fc\u30b9\u306e\u30aa\u30d5\u30e9\u30a4\u30f3\u691c\u67fb\u306b\u304a\u3044\u3066\u4e26\u5217\u5316\u3092\u99c6\u4f7f\u3057\u3066\u691c\u67fb\u6642\u9593\u3092\u6e1b\u3089\u3059\u624b\u6cd5\u3084, \u5b9f\u884c\u30c8\u30ec\u30fc\u30b9\u3092\u7528\u3044\u308b\u3053\u3068\u306a\u304f\u30aa\u30f3\u30e9\u30a4\u30f3\u691c\u67fb\u3092\u884c\u3046\u3068\u3044\u3046\u624b\u6cd5\u304c\u5b58\u5728\u3059\u308b. \u3057\u304b\u3057,\u3000\u30aa\u30d5\u30e9\u30a4\u30f3\u691c\u67fb\u3067\u306f\u5927\u898f\u6a21\u306a\u5b9f\u884c\u30c8\u30ec\u30fc\u30b9\u3092\u8a18\u9332\u3057\u305f\u5de8\u5927\u306a\u30d5\u30a1\u30a4\u30eb\u3092\u4fdd\u5b58\u3057\u306a\u304f\u3066\u306f\u306a\u3089\u306a\u3044. \u307e\u305f, \u5f93\u6765\u306e\u30aa\u30f3\u30e9\u30a4\u30f3\u691c\u67fb\u306e\u624b\u6cd5\u3067\u306f\u4e8b\u524d\u306b\u76e3\u8996\u5bfe\u8c61\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u52a0\u5de5\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a, \u5b9f\u884c\u4e2d\u306b\u76e3\u8996\u5bfe\u8c61\u3092\u5909\u66f4\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u306a\u3044.<\/p>\n<p>\u307e\u305f\u4e00\u65b9\u3067, \u5b9f\u884c\u30c8\u30ec\u30fc\u30b9\u306e\u691c\u67fb\u306b\u304a\u3044\u3066\u306f\u30a4\u30d9\u30f3\u30c8\u306e\u76f8\u4e92\u95a2\u4fc2\u306e\u8868\u73fe\u304c\u91cd\u8981\u306b\u306a\u308b. \u3053\u308c\u3092\u8868\u73fe\u3059\u308b\u624b\u6cd5\u3068\u3057\u3066\u6642\u76f8\u8ad6\u7406\u304c\u5b58\u5728\u3059\u308b\u304c, \u53e4\u5178\u7684\u306a\u6642\u76f8\u8ad6\u7406\u3067\u306f\u5b9a\u6027\u7684\u306a\u6642\u9593\u306e\u95a2\u4fc2\u3057\u304b\u6271\u3048\u305a\u4e0d\u5341\u5206\u3067\u3042\u308b.<\/p>\n<p>\u672c\u7814\u7a76\u3067\u306f, \u5206\u6563\u30b9\u30c8\u30ea\u30fc\u30e0\u51e6\u7406\u30a8\u30f3\u30b8\u30f3\u3068MTL(Metric Temporal Logic)\u3092\u7528\u3044\u3066\u30aa\u30f3\u30e9\u30a4\u30f3\u691c\u67fb\u3059\u308b\u51e6\u7406\u57fa\u76e4\u3092\u5b9f\u73fe\u3057\u305f.<\/p>\n<p>\u5206\u6563\u30b9\u30c8\u30ea\u30fc\u30e0\u51e6\u7406\u30a8\u30f3\u30b8\u30f3\u306b\u3088\u308a, \u76e3\u8996\u5bfe\u8c61\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u52a0\u5de5\u3057\u306a\u3044\u3067\u52b9\u7387\u7684\u306b\u5b9f\u884c\u30c8\u30ec\u30fc\u30b9\u3092\u30aa\u30f3\u30e9\u30a4\u30f3\u691c\u67fb\u3067\u304d\u308b. \u307e\u305f, \u30aa\u30f3\u30e9\u30a4\u30f3\u691c\u67fb\u306e\u305f\u3081, \u5b9f\u884c\u30c8\u30ec\u30fc\u30b9\u3092\u30d5\u30a1\u30a4\u30eb\u306b\u8a18\u9332\u3059\u308b\u5fc5\u8981\u304c\u306a\u3044.<br \/>\n\u52a0\u3048\u3066, MTL\u3092\u5c0e\u5165\u3059\u308b\u3053\u3068\u306b\u3088\u308a, \u5b9a\u91cf\u7684\u306a\u6642\u9593\u3092\u7528\u3044\u305f\u30a4\u30d9\u30f3\u30c8\u306e\u76f8\u4e92\u95a2\u4fc2\u306e\u8868\u73fe\u304c\u3067\u304d\u308b.<\/p>\n<p>\u307e\u305f, \u305d\u306e\u5b9f\u88c5\u3057\u305f\u30c4\u30fc\u30eb\u3092\u7528\u3044\u3066\u5b9f\u9a13\u3092\u884c\u3063\u305f. \u305d\u306e\u7d50\u679c, 10\u306e\u30a4\u30d9\u30f3\u30c8\u304c\u95a2\u9023\u3059\u308bMTL\u5f0f\u306e\u691c\u67fb\u3067\u306f1\u30df\u30ea\u79d2\u5f53\u305f\u308a5,892\u306e\u30a4\u30d9\u30f3\u30c8\u304c\u51e6\u7406\u3067\u304d, \u304b\u3064MTL\u306e\u4e00\u3064\u306e\u90e8\u5206\u5f0f\u306e\u5224\u5b9a\u306f30\u30de\u30a4\u30af\u30ed\u79d2\u7a0b\u5ea6\u3067\u884c\u3046\u3053\u3068\u304c\u3067\u304d, \u5b9f\u7528\u4e0a\u5341\u5206\u306a\u6027\u80fd\u3067\u3042\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3067\u304d\u305f.<\/p>\n<p><\/q><\/p>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>Sorry, this entry is only available in \u65e5\u672c\u8a9e.\u5c0f\u6797\u7814B4\u306e\u6709\u677e\u3055\u3093\u304c\u5b66\u58eb\u8ad6\u6587\u3092\u63d0\u51fa\u3057\u307e\u3057\u305f\uff0e \u984c\u76ee\uff1a\u5206\u6563\u30b9\u30c8\u30ea\u30fc\u30e0\u51e6\u7406\u30a8\u30f3\u30b8\u30f3\u3092\u7528\u3044\u305fMTL\u306b\u3088\u308b\u5927\u898f\u6a21\u30c8\u30ec\u30fc\u30b9\u691c\u67fb \u5185\u5bb9\u6897\u6982\uff1a \u5b9f [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1,3],"tags":[],"class_list":["post-1964","post","type-post","status-publish","format-standard","hentry","category-others","category-research"],"_links":{"self":[{"href":"https:\/\/www.sa.comp.isct.ac.jp\/en\/wp-json\/wp\/v2\/posts\/1964","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.sa.comp.isct.ac.jp\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.sa.comp.isct.ac.jp\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.sa.comp.isct.ac.jp\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.sa.comp.isct.ac.jp\/en\/wp-json\/wp\/v2\/comments?post=1964"}],"version-history":[{"count":0,"href":"https:\/\/www.sa.comp.isct.ac.jp\/en\/wp-json\/wp\/v2\/posts\/1964\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.sa.comp.isct.ac.jp\/en\/wp-json\/wp\/v2\/media?parent=1964"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.sa.comp.isct.ac.jp\/en\/wp-json\/wp\/v2\/categories?post=1964"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.sa.comp.isct.ac.jp\/en\/wp-json\/wp\/v2\/tags?post=1964"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}