2018/07/26

A0		2018/07/26 18:45-20:30   Niigata Airport
18:45-20:30 Welcome to Niigata! (新潟空港にさくらサイエンスの活動参加者を農学部バス及び理学部公用車によりホテルまで送迎)

2018/07/27

A1    Opening ceremony		2018/07/27 9:00-12:00   Big meeting room
9:00-9:30 Message from Prof. Mitsugu Maeno
9:30-10:00 Message from Prof. Satishi Kumar
10:00-12:00 Introduction of universities (Total 4)

A2    Presentation and Japanese lesson		2018/07/27 13:30-18:00   Seminar room 523
14:30-16:30 Xuefeng LIU: About computer-assisted proof
16:45-17:50 Yokoda Miyuki: Short Japanese lesson

A3    Welcome party		2018/07/27 18:00-20:00   第一食堂
18:00-20:00 (Total 26 people)

2018/07/28

B1    Intensive course		2018/07/28 9:00-12:00   Seminar room 523
9:00-12:00 Xuefeng LIU: Introduction to finite element method

B2    Intensive course by LIU		2018/07/28 13:30-17:30   Seminar room 523
13:30-17:30 Xuefeng LIU: Introduction to finite element method (programming) (17:30 ホテルの送迎バスで大学から角田浜に移動する)

2018/07/29

C1    Hiking to Yahiko Mountain		2018/07/29 9:00-15:00   弥彦村
10:30-11:30 Talk on A Talk on B
11:30-12:30 Talk on C Talk on D

C2    Enjoy hot spring		2018/07/29 16:00-18:00   弥彦村
16:00-18:00 Visiting to Taho hot spring (多宝温泉)

2018/07/30

D1    Intensive course by LIU		2018/07/30 10:15-12:00   Seminar room 523
10:15-12:00 Introduction to finite element method: error analysis of FEM solutions

D2    Intensive course by LIU		2018/07/30 14:00-17:30   Seminar room 523
14:00-17:30 Introduction to finite element method: error estimation (programming)

2018/07/31

D3    Intensive course by LIU		2018/07/31 9:00-12:00   Seminar room 523
9:00-12:00 About eigenvalue problem of differential operators

D4    Intensive course by LIU		2018/07/31 14:00-17:30   Seminar room 523
14:00-17:30 Computable lower bound of eigenvalues: theories and programming

2018/08/01

S1    Intensive course by SEKINE		2018/08/01 9:00-11:30   Seminar room 523
9:00 - 10:00 Introduction to verified computation (I)   abstract Kouta SEKINE (Toyo University)
10:00 - 10:30 Break time
10:30 - 11:30 Introduction to verified computation (I)   abstract Kouta SEKINE (Toyo University)

S1    Intensive course by SEKINE		2018/08/01 14:30-17:00   Seminar room 523
14:30 - 15:30 Introduction to verified computation (II)   abstract Kouta SEKINE (Toyo University)
15:30 - 16:00 Break time
16:00 - 17:00 Introduction to verified computation (II)   abstract Kouta SEKINE (Toyo University)

2018/08/02

S2    Seminar on Numerical Analysis at Niigata University		2018/08/02 9:00-12:00   Seminar room 523
Chairman: Xuefeng LIU
9:00 - 9:50 The Lax-Milgram theorem and applications   abstract Norikazu Saito (University of Tokyo)
9:50 - 10:00 Break time
10:00 - 10:50 Error Analysis of Lagrange Interpolation   abstract Takuya TSUCHIYA (Ehime University)
10:50 - 11:00 Break time
11:00 - 11:50 抵抗率測定に使用される四探針法の数理モデルの構築と解析   abstract Taiga NAKANO (Niigata University)

S2    Seminar on Numerical Analysis at Niigata University		2018/08/02 13:30-14:00   Seminar room 523
13:30 - 14:00 Study on set-valued inequality based on set-valued analysis and covex analysis   abstract Tamaki Tanaka (Niigata University)

T    Nagaoka Matsuri and Hanabi		2018/08/02 16:00-21:00   長岡
16:00-21:00 Attend the Nagaoka matsuri and enjoy the firework

2018/08/03

V1    Transit		2018/08/03 9:28-11:00   新幹線
9:28-11:00 Move from Niigata to Tokyo by Shinkansen

V2    Visiting tour to company		2018/08/03 13:00-14:30   東京
13:00-14:30 Visiting to NEC Display Company

V3    Closing ceremony		2018/08/03 15:00-17:00   新潟大学東京事務所
15:00-17:00 終了式

2018/08/04

Z    Move from Ueno to Narita Airport		2018/08/04 6:00-12:00   成田空港
6:00-12:00 See 9 students off at Narita Airport (Other students left in the evening)