JST Sakura Exchange Program in Science, 2019 @ Niigata University
25 August - 1 September, 2019 Niigata University
August 25, 2019
|
A25
Arrival
|
August 25, 2019 20:00-21:00 新潟空港
|
|
Chairman: Nakao
|
20:00-21:00
新潟空港から新潟駅まで移動
|
August 26, 2019
|
A26
Orientation
|
August 26, 2019 10:00-12:00 A523
|
|
Chairman: Xuefeng LIU
|
10:00-10:30
Orientation
|
10:30-11:00
Explanation for CES system
|
11:00-12:00
Short Japanese class
|
|
A26
Presentation
|
August 26, 2019 13:00-17:00 A523
|
13:30-15:30
Presentation by students
|
15:30-17:00
Xuefeng LIU : Verified computing and finite element method
|
August 27, 2019
|
A27
Lecture
|
August 27, 2019 9:00-12:00 A523
|
|
Chairman: Sekine Kouta
|
9:30-11:30
Sekine Kouta: Introduction to verified computing（１）
|
|
A27
Lecture
|
August 27, 2019 13:00-17:00 A523
|
|
Chairman: Sekine Kouta
|
13:30-17:00
Sekine Kouta: Introduction to verified computing（2）
|
August 28, 2019
|
A28
Presentation
|
August 28, 2019 9:00-12:00 A523
|
|
Chairman: Yamamoto Nobito
|
9:00-10:00
Presentation by students
|
10:00-12:00
Yamamoto Nobito: Fixed-point theorems in verification methods and their applications
|
|
A28
Visiting
|
August 28, 2019 13:00-17:00 A523
|
|
Chairman: Xuefeng LIU
|
13:00-17:00
Visiting to Yahikomura
|
August 29, 2019
|
A29
Presentation
|
August 29, 2019 9:00-12:00 A523
|
|
Chairman: Watanabe Yoshitaka,Nakao Mitsuhiro
|
9:30-10:30
Watanabe Yoshitaka: Numerical verification methods for nonlinear equations
|
10:30-11:30
Nakao Mitsuhiro: From approximation theory to computer assisted proofs in analysisーNumerical verification for PDEsー
|
|
A29
Lecture
|
August 29, 2019 13:00-17:00 A523
|
|
Chairman: Xuefeng LIU
|
13:00-17:00
Xuefeng LIU: Rigorous Eigenvalue Estimation
|
August 30, 2019
|
A30
Lecture
|
August 30, 2019 9:00-12:00 A523
|
|
Chairman: Xuefeng LIU
|
9:00-10:00
Rigorous Eigenvalue Estimation (2)
|
|
A30
Moving to Kurobe
|
August 30, 2019 13:00-17:00 Move by train
|
August 31, 2019
|
A31
|
August 31, 2019 9:00-12:00 Kurobe
|
10:00-11:30
Presentation by students (report of study)
|
|
A31
|
August 31, 2019 13:00-17:00 Kurobe
|
|
Chairman: Xuefeng LIU
|
13:00-16:00
YKK Center Park
|
September 1, 2019
|
S01
|
September 1, 2019 9:00-12:00 Tokyo
|
9:00-12:00
Back to home country
|