2015年度春合宿

12:30 湘南国際村集合

13:00 談話①｢全射と単射｣(木下佳樹)

13:30 卒論発表①「システムライフサイクルプロセスの遂行責任者の明確化」(大倉友弥)

14:00 卒論発表②「関数型プログラムの値の導出木」(中村太紀)

14:30 休憩

14:40 卒論発表③「プログラムの不動点意味論について」(小野靖)

15:10 卒論発表④「最弱条件を用いたプログラム開発法」(菅野直人)

15:40 近況報告(高植祐司)

15:55 近況報告(日㘴龍成)

16:10 休憩

16:20 談話②(中原早生)

18:00 夕食

7:30 朝食

9:00 談話③｢箇条書き｣(木下修司)

9:30 卒論テーマ発表①(伊達崇晃)

9:45 卒論テーマ発表②(樊豪)

10:00 卒論テーマ発表③(岩澤宏樹)

10:15 休憩

10:30 卒論テーマ発表④(石塚亮)

10:45 卒論テーマ発表⑤(塩川大喜)

11:00談話④(武山誠)

11:30～13:30昼食

14:00 卒論テーマ発表⑥(藤原翔也)

14:15 卒論テーマ発表⑦(土屋勇登)

14:30 談話⑤(奥野康二)

15:00 終了