{"id":14980,"date":"2022-05-16T09:59:46","date_gmt":"2022-05-16T00:59:46","guid":{"rendered":"https:\/\/www.waseda.jp\/fsci\/mathphys\/?p=14980"},"modified":"2023-12-05T12:19:42","modified_gmt":"2023-12-05T03:19:42","slug":"%e9%96%8b%e5%82%ac%e5%a0%b1%e5%91%8a%ef%bc%9ainternational-workshop-on-reliable-computing-and-computer-assisted-proofs-recap-2022","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/fsci\/mathphys\/news\/14980","title":{"rendered":"\u958b\u50ac\u5831\u544a\uff1aInternational Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)"},"content":{"rendered":"<p>2022\u5e743\u670813\u65e5\u304b\u308918\u65e5\u306b\u304b\u3051\u3066\u300cInternational Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)\u300d\u3092\u958b\u50ac\u3057\u307e\u3057\u305f\u3002<br \/>\n\u672c\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u306e\u76ee\u7684\u306f\u30b3\u30ed\u30ca\u798d\u306e\u305f\u3081\u6ede\u3063\u3066\u3044\u305f\u56fd\u5185\u5916\u306e\u7814\u7a76\u8005\u3068\u306e\u8b70\u8ad6\u3092\u4fc3\u9032\u3057\u3001\u4eba\u7684\u4ea4\u6d41\u3084\u554f\u984c\u5171\u6709\u3092\u884c\u3046\u3053\u3068\u3067\u3057\u305f\u3002\u305d\u308c\u3092\u65b0\u3057\u3044\u30aa\u30f3\u30e9\u30a4\u30f3\u624b\u6cd5\u3067\u5b9f\u73fe\u3057\u300133\u540d\u306e\u7814\u7a76\u8005\u306b\u3088\u308b\u8b1b\u6f14\u304c\u884c\u308f\u308c\u307e\u3057\u305f\u3002\u6642\u5dee\u306e\u554f\u984c\u3092\u89e3\u6c7a\u3059\u308b\u305f\u3081\u3001\u53c2\u52a0\u8005\u306b\u306f\u9332\u753b\u3057\u305f\u8b1b\u6f14\u52d5\u753b\u3092\u8996\u8074\u3057\u3066\u3082\u3089\u3044\u3001\u8cea\u554f\u4e8b\u9805\u306f\u4e8b\u524d\u306b\u30d3\u30b8\u30cd\u30b9\u30c1\u30e3\u30c3\u30c8\u30c4\u30fc\u30ebSlack\u306e\u5c02\u7528\u30c1\u30e3\u30f3\u30cd\u30eb\u306b\u6295\u7a3f\u3057\u3066\u3082\u3089\u3046\u3068\u3044\u3046\u65b9\u6cd5\u3092\u3068\u308a\u307e\u3057\u305f\u3002\u5f53\u65e5\u8b1b\u6f14\u8005\u306f3\u5206\u9593\u3067\u81ea\u8eab\u306e\u767a\u8868\u3092\u307e\u3068\u3081\u3001\u8cea\u554f\u306b\u7b54\u3048\u308b\u6642\u9593\u306f7\u5206\u9593\u3067\u3059\u3002\u56fd\u5185\u5916\u5408\u308f\u305b\u306650\u4eba\u4ee5\u4e0a\u306e\u7814\u7a76\u8005\u304c\u53c2\u52a0\u3057\u307e\u3057\u305f\u3002\u307e\u305f\u3001\u5b66\u751f\u30bb\u30c3\u30b7\u30e7\u30f3\u3082\uff12\u3064\u8a2d\u3051\u3001\u672c\u5b66\u3092\u542b\u30817\u540d\u306e\u5b66\u751f\u304c\u767a\u8868\u3092\u884c\u3044\u307e\u3057\u305f\u3002<br \/>\n\u4f1a\u671f\u4e2d\u306f\u6bce\u65e5\u8b70\u8ad6\u304c\u767d\u71b1\u3057\u3001\u3068\u304d\u306b\u306f\u6df1\u591c0\u6642\u4ee5\u964d\u3082\u7d9a\u304d\u307e\u3057\u305f\u3002\u30a2\u30f3\u30b1\u30fc\u30c8\u7d50\u679c\u304b\u3089\u306f\u53c2\u52a0\u3057\u305f\u7814\u7a76\u8005\u306e\u6e80\u8db3\u5ea6\u304c\u975e\u5e38\u306b\u9ad8\u304b\u3063\u305f\u3053\u3068\u304c\u4f3a\u3048\u307e\u3059\u3002\u672c\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u304c\u304b\u3064\u3066\u306f\u5f53\u305f\u308a\u524d\u3060\u3063\u305f\u4ea4\u6d41\u306e\u6a5f\u4f1a\u3092\u53d6\u308a\u623b\u3059\u304d\u3063\u304b\u3051\u306b\u306a\u308b\u3053\u3068\u3092\u9858\u3044\u307e\u3059\u3002<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter wp-image-14988 size-large\" src=\"https:\/\/www.waseda.jp\/fsci\/mathphys\/assets\/uploads\/2022\/05\/82f222360e7a81fa1988c28351be2382-940x400.jpg\" alt=\"\" width=\"940\" height=\"400\" srcset=\"https:\/\/www.waseda.jp\/fsci\/mathphys\/assets\/uploads\/2022\/05\/82f222360e7a81fa1988c28351be2382-940x400.jpg 940w, https:\/\/www.waseda.jp\/fsci\/mathphys\/assets\/uploads\/2022\/05\/82f222360e7a81fa1988c28351be2382-610x259.jpg 610w, https:\/\/www.waseda.jp\/fsci\/mathphys\/assets\/uploads\/2022\/05\/82f222360e7a81fa1988c28351be2382-768x326.jpg 768w, https:\/\/www.waseda.jp\/fsci\/mathphys\/assets\/uploads\/2022\/05\/82f222360e7a81fa1988c28351be2382.jpg 2000w\" sizes=\"auto, (max-width: 940px) 100vw, 940px\" \/><\/p>\n","protected":false},"excerpt":{"rendered":"<p>2022\u5e743\u670813\u65e5\u304b\u308918\u65e5\u306b\u304b\u3051\u3066\u300cInternational Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)\u300d\u3092\u958b\u50ac [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":14718,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[110,138],"class_list":["post-14980","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news","tag-report","tag-workshop"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.waseda.jp\/fsci\/mathphys\/wp-json\/wp\/v2\/posts\/14980","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.waseda.jp\/fsci\/mathphys\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.waseda.jp\/fsci\/mathphys\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/mathphys\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/mathphys\/wp-json\/wp\/v2\/comments?post=14980"}],"version-history":[{"count":1,"href":"https:\/\/www.waseda.jp\/fsci\/mathphys\/wp-json\/wp\/v2\/posts\/14980\/revisions"}],"predecessor-version":[{"id":18419,"href":"https:\/\/www.waseda.jp\/fsci\/mathphys\/wp-json\/wp\/v2\/posts\/14980\/revisions\/18419"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/mathphys\/wp-json\/wp\/v2\/media\/14718"}],"wp:attachment":[{"href":"https:\/\/www.waseda.jp\/fsci\/mathphys\/wp-json\/wp\/v2\/media?parent=14980"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/mathphys\/wp-json\/wp\/v2\/categories?post=14980"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/fsci\/mathphys\/wp-json\/wp\/v2\/tags?post=14980"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}