{"id":1995,"date":"2019-03-05T19:19:41","date_gmt":"2019-03-05T10:19:41","guid":{"rendered":"http:\/\/www.sa.c.titech.ac.jp\/?p=1995"},"modified":"2026-03-26T17:48:19","modified_gmt":"2026-03-26T08:48:19","slug":"%e7%a0%94%e7%a9%b6%e7%99%ba%e8%a1%a8%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\/ja\/archives\/1995","title":{"rendered":"[\u7814\u7a76\u767a\u8868]\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>\u5c0f\u6797\u7814 B4\u306e\u6709\u677e\u512a\u3055\u3093,D3\u306e\u91ce\u7530\u91e7\u5e83\u3055\u3093,\u5c0f\u6797\u51c6\u6559\u6388\u304c\u3001\u6c96\u7e04\u770c\u306e\u90a3\u8987\u3067\u958b\u50ac\u3055\u308c\u305fIEICE \u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30b5\u30a4\u30a8\u30f3\u30b9\u7814\u7a76\u4f1a 3\u6708\u7814\u7a76\u4f1a\u306b\u3066\u3001\u6709\u677e\u3055\u3093\u306e\u5b66\u58eb\u8ad6\u6587\u306e\u6210\u679c\u3092\u3082\u3068\u306b\u3057\u305f\u7814\u7a76\u767a\u8868\u3092\u884c\u3044\u307e\u3057\u305f\u3002\u5206\u6563\u30b9\u30c8\u30ea\u30fc\u30e0\u51e6\u7406\u30a8\u30f3\u30b8\u30f3\u3092\u7528\u3044\u3066\u6642\u76f8\u8ad6\u7406(Metric Temporal Logic)\u3067\u8a18\u8ff0\u3055\u308c\u305f\u5236\u7d04\u3092\u30aa\u30f3\u30e9\u30a4\u30f3\u691c\u67fb\u3059\u308b\u624b\u6cd5\u3092\u63d0\u6848\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n<p><img decoding=\"async\" class=\"aligncenter size-full wp-image-1873\" src=\"\/wp-content\/uploads\/2019\/04\/ieice201903-yarimatsu.jpg\" alt=\"\" width=\"500\" \/><\/p>\n<blockquote><p>\u8457\u8005\uff1a \u6709\u677e\u512a\u30fb\u91ce\u7530\u8a13\u5e83\u30fb\u5c0f\u6797\u9686\u5fd7\uff08\u6771\u5de5\u5927\uff09<br \/>\n\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\u63b2\u8f09\u8a8c\uff1a <a href=\"https:\/\/www.ieice.org\/ken\/paper\/20190305V1Kr\/\" target=\"_blank\" rel=\"noopener noreferrer\"> \u4fe1\u5b66\u6280\u5831, vol. 118, no. 471, SS2018-73, pp. 127-132, 2019\u5e743\u6708<\/a><br \/>\n\u6982\u8981\uff1a<br \/>\n\u30b7\u30b9\u30c6\u30e0\u304c\u6e80\u305f\u3059\u3079\u304d\u5236\u7d04\u3092\u6642\u76f8\u8ad6\u7406\u7b49\u306b\u3088\u308a\u8868\u73fe\u3057\uff0c\u5b9f\u884c\u30c8\u30ec\u30fc\u30b9\u306b\u5bfe\u3057\u3066\u5236\u7d04\u306e\u6210\u7acb\u6709\u7121\u3092\u691c\u67fb\u3059\u308b\u3053\u3068\u3067\uff0c\u6f5c\u5728\u7684\u306a\u4e0d\u5177\u5408\u306e\u691c\u51fa\u3092\u884c\u3046\u3053\u3068\u304c\u3067\u304d\u308b\uff0e<br \/>\n\u5b9f\u884c\u30c8\u30ec\u30fc\u30b9\u306f\u81a8\u5927\u306a\u898f\u6a21\u3068\u306a\u308b\u305f\u3081\uff0c\u691c\u67fb\u306e\u52b9\u7387\u5316\u304c\u91cd\u8981\u3067\u3042\u308a\uff0c\u3053\u308c\u307e\u3067\u306b\uff0c\u5b9f\u884c\u30c8\u30ec\u30fc\u30b9\u306e\u30aa\u30d5\u30e9\u30a4\u30f3\u691c\u67fb\u3092\u4e26\u5217\u5316\u3059\u308b\u3053\u3068\u3067\u691c\u67fb\u6642\u9593\u3092\u77ed\u7e2e\u3059\u308b\u624b\u6cd5\u304c\u63d0\u6848\u3055\u308c\u3066\u3044\u308b\uff0e<br \/>\n\u3057\u304b\u3057\uff0c\u81a8\u5927\u306a\u30c8\u30ec\u30fc\u30b9\u30c7\u30fc\u30bf\u306e\u8a18\u9332\u306e\u305f\u3081\u591a\u5927\u306a\u8a18\u61b6\u9818\u57df\u304c\u5fc5\u8981\u3068\u306a\u308b\u3053\u3068\u306b\u52a0\u3048\uff0c\u30c8\u30ec\u30fc\u30b9\u5168\u4f53\u306e\u691c\u67fb\u306b\u306f\u4f9d\u7136\u3068\u3057\u3066\u81a8\u5927\u306a\u30ea\u30bd\u30fc\u30b9\u30fb\u8a08\u7b97\u6642\u9593\u3092\u8981\u3057\u3066\u3057\u307e\u3046\uff0e<\/p>\n<p>\u672c\u7814\u7a76\u3067\u306f\uff0c\u5927\u898f\u6a21\u306a\u5b9f\u884c\u30c8\u30ec\u30fc\u30b9\u306b\u5bfe\u3057\uff0c\u5206\u6563\u30b9\u30c8\u30ea\u30fc\u30e0\u51e6\u7406\u30a8\u30f3\u30b8\u30f3\u3092\u7528\u3044\u3066\uff0cMTL (Metric Temporal Logic)\u3067\u8a18\u8ff0\u3055\u308c\u305f\u5236\u7d04\u306e\u30aa\u30f3\u30e9\u30a4\u30f3\u691c\u67fb\u3092\u884c\u3046\u624b\u6cd5\u3092\u63d0\u6848\u3059\u308b\uff0e<br \/>\n\u63d0\u6848\u624b\u6cd5\u3067\u306f\uff0c\u5bfe\u8c61\u306e\u30b7\u30b9\u30c6\u30e0\u3092\u505c\u6b62\u3055\u305b\u308b\u3053\u3068\u306a\u304f\uff0c\u5b9f\u884c\u30c8\u30ec\u30fc\u30b9\u3092\u30b9\u30c8\u30ea\u30fc\u30e0\u30c7\u30fc\u30bf\u3068\u3057\u3066\u53d6\u5f97\u3057\uff0c\u30aa\u30f3\u30e9\u30a4\u30f3\u306b\u5236\u7d04\u691c\u67fb\u3092\u884c\u3046\uff0e<br \/>\n\u81a8\u5927\u306a\u30c8\u30ec\u30fc\u30b9\u30c7\u30fc\u30bf\u3092\u4fdd\u5b58\u3059\u308b\u5fc5\u8981\u304c\u306a\u304f\u306a\u308a\uff0c\u5bfe\u8c61\u30b7\u30b9\u30c6\u30e0\u306e\u5b9f\u884c\u3068\u540c\u6642\u306b\u5236\u7d04\u691c\u67fb\u304c\u3067\u304d\u308b\u305f\u3081\uff0c\u30aa\u30d5\u30e9\u30a4\u30f3\u691c\u67fb\u306b\u6bd4\u3079\u3066\u5b9f\u8cea\u7684\u306a\u691c\u67fb\u6642\u9593\u3092\u5927\u5e45\u306b\u4f4e\u6e1b\u3067\u304d\u308b\uff0e<br \/>\n\u5b9f\u9a13\u306b\u3088\u308a\uff0c\u63d0\u6848\u624b\u6cd5\u304c\uff0c\u5b9f\u7528\u4e0a\u5341\u5206\u306a\u6027\u80fd\u3067\uff0c\u5236\u7d04\u3092\u30aa\u30f3\u30e9\u30a4\u30f3\u691c\u67fb\u3067\u304d\u308b\u3053\u3068\u3092\u793a\u3059\uff0e<\/p><\/blockquote>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>\u5c0f\u6797\u7814 B4\u306e\u6709\u677e\u512a\u3055\u3093,D3\u306e\u91ce\u7530\u91e7\u5e83\u3055\u3093,\u5c0f\u6797\u51c6\u6559\u6388\u304c\u3001\u6c96\u7e04\u770c\u306e\u90a3\u8987\u3067\u958b\u50ac\u3055\u308c\u305fIEICE \u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30b5\u30a4\u30a8\u30f3\u30b9\u7814\u7a76\u4f1a 3\u6708\u7814\u7a76\u4f1a\u306b\u3066\u3001\u6709\u677e\u3055\u3093\u306e\u5b66\u58eb\u8ad6\u6587\u306e\u6210\u679c\u3092\u3082\u3068\u306b\u3057\u305f\u7814\u7a76\u767a\u8868\u3092\u884c\u3044\u307e\u3057\u305f\u3002\u5206\u6563\u30b9\u30c8\u30ea\u30fc\u30e0\u51e6\u7406\u30a8 [&hellip;]<\/p>\n","protected":false},"author":12,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[],"class_list":["post-1995","post","type-post","status-publish","format-standard","hentry","category-research"],"_links":{"self":[{"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1995","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=1995"}],"version-history":[{"count":4,"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1995\/revisions"}],"predecessor-version":[{"id":2915,"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1995\/revisions\/2915"}],"wp:attachment":[{"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=1995"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=1995"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.sa.comp.isct.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=1995"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}