プログラム

13:00〜13:10 開会挨拶  
     
13:10〜13:50 スーパーコンピュータを用いた流れの数値シミュレーション
  岡山大学 教授  石原 卓
     
14:00〜14:40 プログラムが正しく動くことを「証明」せよ
  京都大学 准教授, JSTさきがけ  末永 幸平
     
15:00〜15:40 あみだくじで数学を
  北里大学 講師  酒井 祐貴子
     
15:50〜16:30 数列から漸化式を推理しよう 〜データ駆動科学ことはじめ〜
  京都大学 特定講師  中野 直人
     
16:30〜17:00 講演者とのおしゃべりタイム