2019年度夏合宿

投稿日: 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        昼食