投稿日: Aug 08, 2019 2:0:58 AM
日時 開始時刻 プログラム
8/6(火) 14:00 JR 中央本線 小淵沢駅前集合
送迎バス乗車
14:40 富士見高原研修所到着
15:00 自己紹介
15:30 談話1(木下佳樹)
16:00 卒論テーマ発表1(南崇志)
16:30 休憩
16:50 卒論テーマ発表2(小西川智弥)
17:20 卒論テーマ発表3(池田賢哉)
18:00 夕食
19:00 懇親会
8/7(水) 8:00 朝食
9:00 談話2(馬谷誠二)
9:30 卒論テーマ発表4(植田哲也)
10:00 休憩
10:20 卒論テーマ発表5(鈴木歩武)「命題論理の健全性・完全性と恒真性の決定可能性」
10:50 近況報告(曽我部勇貴)
11:00 近況報告(伊藤靖流)
11:10 談話3(木下修司) 「ISO/IEC/IEEE 15026-2 Assurance case改訂の現状」
12:00 昼食(昼食自体は 13:00 まで)
12:30 自由行動(サントリー白州蒸留所見学、施設利用、自主勉強等)
16:50 夕食(バーベキュー)準備
17:00 夕食(バーベキュー)
8/8(木) 8:00 朝食
9:00 談話4(武山誠)
9:30 卒論テーマ発表6 (林晃輔)
10:00 休憩
10:20 卒論テーマ発表7 (山田拓海)
10:50 卒論テーマ発表8 (遊佐清昇)
11:20 自由行動(施設利用、自主勉強等)
12:00 昼食