{"id":6418,"date":"2020-11-02T11:11:49","date_gmt":"2020-11-02T02:11:49","guid":{"rendered":"https:\/\/aimap.imi.kyushu-u.ac.jp\/wp\/?post_type=tribe_events&p=6418"},"modified":"2020-11-25T14:48:53","modified_gmt":"2020-11-25T05:48:53","slug":"2020a007","status":"publish","type":"tribe_events","link":"https:\/\/aimap.imi.kyushu-u.ac.jp\/wp\/event\/2020a007\/","title":{"rendered":"\u3010\u30aa\u30f3\u30e9\u30a4\u30f3\u958b\u50ac\u3011\u7b2c4\u56de \u7cbe\u5ea6\u4fdd\u8a3c\u4ed8\u304d\u6570\u5024\u8a08\u7b97\u306e\u5b9f\u554f\u984c\u3078\u306e\u5fdc\u7528\u7814\u7a76\u96c6\u4f1a (NVR 2020)"},"content":{"rendered":"

\u7b2c4\u56de \u7cbe\u5ea6\u4fdd\u8a3c\u4ed8\u304d\u6570\u5024\u8a08\u7b97\u306e\u5b9f\u554f\u984c\u3078\u306e\u5fdc\u7528\u7814\u7a76\u96c6\u4f1a (NVR 2020)<\/span><\/strong><\/span>
\nWorkshop on Numerical Verification Method for Real World Problems 2020<\/span><\/strong><\/span><\/p>\n

\n\u25a0\u958b\u50ac\u65e5\u6642: 2020\u5e7411\u670828\u65e5(\u571f) \uff5e11\u670829\u65e5(\u65e5)
\n\u25a0\u5834\u6240\uff1a\u65b0\u578b\u30b3\u30ed\u30ca\u30a6\u30a4\u30eb\u30b9\u306e\u611f\u67d3\u62e1\u5927\u9632\u6b62\u306e\u305f\u3081\u3001Zoom\u3067\u306e\u30aa\u30f3\u30e9\u30a4\u30f3\u958b\u50ac\u3068\u3057\u307e\u3059\u3002
\n\u25a0web\u30da\u30fc\u30b8\uff1ahttp:\/\/verifiedby.me\/nvr2020\/<\/a>
\n\u25a0\u7814\u7a76\u96c6\u4f1a\u306e\u8da3\u65e8
\n\u7dda\u5f62\u8a08\u7b97\u304b\u3089\u5fae\u5206\u65b9\u7a0b\u5f0f\u306e\u6570\u5024\u8a08\u7b97\u307e\u3067\u3001\u7cbe\u5ea6\u4fdd\u8a3c\u4ed8\u304d\u6570\u5024\u8a08\u7b97\u306f\u6570\u5024\u8a08\u7b97\u306e \u591a\u304f\u306e\u5206\u91ce\u3092\u30ab\u30d0\u30fc\u3057\u767a\u5c55\u3092\u9042\u3052\u3066\u304d\u307e\u3057\u305f\u3002 \u4eca\u306f\u3001\u305d\u306e\u6280\u8853\u306e\u666e\u53ca\u304c\u6c42\u3081\u3089\u308c\u3066\u3044\u307e\u3059\u3002 \u672c\u7814\u7a76\u96c6\u4f1a\u306f\u3001 \u3055\u307e\u3056\u307e\u306a\u5b9f\u554f\u984c\u306b\u5bfe\u3059\u308b\u7cbe\u5ea6\u4fdd\u8a3c\u4ed8\u304d\u6570\u5024\u8a08\u7b97\u306e\u5fdc\u7528\u306b\u95a2\u3059\u308b\u60c5\u5831\u4ea4\u63db\u53ca\u3073\u3001 \u305d\u308c\u3092\u901a\u3058\u305f\u5171\u540c\u7814\u7a76\u306e\u4fc3\u9032\u3092\u76ee\u7684\u3068\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n

\u5fc5\u305a\u3057\u3082\u5b8c\u6210\u3055\u308c\u305f\u7814\u7a76\u3067\u306a\u304f\u3066\u3082\u3088\u304f\u3001\u672a\u5b8c\u6210\u307e\u305f\u306f\u672a\u7740\u624b\u3067\u3082\u65b0\u3057\u3044\u9762\u767d\u3044 \u8a71\u984c\u3092\u6c42\u3081\u3066\u3044\u307e\u3059\u3002 \u307e\u305f\u3001\u5b9f\u554f\u984c\u3078\u5fdc\u7528\u3059\u308b\u306e\u306b\u5f79\u7acb\u3064\u7406\u8ad6\u3084\u5b9f\u88c5\u6280\u8853\u306a\u3069\u3001\u7cbe\u5ea6\u4fdd\u8a3c\u4ed8\u304d\u6570\u5024\u8a08\u7b97\u306e \u666e\u53ca\u306b\u8ca2\u732e\u3059\u308b\u5e45\u5e83\u3044\u8a71\u984c\u3092\u6b53\u8fce\u3057\u307e\u3059\u3002
\n\u25a0\u4f1a\u8b70\u306e\u8074\u8b1b\uff1a\u7121\u6599
\n\u25a0\u53c2\u52a0\u767b\u9332\uff1a\u8074\u8b1b\u3059\u308b\u306b\u306f\u3001\u4e8b\u524d\u767b\u9332\u304c\u5fc5\u8981\u3067\u3059\u3002\u4e0a\u8a18web\u30da\u30fc\u30b8\u3092\u3054\u78ba\u8a8d\u304f\u3060\u3055\u3044\u3002<\/p>\n

\u30d7\u30ed\u30b0\u30e9\u30e0<\/a><\/span>
\n11\u670828\u65e5(\u571f) <\/span><\/strong><\/p>\n

9:30-10:40\u3000 (Zoom\u306e\u63a5\u7d9a\u78ba\u8a8d)
\n10:40-11:20 \u3000\u67cf\u6728 \u96c5\u82f1 (\u65e9\u7a32\u7530\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u7cbe\u5ea6\u4fdd\u8a3c\u4ed8\u304d\u4e8c\u91cd\u7a4d\u5206\u306b\u3064\u3044\u3066
\n11:20-12:00 \u3000\u5185\u6d77 \u664b\u5f25 (\u5b66\u7fd2\u9662\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u975e\u591a\u9805\u5f0f\u6709\u9650\u8981\u7d20\u57fa\u5e95\u306e\u7a4d\u5206\u5024\u306e\u5305\u542b\u6cd5\u3068\u305d\u306e\u5fdc\u7528
\n12:00-13:30 \u3000(\u663c\u98df)
\n13:30-14:10\u3000 \u95a2\u6839 \u6643\u592a (\u6771\u6d0b\u5927\u5b66), \u4e2d\u5c3e\u5145\u5b8f (\u65e9\u7a32\u7530\u5927\u5b66), \u5927\u77f3 \u9032\u4e00 (\u65e9\u7a32\u7530\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u534a\u7dda\u5f62\u6955\u5186\u578b\u504f\u5fae\u5206\u65b9\u7a0b\u5f0f\u306e\u7dda\u5f62\u5316\u4f5c\u7528\u7d20L:D(\u0394)\u2192L2\u306b\u5bfe\u3059\u308bSchur\u88dc\u5143\u3092\u7528\u3044\u305f\u9006\u4f5c\u7528\u7d20\u306e\u8868\u73fe\u65b9\u6cd5
\n14:10-14:50 \u3000\u6e21\u90e8\u5584\u9686 (\u4e5d\u5dde\u5927\u5b66)\uff0c\u6728\u4e0b\u6b66\u5f66 (\u4f50\u8cc0\u5927\u5b66), \u4e2d\u5c3e\u5145\u5b8f (\u65e9\u7a32\u7530\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u91cd\u8abf\u548c\u65b9\u7a0b\u5f0f\u306b\u5bfe\u3059\u308bLegendre\u591a\u9805\u5f0f\u3092\u7528\u3044\u305f\u69cb\u6210\u7684\u8aa4\u5dee\u8a55\u4fa1
\n14:50-15:05 \u3000(\u4f11\u61a9)
\n15:05-15:45 \u3000\u5357\u7551 \u6df3\u53f2 (\u4e2d\u592e\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000LU\u5206\u89e3\u3092\u7528\u3044\u305f\u758e\u884c\u5217\u5411\u3051\u306e\u7cbe\u5ea6\u4fdd\u8a3c\u4ed8\u304d\u6570\u5024\u8a08\u7b97\u6cd5\u3068\u305d\u306e\u5fdc\u7528
\n15:45-16:25 \u3000\u83f1\u6cbc \u5229\u5f70 (\u682a\u5f0f\u4f1a\u793e\u79d1\u5b66\u8a08\u7b97\u7dcf\u5408\u7814\u7a76\u6240), \u68ee\u7530 \u76f4\u6a39 (\u682a\u5f0f\u4f1a\u793e\u79d1\u5b66\u3000\u3000\u3000\u3000\u3000\u3000\u8a08\u7b97\u7dcf\u5408\u7814\u7a76\u6240, \u7b51\u6ce2\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000AVX2\u3092\u7528\u3044\u305f\u9ad8\u901f\u306a\u500d\u3005\u7cbe\u5ea6\u758e\u884c\u5217\u8a08\u7b97\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306e\u958b\u767a\u3068\u69cb\u9020\u89e3\u6790\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3078\u306e\u5fdc\u7528
\n16:25-16:40\u3000 (\u4f11\u61a9)
\n16:40-17:20 \u3000\u690b\u6728 \u5927\u5730 (\u7406\u7814R-CCS)\uff0c\u5c3e\u5d0e \u514b\u4e45 (\u829d\u6d66\u5de5\u696d\u5927\u5b66), \u837b\u7530 \u6b66\u53f2 (\u6771\u4eac\u5973\u5b50\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u5c3e\u5d0e\u30b9\u30ad\u30fc\u30e0\u306b\u3088\u308bbinary128\u884c\u5217\u7a4d
\n17:20-18:00\u3000 \u5c3e\u5d0e \u514b\u4e45 (\u829d\u6d66\u5de5\u696d\u5927\u5b66), \u690b\u6728 \u5927\u5730 (\u7406\u7814R-CCS), \u837b\u7530 \u6b66\u53f2 (\u6771\u4eac\u5973\u5b50\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000GPU\u3092\u7528\u3044\u305f\u884c\u5217\u7a4d\u306e\u30a8\u30e9\u30fc\u30d5\u30ea\u30fc\u5909\u63db\u3068\u305d\u306e\u5fdc\u7528<\/p>\n

11\u670829\u65e5(\u65e5)<\/strong><\/p>\n

9:45-10:25\u00a0 \u00a0 \u00a0 \u00a0\u5c71\u672c \u91ce\u4eba (\u96fb\u6c17\u901a\u4fe1\u5927\u5b66), \u65b0\u7530 \u5149\u8f1d (\u96fb\u6c17\u901a\u4fe1\u5927\u5b66\uff09
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u975e\u53cc\u66f2\u578b\u5e73\u8861\u70b9\u30fb\u4e0d\u52d5\u70b9\u3092\u6301\u3064\u7cfb\u306eLyapunov\u95a2\u6570\u306b\u3064\u3044\u3066
\n10:25-11:05 \u3000\u9ad8\u5b89 \u4eae\u7d00 (\u7b51\u6ce2\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000Global dynamics in a quadratic nonlinear Schr\u00f6dinger equation
\n11:05-11:20\u3000 (\u4f11\u61a9)
\n11:20-12:00 \u3000\u4e45\u4fdd \u9686\u5fb9 (\u304a\u8336\u306e\u6c34\u5973\u5b50\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u6642\u9593\u9045\u308c\u3092\u8003\u616e\u306b\u5165\u308c\u305fBurgers\u65b9\u7a0b\u5f0f\u306e\u5927\u57df\u89e3\u306b\u3064\u3044\u3066
\n12:00-13:30 \u3000(\u663c\u98df)
\n13:30-14:10 \u3000\u5927\u77f3 \u9032\u4e00 (\u65e9\u7a32\u7530\u5927\u5b66), \u95a2\u6839 \u6643\u592a (\u6771\u6d0b\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u30a8\u30eb\u30cb\u30fc\u30cb\u30e7\u3092\u8a18\u8ff0\u3059\u308b\u5f37\u5236\u9045\u5ef6\u5fae\u5206\u65b9\u7a0b\u5f0f\u306e\u5206\u6570\u8abf\u6ce2\u89e3\u306e\u5b58\u5728\u306e\u8a08\u7b97\u6a5f\u63f4\u7528\u8a3c\u660e
\n14:10-14:50 \u3000\u5927\u77f3 \u9032\u4e00 (\u65e9\u7a32\u7530\u5927\u5b66), \u95a2\u6839 \u6643\u592a (\u6771\u6d0b\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u5f37\u5236\u5916\u529b\u306e\u3042\u308b\u9045\u5ef6Duffing\u65b9\u7a0b\u5f0f\u306e\u9006\u5206\u5c90\u30c0\u30a4\u30a2\u30b0\u30e9\u30e0\u554f\u984c\u3068\u5206\u6570\u8abf\u6ce2\u89e3\u306e\u5b58\u5728\u306e\u8a08\u7b97\u6a5f\u63f4\u7528\u8a3c\u660e
\n14:50-15:05\u3000 (\u4f11\u61a9)
\n15:05-15:45\u3000 \u7530\u4e2d \u654f (\u6771\u5317\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u30001\u6b21\u5143H\u00e9non\u65b9\u7a0b\u5f0f\u306e\u6b63\u5024\u5bfe\u79f0\u89e3\u306e\u30e2\u30fc\u30b9\u6307\u6570\u3068\u5bfe\u79f0\u6027\u7834\u58ca\u5206\u5c90\u306b\u3064\u3044\u3066
\n15:45-16:25 \u3000\u6d45\u4e95 \u5927\u6674 (\u65e9\u7a32\u7530\u5927\u5b66), \u7530\u4e2d \u4e00\u6210 (\u65e9\u7a32\u7530\u5927\u5b66), \u5927\u77f3 \u9032\u4e00(\u65e9\u7a32\u7530\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u7cbe\u5ea6\u4fdd\u8a3c\u4ed8\u304d\u6570\u5024\u8a08\u7b97\u3092\u7528\u3044\u305fH\u00e9non\u65b9\u7a0b\u5f0f\u306e\u5bfe\u79f0\u6027\u306b\u95a2\u3059\u308b\u8003\u5bdf
\n16:25-17:05 \u3000\u7530\u4e2d \u4e00\u6210 (\u65e9\u7a32\u7530\u5927\u5b66)
\n\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u3000\u30a8\u30ce\u30f3\u65b9\u7a0b\u5f0f\u306e\u89e3\u306b\u5bfe\u3059\u308b\u6b63\u5024\u6027\u691c\u8a3c\u6cd5><\/p>\n

\n\u25a0\u304a\u554f\u3044\u5408\u308f\u305b\u5148\uff1a
\nE-mail: nvr@verified.computation.jp
\n\u25a0\u4e16\u8a71\u4eba\uff1a
\n\u67cf\u6728 \u96c5\u82f1 (\u65e9\u7a32\u7530\u5927\u5b66)
\n\u95a2\u6839 \u6643\u592a (\u6771\u6d0b\u5927\u5b66)
\n\u5357\u7551 \u6df3\u53f2 (\u4e2d\u592e\u5927\u5b66)
\n\u5927\u77f3 \u9032\u4e00 (\u65e9\u7a32\u7530\u5927\u5b66)
\n\u25a0\u30b5\u30dd\u30fc\u30c8\uff1a
\n\u4e3b\u50ac: JST<\/a> \/ CREST<\/a> \u30e2\u30c7\u30ea\u30f3\u30b0\u306e\u305f\u3081\u306e\u7cbe\u5ea6\u4fdd\u8a3c\u4ed8\u304d\u6570\u5024\u8a08\u7b97\u8ad6\u306e\u5c55\u958b<\/a>
\n\u672c\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u306f\u3001 \u6587\u90e8\u79d1\u5b66\u7701\u79d1\u5b66\u6280\u8853\u8a66\u9a13\u7814\u7a76\u59d4\u8a17\u4e8b\u696d\u300c\u6570\u5b66\u30a2\u30c9\u30d0\u30f3\u30b9\u30c8\u30a4\u30ce\u30d9\u30fc\u30b7\u30e7\u30f3\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0(AIMaP)\u300d \u306e\u5354\u529b\u3092\u5f97\u3066\u5b9f\u65bd\u3057\u307e\u3059\u3002
\n\u25a0\u30a2\u30f3\u30b1\u30fc\u30c8<\/a>
\n \"\"<\/p>\n

\u25a0\u4f01\u753b\u756a\u53f7\uff1a2020A007<\/p>\n","protected":false},"excerpt":{"rendered":"

\u7b2c4\u56de \u7cbe\u5ea6\u4fdd\u8a3c\u4ed8\u304d\u6570\u5024\u8a08\u7b97\u306e\u5b9f\u554f\u984c\u3078\u306e\u5fdc\u7528\u7814\u7a76\u96c6\u4f1a (NVR 2020) Workshop on Numerical Verification Method for Real World Problems 2020 \u25a0 […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_tribe_events_status":"","_tribe_events_status_reason":""},"tags":[],"tribe_events_cat":[44,34],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/aimap.imi.kyushu-u.ac.jp\/wp\/wp-json\/wp\/v2\/tribe_events\/6418"}],"collection":[{"href":"https:\/\/aimap.imi.kyushu-u.ac.jp\/wp\/wp-json\/wp\/v2\/tribe_events"}],"about":[{"href":"https:\/\/aimap.imi.kyushu-u.ac.jp\/wp\/wp-json\/wp\/v2\/types\/tribe_events"}],"author":[{"embeddable":true,"href":"https:\/\/aimap.imi.kyushu-u.ac.jp\/wp\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/aimap.imi.kyushu-u.ac.jp\/wp\/wp-json\/wp\/v2\/comments?post=6418"}],"version-history":[{"count":30,"href":"https:\/\/aimap.imi.kyushu-u.ac.jp\/wp\/wp-json\/wp\/v2\/tribe_events\/6418\/revisions"}],"predecessor-version":[{"id":8523,"href":"https:\/\/aimap.imi.kyushu-u.ac.jp\/wp\/wp-json\/wp\/v2\/tribe_events\/6418\/revisions\/8523"}],"wp:attachment":[{"href":"https:\/\/aimap.imi.kyushu-u.ac.jp\/wp\/wp-json\/wp\/v2\/media?parent=6418"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/aimap.imi.kyushu-u.ac.jp\/wp\/wp-json\/wp\/v2\/tags?post=6418"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/aimap.imi.kyushu-u.ac.jp\/wp\/wp-json\/wp\/v2\/tribe_events_cat?post=6418"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}