{"id":989,"date":"2019-08-29T18:19:42","date_gmt":"2019-08-29T09:19:42","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=989"},"modified":"2019-09-01T14:15:06","modified_gmt":"2019-09-01T05:15:06","slug":"%e5%92%8c%e8%b3%80-%e6%ad%a3%e6%a8%b9%e6%b0%8f%ef%bc%8cformats-2019-%e3%81%a7%e6%9c%80%e5%84%aa%e7%a7%80%e8%ab%96%e6%96%87%e8%b3%9e%e3%82%92%e5%8f%97%e8%b3%9e","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/ja\/%e5%92%8c%e8%b3%80-%e6%ad%a3%e6%a8%b9%e6%b0%8f%ef%bc%8cformats-2019-%e3%81%a7%e6%9c%80%e5%84%aa%e7%a7%80%e8%ab%96%e6%96%87%e8%b3%9e%e3%82%92%e5%8f%97%e8%b3%9e\/","title":{"rendered":"\u548c\u8cc0 \u6b63\u6a39\u6c0f\uff0cFORMATS 2019 \u3067\u6700\u512a\u79c0\u8ad6\u6587\u8cde\u3092\u53d7\u8cde"},"content":{"rendered":"\n<p>\u548c\u8cc0 \u6b63\u6a39\u6c0f\u304c\uff0c\u4e0b\u8a18\u306e\u8ad6\u6587\u306b\u3088\u3063\u3066\uff0c<a href=\"https:\/\/lipn.univ-paris13.fr\/formats2019\/\">FORMATS 2019<\/a> \u2013 the 17th International Conference on Formal Modeling and Analysis of Timed Systems \u2013 \u306b\u304a\u3044\u3066\u6700\u512a\u79c0\u8ad6\u6587\u8cde\uff08Oded Maler Award\uff09 \u3092\u53d7\u8cde\u3057\u307e\u3057\u305f\uff0e<\/p>\n\n\n\n<p>Waga M. (2019) Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. In: Andr\u00e9 \u00c9., Stoelinga M. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2019. Lecture Notes in Computer Science, vol 11750. Springer, Cham. [<a href=\"https:\/\/link.springer.com\/chapter\/10.1007%2F978-3-030-29662-9_1\">Springer<\/a> | <a href=\"https:\/\/arxiv.org\/abs\/1906.12133\">arxiv<\/a>]<\/p>\n\n\n\n<p>\u548c\u8cc0 \u6b63\u6a39\u6c0f\u306f ERATO MMSD \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u30ea\u30b5\u30fc\u30c1\u30a2\u30b7\u30b9\u30bf\u30f3\u30c8\uff08\u30b0\u30eb\u30fc\u30d73\uff09\u3067\u3059\uff0e\u5f7c\u306f<a href=\"https:\/\/www.nii.ac.jp\/graduate\/\">\u7dcf\u7814\u5927\u60c5\u5831\u5b66\u5c02\u653b<\/a>\u306e\u535a\u58eb\u8ab2\u7a0b\u306b\u5728\u5b66\u4e2d\u3067\u3042\u308a\uff0c\u65e5\u672c\u5b66\u8853\u632f\u8208\u4f1a\u7279\u5225\u7814\u7a76\u54e1\uff08DC\uff09\u3067\u3082\u3042\u308a\u307e\u3059\uff0e<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u548c\u8cc0 \u6b63\u6a39\u6c0f\u304c\uff0c\u4e0b\u8a18\u306e\u8ad6\u6587\u306b\u3088\u3063\u3066\uff0cFORMATS 2019 \u2013 the 17th International Conference on Formal Modeling and Analysis of Timed Sy &hellip; <a href=\"https:\/\/group-mmm.org\/eratommsd\/ja\/%e5%92%8c%e8%b3%80-%e6%ad%a3%e6%a8%b9%e6%b0%8f%ef%bc%8cformats-2019-%e3%81%a7%e6%9c%80%e5%84%aa%e7%a7%80%e8%ab%96%e6%96%87%e8%b3%9e%e3%82%92%e5%8f%97%e8%b3%9e\/\" class=\"more-link\">\u7d9a\u304d\u3092\u8aad\u3080 <span class=\"screen-reader-text\">\u548c\u8cc0 \u6b63\u6a39\u6c0f\uff0cFORMATS 2019 \u3067\u6700\u512a\u79c0\u8ad6\u6587\u8cde\u3092\u53d7\u8cde<\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":982,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_locale":"ja","_original_post":"989","footnotes":""},"categories":[1],"tags":[],"class_list":["post-989","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-1","ja"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/989","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/comments?post=989"}],"version-history":[{"count":2,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/989\/revisions"}],"predecessor-version":[{"id":999,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/989\/revisions\/999"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media\/982"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=989"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=989"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=989"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}