{"id":7544,"date":"2022-04-19T14:16:22","date_gmt":"2022-04-19T05:16:22","guid":{"rendered":"https:\/\/www.waseda.jp\/fsci\/wise\/?p=7544"},"modified":"2022-04-19T14:16:22","modified_gmt":"2022-04-19T05:16:22","slug":"%e7%90%86%e5%b7%a5%e7%b7%8f%e7%a0%942%e7%a8%ae%e8%a1%8c%e4%ba%8b%e9%96%8b%e5%82%ac%e5%a0%b1%e5%91%8a%e3%80%8cflab%e5%b1%95-388%e3%81%ae%e3%83%97%e3%83%ad%e3%82%b8%e3%82%a7%e3%82%af%e3%83%88-10-2-2-26","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/fsci\/wise\/news\/2022\/04\/19\/7544\/","title":{"rendered":"\u3010\u958b\u50ac\u5831\u544a\u30112022\u5e743\u670813\u65e5\uff5e18\u65e5\u300cInternational\u3000Workshop\u3000on\u3000Reliable\u3000Computing\u3000and Computer-Assisted Proofs (ReCAP 2022)\u300d\u306b\u3064\u3044\u3066"},"content":{"rendered":"<p>\u7406\u5de5\u7dcf\u7814\u306b\u304a\u3051\u308b\u5f53\u8a72\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u7814\u7a76\u306e\u6210\u679c\u3092\u56fd\u5185\u5916\u306e\u5f53\u8a72\u5206\u91ce\u306e\u7814\u7a76\u8005\u306b\u5e83\u304f\u767a\u4fe1\u3059\u308b\u305f\u3081\u306b\u3001International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)\u3092\u958b\u50ac\u3057\u305f\u3002ReCAP 2022\u306f\u56fd\u5185\u5916\u306e\u7cbe\u5ea6\u4fdd\u8a3c\u4ed8\u304d\u6570\u5024\u8a08\u7b97\u306e\u7814\u7a76\u8005\u304c\u96c6\u307e\u308b\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u3067\u3042\u308a\u3001\u7406\u5de5\u7dcf\u7814\u306b\u304a\u3051\u308b\u5f53\u8a72\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u6210\u679c\u3092\u767a\u4fe1\u3059\u308b\u5834\u3068\u3057\u3066\u6700\u9069\u3067\u3042\u308b\u3002\u307e\u305f\u3001\u30b3\u30ed\u30ca\u798d\u3067\u6ede\u3063\u3066\u3044\u305f\u56fd\u5185\u5916\u306e\u7814\u7a76\u8005\u3068\u306e\u8b70\u8ad6\u3092\u4fc3\u9032\u3059\u308b\u3053\u3068\u3067\u3001\u4eba\u7684\u4ea4\u6d41\u304a\u3088\u3073\u554f\u984c\u5171\u6709\u3092\u884c\u3044\u3001\u7814\u7a76\u3092\u52a0\u901f\u3059\u308b\u610f\u56f3\u304c\u3042\u308a\u3001\u305d\u308c\u3092\u65b0\u3057\u3044\u30aa\u30f3\u30e9\u30a4\u30f3\u624b\u6cd5\u3067\u5b9f\u73fe\u3057\u305f\u3002\u4ee5\u4e0b\u306b\u516c\u958b\u3057\u305f\u958b\u50ac\u8da3\u65e8\u3092\u793a\u3059\u3002<br \/>\nThis workshop aims to strongly encourage mutual interaction among researchers in the fields of Reliable Computing and Computer-Assisted Proofs. Especially with the global expansion of Covid-19, many discussion forums have shrunk or gone online, reducing the number of interactive discussions with people outside of immediate research groups. As a result, it is more complex than ever to build trusting relationships with researchers with whom we have not previously interacted and form new communities. By using easy-to-use chat tools and the latest digital meeting devices, we can achieve a feeling similar to that of face-to-face meetings and at the same time achieve discussion efficiency higher than face-to-face meetings. The ReCAP workshop will bring back opportunities for interaction that were once commonplace.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"size-medium wp-image-7546 alignleft\" src=\"https:\/\/www.waseda.jp\/fsci\/wise\/assets\/uploads\/2022\/04\/1-610x500.png\" alt=\"\" width=\"610\" height=\"500\" srcset=\"https:\/\/www.waseda.jp\/fsci\/wise\/assets\/uploads\/2022\/04\/1-610x500.png 610w, https:\/\/www.waseda.jp\/fsci\/wise\/assets\/uploads\/2022\/04\/1.png 619w\" sizes=\"auto, (max-width: 610px) 100vw, 610px\" \/><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u7406\u5de5\u7dcf\u7814\u306b\u304a\u3051\u308b\u5f53\u8a72\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u7814\u7a76\u306e\u6210\u679c\u3092\u56fd\u5185\u5916\u306e\u5f53\u8a72\u5206\u91ce\u306e\u7814\u7a76\u8005\u306b\u5e83\u304f\u767a\u4fe1\u3059\u308b\u305f\u3081\u306b\u3001International Workshop on Reliable Computing and Computer-Assiste [&hellip;]<\/p>\n","protected":false},"author":3,"featured_media":7546,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[24,26,28],"class_list":["post-7544","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news","tag-events","tag-general","tag-research"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.waseda.jp\/fsci\/wise\/wp-json\/wp\/v2\/posts\/7544","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.waseda.jp\/fsci\/wise\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.waseda.jp\/fsci\/wise\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/wise\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/wise\/wp-json\/wp\/v2\/comments?post=7544"}],"version-history":[{"count":1,"href":"https:\/\/www.waseda.jp\/fsci\/wise\/wp-json\/wp\/v2\/posts\/7544\/revisions"}],"predecessor-version":[{"id":7547,"href":"https:\/\/www.waseda.jp\/fsci\/wise\/wp-json\/wp\/v2\/posts\/7544\/revisions\/7547"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/wise\/wp-json\/wp\/v2\/media\/7546"}],"wp:attachment":[{"href":"https:\/\/www.waseda.jp\/fsci\/wise\/wp-json\/wp\/v2\/media?parent=7544"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/wise\/wp-json\/wp\/v2\/categories?post=7544"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/wise\/wp-json\/wp\/v2\/tags?post=7544"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}