投稿日: Feb 18, 2016 5:7:51 AM
2月29日(月)
3月1日(火)
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 終了