先端ソフトウェア工学コース 授業時間割表(国立情報学研究所開講分)

平成27年度 トップエスイー講義時間割
4月
日
月
火
5
6
7
12
設基
①-④
19
26
13
20
27
14
21
28
水
1
形基①
形基②
8
15
形基③
形基④
22
形基⑤
形基⑥
29
昭和の日
6月
日
月
1
火
2
7
8
9
14
15
16
21
22
23
水
3
形基⑬
形基⑭
10
形基⑮
形応①
17
形応②
形応③
24
形応④
形応⑤
木
2
金
3
土
4
9
10
11
5月
日
月
火
水
木
金
1
土
2
3
4
5
6
8
9
憲法
記念日
みどり
の日
こども
振替休日
10
11
12
7
設基⑧
設基⑨
14
設基⑩
設基⑪
21
設基⑫
設基⑬
28
設基⑭
設基⑮
講 義 室: 20F 2009-2010号室
講義時間: 平日:
1コマ目 18:20-19:50
2コマ目 20:00-21:30
16
23
設基⑤
17
24
18
25
30
設基⑥
設基⑦
木
4
11
18
25
17
24
/
31
金
5
設応①
設応②
12
設応③
設応④
19
設応⑤
設応⑥
26
設応⑦
設応⑧
28
29
30
8月
日
月
火
水
木
金
2
3
4
5
6
9
10
11
12
16
17
18
19
18
の日
19
25
26
7月
日
月
火
13
5
6
7
20
12
13
14
27
19
20
21
土
6
海の日
26
27
28
土
1
9月
日
8/30
月
8/31
7
8
6
7
13
14
15
13
14
20
21
22
20
21
火
1
ソP③
ソP④
8
ソP⑤
ソP⑥
15
ソP⑦
ソP⑧
22
敬老の日
国民の
13
形基⑦
形基⑧
20
形基⑨
形基⑩
27
形基⑪
形基⑫
水
1
形応⑥
形応⑦
8
形応⑧
形応⑨
15
形応⑩
形応⑪
22
形応⑫
形応⑬
29
形応⑭
形応⑮
水
2
9
16
23
秋分の日
休日
15
16
4コマ目 16:30-18:00
22
23
木
2
金
3
土
4
9
10
設応⑨
設応⑩
17
設応⑪
設応⑫
24
設応⑬
設応⑭
31
設応⑮
11
木
3
並行③
並行④
10
並行⑤
並行⑥
17
並行⑦
並行⑧
24
並行⑨
並行⑩
金
4
実装③
実装④
11
実装⑤
実装⑥
18
実装⑦
実装⑧
25
土
5
30
2コマ目 13:00-14:30
3コマ目 14:45-16:15
30
23
時間割略語対応表
ソフトウェア工学基礎理論
形式仕様記述(基礎)
設計モデル検証(基礎)
形式仕様記述(応用)
設計モデル検証(応用)
ソフトウェアパターン
並行システムの検証と実装
実装モデル検証
性能モデル検証
アスペクト指向開発
12
19
26
25
ソP①
ソP②
26
27
並行①
並行②
28
実装①
実装②
29
27
28
29
ソP⑨
ソP⑩
30
10月
日
月
火
水
木
1
並行⑪
並行⑫
8
並行⑬
並行⑭
15
並行⑮
金
2
実装⑨
土
3
11月
日
1
月
2
火
3
水
4
木
5
金
6
土
7
9
実装⑩
実装⑪
16
実装⑫
実装⑬
23
実装⑭
実装⑮
30
10
8
11
12
13
14
6
17
15
18
19
20
21
13
24
22
25
26
27
28
20
11
12
体育の日
18
19
6
ソP⑪
ソP⑫
13
ソP⑬
ソP⑭
20
ソP⑮
7
14
21
22
26
27
28
29
1月
日
月
火
水
木
金
1
元旦
土
2
4
性能⑫
性能⑬
11
5
A指⑮
6
7
8
9
12
13
14
15
16
14
15
16
17
19
20
21
22
23
21
22
23
24
10
31
29
10
A指①
A指②
17
A指③
A指④
24
勤労感謝 A指⑤
の日
A指⑥
30
性能⑤
性能⑥
25
3
12月
日
月
文化の日
9
性能①
性能②
16
性能③
性能④
23
2月
日
7
月
1
火
2
水
3
8
9
10
並行
実装
性能
A指
25
24
5
基礎
形基
設基
形応
設応
ソP
18
23
4
土日,集中講義:講義によって異なります。
(例) 1コマ目 10:30-12:00
29
16
1日1コマの場合は1コマ目に行う。
7
性能⑦
性能⑧
14
性能⑨
27
21
性能⑩
性能⑪
28
3月
日
月
火
1
A指⑦
A指⑧
8
A指⑨
A指⑩
15
A指⑪
A指⑫
22
A指⑬
A指⑭
29
水
2
木
3
金
4
土
5
9
10
11
12
16
17
18
19
23
24
25
26
天皇
誕生日
30
31
火
1
水
2
木
3
金
4
土
5
木
4
金
5
土
6
11
12
13
6
7
8
9
10
11
12
18
19
20
13
14
15
16
17
18
19
25
26
27
20
21
22
23
24
25
26
29
30
31
建国
記念日
成人の日
17
24
/
31
18
性能⑭
性能⑮
25
春分の日
26
27
28
29
30
28
29
27
28