投稿日: Feb 09, 2020 1:54:8 AM
2/9(日) 開始時刻 プログラム
10:00 湘南国際村センター集合
10:15~10:45 武山誠（談話）算譜言語論第1章木下訳 の Agdaによる形式化
10:45~10:55 休憩
10:55~11:25 小西川（卒研発表）
11:25~12:00 植田（卒研発表）
12:00~13:00 昼食
13:00~13:30 馬谷誠二（談話）
13:30~13:40 休憩
13:40~14:10 遊佐（卒研発表）
14:10~14:40 山田（卒研発表）
14:40~15:10 小寺（卒研発表）
15:10~15:35 休憩
15:35~16:05 南（卒研発表）
16:05~16:35 鈴木（卒研発表）
16:35~16:45 休憩
16:45~17:15 池田（卒研発表）
17:15~17:45 林（卒研発表）
17:45~18:00 休憩
18:00~19:00 夕食
19:00~19:30 SA担当割り当て
19:30~20:00 休憩
20:00~ 懇親会
2/10(月) 開始時刻 プログラム
7:30~8:30 朝食
8:30~9:00 休憩
9:00~9:30 木下修司（談話）
9:30~9:45 伊藤（抱負）
9:45~10:00 曽我部（抱負）
10:00~10:15 芝田（抱負）
10:15~10:30 酒井（抱負）
10:30~10:50 休憩
10:50~12:00 Skype演習（4年は要旨発表）
12:00~13:00 昼食
13:00~13:30 木下佳樹（談話）「証明の技法と論理」章節立てとAgdaによる一部の形式化
13:30~13:45 休憩
13:45~13:50 鈴木（要旨発表）
13:50~13:55 山田（要旨発表）
13:55~14:00 遊佐（要旨発表）
14:00~14:05 南（要旨発表）
14:05~14:10 小西川（要旨発表）
14:10~14:15 植田（要旨発表）
14:15~14:20 小寺（要旨発表）
14:20~14:25 池田（要旨発表）
14:25~14:30 林（要旨発表）
14:30~15:00 木下佳樹（まとめ）
15:00 終了