763
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1 |
1
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
2 |
00:00:05,750 --> 00:00:10,395
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
3 |
They come back! Before we can
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
4 |
start with any serious work,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
5 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
6 |
2
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
7 |
00:00:10,395 --> 00:00:12,255
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
8 |
let's do some housekeeping.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
9 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
10 |
3
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
11 |
00:00:12,255 --> 00:00:17,380
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
12 |
As you know, this year is a tad special.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
13 |
While the broad direction is clear,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
14 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
15 |
4
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
16 |
00:00:17,380 --> 00:00:19,730
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
17 |
there are some organizational
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
18 |
details that
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
19 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
20 |
5
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
21 |
00:00:19,730 --> 00:00:22,370
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
22 |
still need to be worked
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
23 |
out as we go along.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
24 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
25 |
6
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
26 |
00:00:22,370 --> 00:00:23,930
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
27 |
The main hub for
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
28 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
29 |
7
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
30 |
00:00:23,930 --> 00:00:27,215
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
31 |
all the information is the
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
32 |
KEATS page of this module.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
33 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
34 |
8
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
35 |
00:00:27,215 --> 00:00:29,300
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
36 |
Let me say a few words on how
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
37 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
38 |
9
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
39 |
00:00:29,300 --> 00:00:35,269
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
40 |
it is organized. The module is
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
41 |
organized into weekly topics.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
42 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
43 |
10
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
44 |
00:00:35,269 --> 00:00:39,785
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
45 |
So there are entries for weeks
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
46 |
one up till week ten.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
47 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
48 |
11
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
49 |
00:00:39,785 --> 00:00:44,390
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
50 |
Let's also proceed in
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
51 |
approximately weekly steps.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
52 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
53 |
12
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
54 |
00:00:44,390 --> 00:00:46,790
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
55 |
Because if you
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
56 |
already asked me in
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
57 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
58 |
13
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
59 |
00:00:46,790 --> 00:00:49,130
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
60 |
week two something
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
61 |
about week ten,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
62 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
63 |
14
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
64 |
00:00:49,130 --> 00:00:51,275
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
65 |
then you might confuse me
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
66 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
67 |
15
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
68 |
00:00:51,275 --> 00:00:53,720
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
69 |
and also your fellow students.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
70 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
71 |
16
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
72 |
00:00:53,720 --> 00:00:55,970
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
73 |
All the communication in
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
74 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
75 |
17
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
76 |
00:00:55,970 --> 00:00:59,945
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
77 |
this module can be done in
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
78 |
the course discussion area.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
79 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
80 |
18
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
81 |
00:00:59,945 --> 00:01:02,300
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
82 |
You can ask any questions.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
83 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
84 |
19
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
85 |
00:01:02,300 --> 00:01:05,465
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
86 |
For example, I haven't
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
87 |
understood this point,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
88 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
89 |
20
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
90 |
00:01:05,465 --> 00:01:07,910
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
91 |
this video isn't clear,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
92 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
93 |
21
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
94 |
00:01:07,910 --> 00:01:10,160
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
95 |
I cannot run this code,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
96 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
97 |
22
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
98 |
00:01:10,160 --> 00:01:13,910
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
99 |
I have problems with
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
100 |
accessing the coursework.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
101 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
102 |
23
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
103 |
00:01:13,910 --> 00:01:16,295
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
104 |
This can be all discussed here.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
105 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
106 |
24
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
107 |
00:01:16,295 --> 00:01:18,590
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
108 |
If you have any private matter,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
109 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
110 |
25
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
111 |
00:01:18,590 --> 00:01:20,900
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
112 |
like, I can't understand why
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
113 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
114 |
26
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
115 |
00:01:20,900 --> 00:01:23,465
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
116 |
did I get such a good
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
117 |
mark, for example?
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
118 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
119 |
27
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
120 |
00:01:23,465 --> 00:01:27,245
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
121 |
Or there are some private
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
122 |
reasons why you can't keep up.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
123 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
124 |
28
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
125 |
00:01:27,245 --> 00:01:31,430
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
126 |
Please feel free to use
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
127 |
my private email address.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
128 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
129 |
29
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
130 |
00:01:31,430 --> 00:01:35,630
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
131 |
But for any other matter
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
132 |
related to the module,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
133 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
134 |
30
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
135 |
00:01:35,630 --> 00:01:38,480
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
136 |
try to use the course
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
137 |
discussion area.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
138 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
139 |
31
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
140 |
00:01:38,480 --> 00:01:41,510
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
141 |
And I will try to stay on top
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
142 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
143 |
32
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
144 |
00:01:41,510 --> 00:01:45,450
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
145 |
of all the discussions
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
146 |
as much as I can.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
147 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
148 |
33
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
149 |
00:01:45,580 --> 00:01:48,500
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
150 |
Each week is organized into
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
151 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
152 |
34
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
153 |
00:01:48,500 --> 00:01:52,550
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
154 |
a mandatory section and
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
155 |
an optional section.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
156 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
157 |
35
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
158 |
00:01:52,550 --> 00:01:55,835
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
159 |
The mandatory section
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
160 |
contains videos,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
161 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
162 |
36
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
163 |
00:01:55,835 --> 00:01:58,190
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
164 |
a handout, and the slides,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
165 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
166 |
37
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
167 |
00:01:58,190 --> 00:02:00,725
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
168 |
which I used to
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
169 |
produce the videos.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
170 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
171 |
38
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
172 |
00:02:00,725 --> 00:02:04,324
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
173 |
I recommend that your
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
174 |
first read the handouts,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
175 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
176 |
39
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
177 |
00:02:04,324 --> 00:02:07,430
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
178 |
then watch the videos and then
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
179 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
180 |
40
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
181 |
00:02:07,430 --> 00:02:11,030
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
182 |
read the handout
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
183 |
again for each week.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
184 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
185 |
41
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
186 |
00:02:11,030 --> 00:02:14,795
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
187 |
Apologies, some of these
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
188 |
handouts are quite lengthy.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
189 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
190 |
42
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
191 |
00:02:14,795 --> 00:02:17,615
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
192 |
I think the longest
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
193 |
one is 20 pages.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
194 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
195 |
43
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
196 |
00:02:17,615 --> 00:02:19,235
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
197 |
On the good side,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
198 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
199 |
44
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
200 |
00:02:19,235 --> 00:02:21,650
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
201 |
these handouts are
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
202 |
written in such a way
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
203 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
204 |
45
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
205 |
00:02:21,650 --> 00:02:24,935
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
206 |
that you can read them just
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
207 |
before you fall asleep
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
208 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
209 |
46
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
210 |
00:02:24,935 --> 00:02:26,720
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
211 |
and you should still be able
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
212 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
213 |
47
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
214 |
00:02:26,720 --> 00:02:28,835
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
215 |
to understand what is going on.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
216 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
217 |
48
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
218 |
00:02:28,835 --> 00:02:32,105
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
219 |
Also, they contain lots
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
220 |
of pictures and code.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
221 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
222 |
49
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
223 |
00:02:32,105 --> 00:02:35,330
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
224 |
So 20 pages is
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
225 |
a bit misleading.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
226 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
227 |
50
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
228 |
00:02:35,330 --> 00:02:38,870
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
229 |
You can see the second week
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
230 |
is organized similarly.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
231 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
232 |
51
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
233 |
00:02:38,870 --> 00:02:41,030
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
234 |
You will have some videos.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
235 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
236 |
52
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
237 |
00:02:41,030 --> 00:02:42,260
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
238 |
You will have a handout,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
239 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
240 |
53
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
241 |
00:02:42,260 --> 00:02:43,624
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
242 |
you have the slides,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
243 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
244 |
54
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
245 |
00:02:43,624 --> 00:02:45,770
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
246 |
and some optional resources.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
247 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
248 |
55
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
249 |
00:02:45,770 --> 00:02:51,410
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
250 |
I have also put up a general
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
251 |
section, with general
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
252 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
253 |
56
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
254 |
00:02:51,410 --> 00:02:57,965
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
255 |
material, where I put
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
256 |
a PDF about my notation.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
257 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
258 |
57
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
259 |
00:02:57,965 --> 00:03:01,385
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
260 |
This might be very
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
261 |
useful because
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
262 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
263 |
58
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
264 |
00:03:01,385 --> 00:03:04,610
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
265 |
remember this topic
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
266 |
is already many,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
267 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
268 |
59
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
269 |
00:03:04,610 --> 00:03:07,445
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
270 |
many decades old,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
271 |
at least 50 years,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
272 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
273 |
60
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
274 |
00:03:07,445 --> 00:03:09,185
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
275 |
and over the time,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
276 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
277 |
61
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
278 |
00:03:09,185 --> 00:03:11,510
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
279 |
many authors and many lecturers
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
280 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
281 |
62
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
282 |
00:03:11,510 --> 00:03:13,745
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
283 |
have introduced
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
284 |
their own notation.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
285 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
286 |
63
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
287 |
00:03:13,745 --> 00:03:16,565
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
288 |
So if you read anything
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
289 |
on the web or in books,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
290 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
291 |
64
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
292 |
00:03:16,565 --> 00:03:19,640
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
293 |
you might be confused about that
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
294 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
295 |
65
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
296 |
00:03:19,640 --> 00:03:24,035
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
297 |
they call something, which
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
298 |
I call X, they call Y.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
299 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
300 |
66
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
301 |
00:03:24,035 --> 00:03:26,150
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
302 |
So in this PDF,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
303 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
304 |
67
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
305 |
00:03:26,150 --> 00:03:30,320
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
306 |
I have collected all the
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
307 |
information on what kind of
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
308 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
309 |
68
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
310 |
00:03:30,320 --> 00:03:34,940
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
311 |
notation I am using and where
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
312 |
I introduce some shortcuts.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
313 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
314 |
69
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
315 |
00:03:34,940 --> 00:03:38,240
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
316 |
The problem is, you always
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
317 |
want to be precise,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
318 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
319 |
70
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
320 |
00:03:38,240 --> 00:03:40,070
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
321 |
but we also lazy.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
322 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
323 |
71
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
324 |
00:03:40,070 --> 00:03:43,745
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
325 |
We don't want to write
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
326 |
everything into the last detail.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
327 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
328 |
72
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
329 |
00:03:43,745 --> 00:03:47,375
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
330 |
So here I say something
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
331 |
about my notation.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
332 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
333 |
73
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
334 |
00:03:47,375 --> 00:03:50,180
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
335 |
I have also put up
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
336 |
a document about
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
337 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
338 |
74
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
339 |
00:03:50,180 --> 00:03:53,510
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
340 |
the Scala I'm going to
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
341 |
use in this module.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
342 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
343 |
75
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
344 |
00:03:53,510 --> 00:03:56,090
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
345 |
This is important
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
346 |
for the coursework.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
347 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
348 |
76
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
349 |
00:03:56,090 --> 00:03:58,175
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
350 |
In the coursework which
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
351 |
will come in a moment,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
352 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
353 |
77
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
354 |
00:03:58,175 --> 00:04:00,440
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
355 |
you can use any
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
356 |
programming language you like
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
357 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
358 |
78
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
359 |
00:04:00,440 --> 00:04:03,665
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
360 |
to solve the questions and
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
361 |
implement your code.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
362 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
363 |
79
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
364 |
00:04:03,665 --> 00:04:05,615
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
365 |
But, I'm sorry,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
366 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
367 |
80
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
368 |
00:04:05,615 --> 00:04:09,830
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
369 |
all the code I'm going to
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
370 |
show you will be in Scala.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
371 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
372 |
81
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
373 |
00:04:09,830 --> 00:04:12,155
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
374 |
And the main difference is that
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
375 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
376 |
82
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
377 |
00:04:12,155 --> 00:04:15,095
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
378 |
between PEP course from last year
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
379 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
380 |
83
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
381 |
00:04:15,095 --> 00:04:17,675
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
382 |
is that I'm going to
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
383 |
use the Ammonite
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
384 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
385 |
84
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
386 |
00:04:17,675 --> 00:04:21,170
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
387 |
REPL instead of
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
388 |
the Scala REPL.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
389 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
390 |
85
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
391 |
00:04:21,170 --> 00:04:23,615
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
392 |
They work very similarly.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
393 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
394 |
86
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
395 |
00:04:23,615 --> 00:04:26,070
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
396 |
For example,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
397 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
398 |
87
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
399 |
00:04:28,120 --> 00:04:33,710
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
400 |
I can now evaluate code
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
401 |
and get a feedback of what
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
402 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
403 |
88
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
404 |
00:04:33,710 --> 00:04:37,100
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
405 |
it calculates, just like the original one.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
406 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
407 |
89
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
408 |
00:04:37,100 --> 00:04:40,220
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
409 |
The difference is that
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
410 |
Ammonite is
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
411 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
412 |
90
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
413 |
00:04:40,220 --> 00:04:42,440
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
414 |
an extension and
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
415 |
provides some features
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
416 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
417 |
91
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
418 |
00:04:42,440 --> 00:04:44,975
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
419 |
which will be very useful for us.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
420 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
421 |
92
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
422 |
00:04:44,975 --> 00:04:47,600
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
423 |
And I recorded some
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
424 |
of the features
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
425 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
426 |
93
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
427 |
00:04:47,600 --> 00:04:50,970
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
428 |
we are going to use
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
429 |
in this document.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
430 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
431 |
94
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
432 |
00:04:52,330 --> 00:04:55,970
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
433 |
The last point to note
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
434 |
on the KEATS webpage
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
435 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
436 |
95
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
437 |
00:04:55,970 --> 00:04:59,405
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
438 |
is that in the optional section,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
439 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
440 |
96
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
441 |
00:04:59,405 --> 00:05:02,270
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
442 |
I will always give
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
443 |
the source code of
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
444 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
445 |
97
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
446 |
00:05:02,270 --> 00:05:05,845
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
447 |
the programs I discussed
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
448 |
in the videos and in the handouts.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
449 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
450 |
98
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
451 |
00:05:05,845 --> 00:05:08,420
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
452 |
And I really, really
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
453 |
encourage you
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
454 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
455 |
99
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
456 |
00:05:08,420 --> 00:05:11,060
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
457 |
that you play around with this code
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
458 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
459 |
100
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
460 |
00:05:11,060 --> 00:05:14,420
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
461 |
to make sure you understand
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
462 |
what was discussed.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
463 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
464 |
101
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
465 |
00:05:14,420 --> 00:05:17,540
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
466 |
At the also have sometimes
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
467 |
some additional pointers
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
468 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
469 |
102
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
470 |
00:05:17,540 --> 00:05:19,490
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
471 |
to interesting topics, which
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
472 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
473 |
103
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
474 |
00:05:19,490 --> 00:05:22,680
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
475 |
you can read up in your own time.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
476 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
477 |
104
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
478 |
00:05:22,690 --> 00:05:26,240
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
479 |
Exams, I'm sorry,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
480 |
there will be exams.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
481 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
482 |
105
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
483 |
00:05:26,240 --> 00:05:31,760
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
484 |
There will be a final exam in
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
485 |
January, counting for 30%.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
486 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
487 |
106
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
488 |
00:05:31,760 --> 00:05:34,190
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
489 |
There will be a
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
490 |
midterm shortly after
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
491 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
492 |
107
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
493 |
00:05:34,190 --> 00:05:37,565
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
494 |
Reading Week, accounting for 10%.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
495 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
496 |
108
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
497 |
00:05:37,565 --> 00:05:40,625
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
498 |
This will be a normal exams,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
499 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
500 |
109
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
501 |
00:05:40,625 --> 00:05:44,780
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
502 |
just that they will be online
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
503 |
in some form or shape.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
504 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
505 |
110
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
506 |
00:05:44,780 --> 00:05:49,939
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
507 |
There will be also a weekly
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
508 |
engagement component.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
509 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
510 |
111
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
511 |
00:05:49,939 --> 00:05:52,370
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
512 |
So 1% in each week,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
513 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
514 |
112
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
515 |
00:05:52,370 --> 00:05:56,360
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
516 |
where I make sure that
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
517 |
you are engaged with
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
518 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
519 |
113
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
520 |
00:05:56,360 --> 00:06:01,625
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
521 |
the material and you will
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
522 |
get 1% each week for that.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
523 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
524 |
114
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
525 |
00:06:01,625 --> 00:06:06,020
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
526 |
How that is going to be
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
527 |
working out in practice,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
528 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
529 |
115
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
530 |
00:06:06,020 --> 00:06:08,000
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
531 |
unfortunately, I do not know
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
532 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
533 |
116
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
534 |
00:06:08,000 --> 00:06:11,285
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
535 |
yet what tools we use
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
536 |
or what it means,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
537 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
538 |
117
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
539 |
00:06:11,285 --> 00:06:13,685
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
540 |
but I will let you know about it.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
541 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
542 |
118
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
543 |
00:06:13,685 --> 00:06:19,295
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
544 |
There's also an optional
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
545 |
weekly homework.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
546 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
547 |
119
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
548 |
00:06:19,295 --> 00:06:22,999
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
549 |
The homework is
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
550 |
uploaded on KEATS.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
551 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
552 |
120
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
553 |
00:06:22,999 --> 00:06:27,230
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
554 |
You should send your answers
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
555 |
via email to me.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
556 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
557 |
121
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
558 |
00:06:27,230 --> 00:06:31,955
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
559 |
I will respond individually
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
560 |
and give some feedback.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
561 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
562 |
122
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
563 |
00:06:31,955 --> 00:06:33,920
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
564 |
Normally, if everything is okay
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
565 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
566 |
123
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
567 |
00:06:33,920 --> 00:06:36,605
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
568 |
with a question, I will
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
569 |
just respond "OK"?
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
570 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
571 |
124
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
572 |
00:06:36,605 --> 00:06:38,630
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
573 |
If there is
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
574 |
something wrong,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
575 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
576 |
125
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
577 |
00:06:38,630 --> 00:06:41,060
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
578 |
I will sometimes answer with a longer
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
579 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
580 |
126
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
581 |
00:06:41,060 --> 00:06:44,480
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
582 |
email. All the questions in
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
583 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
584 |
127
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
585 |
00:06:44,480 --> 00:06:49,415
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
586 |
the exam and in the midterm
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
587 |
will be from this homework.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
588 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
589 |
128
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
590 |
00:06:49,415 --> 00:06:53,330
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
591 |
So I do not give out the
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
592 |
solutions to the homework.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
593 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
594 |
129
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
595 |
00:06:53,330 --> 00:06:55,415
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
596 |
You have to email me first
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
597 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
598 |
130
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
599 |
00:06:55,415 --> 00:06:57,290
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
600 |
what do you think
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
601 |
the solution is...
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
602 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
603 |
131
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
604 |
00:06:57,290 --> 00:07:01,280
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
605 |
and I will give answers
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
606 |
individually back.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
607 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
608 |
132
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
609 |
00:07:01,280 --> 00:07:05,270
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
610 |
And I will then ensure
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
611 |
that all the questions in
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
612 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
613 |
133
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
614 |
00:07:05,270 --> 00:07:09,560
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
615 |
the exam and the midterm coming
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
616 |
only from this homework.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
617 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
618 |
134
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
619 |
00:07:09,560 --> 00:07:11,825
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
620 |
The simple reason for that is
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
621 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
622 |
135
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
623 |
00:07:11,825 --> 00:07:14,645
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
624 |
that I hate if students ask me
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
625 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
626 |
136
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
627 |
00:07:14,645 --> 00:07:17,705
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
628 |
if something is relevant
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
629 |
for the exam or not.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
630 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
631 |
137
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
632 |
00:07:17,705 --> 00:07:21,620
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
633 |
I really like this material
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
634 |
and whatever I tell you,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
635 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
636 |
138
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
637 |
00:07:21,620 --> 00:07:23,840
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
638 |
I feel like you
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
639 |
should know about it.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
640 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
641 |
139
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
642 |
00:07:23,840 --> 00:07:26,645
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
643 |
So, to prevent that question,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
644 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
645 |
140
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
646 |
00:07:26,645 --> 00:07:28,415
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
647 |
if it's relevant to the exams,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
648 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
649 |
141
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
650 |
00:07:28,415 --> 00:07:32,165
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
651 |
you can just look at
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
652 |
what's in the homework.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
653 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
654 |
142
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
655 |
00:07:32,165 --> 00:07:34,370
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
656 |
And if this question
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
657 |
is in the homework,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
658 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
659 |
143
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
660 |
00:07:34,370 --> 00:07:36,335
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
661 |
then yes, it will be relevant.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
662 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
663 |
144
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
664 |
00:07:36,335 --> 00:07:40,410
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
665 |
And if not, it will
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
666 |
not. Thank you.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
667 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
668 |
145
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
669 |
00:07:42,280 --> 00:07:46,610
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
670 |
Can you please make one more
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
671 |
point about the homework?
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
672 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
673 |
146
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
674 |
00:07:46,610 --> 00:07:50,959
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
675 |
Please submit your
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
676 |
answers only as PDF.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
677 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
678 |
147
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
679 |
00:07:50,959 --> 00:07:53,780
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
680 |
That just makes it easy
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
681 |
for me to look at.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
682 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
683 |
148
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
684 |
00:07:53,780 --> 00:07:55,160
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
685 |
Remember, I might get
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
686 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
687 |
149
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
688 |
00:07:55,160 --> 00:07:58,820
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
689 |
60 or more emails about
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
690 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
691 |
150
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
692 |
00:07:58,820 --> 00:08:03,110
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
693 |
that and it's just much
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
694 |
easier for me to read PDFs.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
695 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
696 |
151
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
697 |
00:08:03,110 --> 00:08:07,880
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
698 |
Also, please in your answer
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
699 |
copy the question.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
700 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
701 |
152
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
702 |
00:08:07,880 --> 00:08:11,480
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
703 |
I have an extremely limited memory
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
704 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
705 |
153
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
706 |
00:08:11,480 --> 00:08:15,290
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
707 |
and have no idea what I actually
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
708 |
asked in this homework until
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
709 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
710 |
154
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
711 |
00:08:15,290 --> 00:08:16,910
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
712 |
I actually look it up.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
713 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
714 |
155
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
715 |
00:08:16,910 --> 00:08:18,530
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
716 |
Just to prevent that,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
717 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
718 |
156
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
719 |
00:08:18,530 --> 00:08:20,255
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
720 |
that I have to look it up myself,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
721 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
722 |
157
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
723 |
00:08:20,255 --> 00:08:23,765
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
724 |
please send in
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
725 |
always the question
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
726 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
727 |
158
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
728 |
00:08:23,765 --> 00:08:26,330
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
729 |
and then give your answer.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
730 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
731 |
159
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
732 |
00:08:26,330 --> 00:08:29,915
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
733 |
And finally, there are some
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
734 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
735 |
160
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
736 |
00:08:29,915 --> 00:08:32,540
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
737 |
optional homework. They are just to
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
738 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
739 |
161
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
740 |
00:08:32,540 --> 00:08:34,130
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
741 |
reminders actually that
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
742 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
743 |
162
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
744 |
00:08:34,130 --> 00:08:36,140
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
745 |
you really should
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
746 |
have a look at that.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
747 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
748 |
163
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
749 |
00:08:36,140 --> 00:08:39,830
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
750 |
But they're optional. The ones
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
751 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
752 |
164
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
753 |
00:08:39,830 --> 00:08:43,520
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
754 |
that you are supposed to
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
755 |
solve, they look like this.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
756 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
757 |
165
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
758 |
00:08:43,520 --> 00:08:45,890
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
759 |
And as I said,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
760 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
761 |
166
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
762 |
00:08:45,890 --> 00:08:50,645
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
763 |
please copy the question
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
764 |
and then give your answer.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
765 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
766 |
167
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
767 |
00:08:50,645 --> 00:08:53,780
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
768 |
And at the end,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
769 |
package it into a PDF.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
770 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
771 |
168
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
772 |
00:08:53,780 --> 00:08:58,505
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
773 |
Thank you. A very
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
774 |
important component
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
775 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
776 |
169
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
777 |
00:08:58,505 --> 00:09:02,240
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
778 |
for assessment in this
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
779 |
module is the coursework.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
780 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
781 |
170
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
782 |
00:09:02,240 --> 00:09:04,160
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
783 |
There will be five of them.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
784 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
785 |
171
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
786 |
00:09:04,160 --> 00:09:06,590
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
787 |
We will first implement a matcher.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
788 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
789 |
172
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
790 |
00:09:06,590 --> 00:09:09,770
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
791 |
Then a lexer building
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
792 |
on top of the matcher.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
793 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
794 |
173
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
795 |
00:09:09,770 --> 00:09:13,655
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
796 |
Then build a parser
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
797 |
and an interpreter.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
798 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
799 |
174
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
800 |
00:09:13,655 --> 00:09:16,730
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
801 |
And then a
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
802 |
compiler for the JVM
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
803 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
804 |
175
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
805 |
00:09:16,730 --> 00:09:20,420
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
806 |
and a compiler
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
807 |
targetting the LLVM.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
808 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
809 |
176
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
810 |
00:09:20,420 --> 00:09:24,155
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
811 |
So you can see this
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
812 |
accounts for 45%.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
813 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
814 |
177
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
815 |
00:09:24,155 --> 00:09:27,200
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
816 |
You will submit your
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
817 |
code and you also have
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
818 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
819 |
178
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
820 |
00:09:27,200 --> 00:09:30,260
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
821 |
to give some explanation
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
822 |
about your code.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
823 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
824 |
179
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
825 |
00:09:30,260 --> 00:09:31,520
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
826 |
This will be always
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
827 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
828 |
180
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
829 |
00:09:31,520 --> 00:09:34,655
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
830 |
explained in the
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
831 |
coursework description.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
832 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
833 |
181
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
834 |
00:09:34,655 --> 00:09:36,785
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
835 |
For the coursework, you can use
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
836 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
837 |
182
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
838 |
00:09:36,785 --> 00:09:38,945
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
839 |
any programming
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
840 |
language you like.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
841 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
842 |
183
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
843 |
00:09:38,945 --> 00:09:42,860
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
844 |
In the past, people have
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
845 |
used Haskell and Rust.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
846 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
847 |
184
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
848 |
00:09:42,860 --> 00:09:45,905
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
849 |
Obviously many go for Scala.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
850 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
851 |
185
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
852 |
00:09:45,905 --> 00:09:49,730
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
853 |
You can use any code
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
854 |
I showed you in
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
855 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
856 |
186
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
857 |
00:09:49,730 --> 00:09:54,230
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
858 |
the videos or in handouts
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
859 |
or uploaded on KEATS.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
860 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
861 |
187
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
862 |
00:09:54,230 --> 00:09:56,390
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
863 |
But nothing else.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
864 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
865 |
188
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
866 |
00:09:56,390 --> 00:09:59,450
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
867 |
Remember, unlike
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
868 |
in the PEP course,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
869 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
870 |
189
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
871 |
00:09:59,450 --> 00:10:02,030
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
872 |
here, in the Compiler course,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
873 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
874 |
190
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
875 |
00:10:02,030 --> 00:10:04,130
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
876 |
I actually will look with
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
877 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
878 |
191
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
879 |
00:10:04,130 --> 00:10:07,910
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
880 |
my own eyes at the submissions
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
881 |
and make judgments.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
882 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
883 |
192
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
884 |
00:10:07,910 --> 00:10:13,775
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
885 |
And I'll see if people have
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
886 |
copied from each other.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
887 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
888 |
193
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
889 |
00:10:13,775 --> 00:10:15,545
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
890 |
Please don't do that!
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
891 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
892 |
194
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
893 |
00:10:15,545 --> 00:10:20,160
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
894 |
That's very annoying
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
895 |
for everybody involved.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
896 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
897 |
195
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
898 |
00:10:20,440 --> 00:10:23,570
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
899 |
To conclude this
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
900 |
housekeeping video,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
901 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
902 |
196
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
903 |
00:10:23,570 --> 00:10:25,580
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
904 |
let me tell you a
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
905 |
bit more about how
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
906 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
907 |
197
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
908 |
00:10:25,580 --> 00:10:28,025
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
909 |
this module is organized.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
910 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
911 |
198
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
912 |
00:10:28,025 --> 00:10:32,600
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
913 |
The first five weeks we will
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
914 |
spend on lexing and parsing.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
915 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
916 |
199
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
917 |
00:10:32,600 --> 00:10:37,370
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
918 |
This is essentially the
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
919 |
frontend to our compiler.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
920 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
921 |
200
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
922 |
00:10:37,370 --> 00:10:39,500
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
923 |
The first part will
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
924 |
be about lexing.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
925 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
926 |
201
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
927 |
00:10:39,500 --> 00:10:42,995
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
928 |
Actually, we will emphasize quite a
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
929 |
bit on the lexing part,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
930 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
931 |
202
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
932 |
00:10:42,995 --> 00:10:45,005
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
933 |
because that's about my research.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
934 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
935 |
203
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
936 |
00:10:45,005 --> 00:10:47,855
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
937 |
And sorry, I can talk
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
938 |
about this for hours.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
939 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
940 |
204
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
941 |
00:10:47,855 --> 00:10:49,400
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
942 |
But I also like to show you that
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
943 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
944 |
205
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
945 |
00:10:49,400 --> 00:10:50,750
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
946 |
there's actually something really
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
947 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
948 |
206
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
949 |
00:10:50,750 --> 00:10:52,340
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
950 |
interesting going on and
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
951 |
I want to
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
952 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
953 |
207
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
954 |
00:10:52,340 --> 00:10:54,529
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
955 |
show you a number of techniques.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
956 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
957 |
208
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
958 |
00:10:54,529 --> 00:10:57,435
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
959 |
Then obviously we have
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
960 |
to do parsing because
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
961 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
962 |
209
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
963 |
00:10:57,435 --> 00:11:01,669
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
964 |
lexing essentially only
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
965 |
finds the words in our programs.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
966 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
967 |
210
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
968 |
00:11:01,669 --> 00:11:03,860
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
969 |
We then have to put
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
970 |
them into sentences to
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
971 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
972 |
211
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
973 |
00:11:03,860 --> 00:11:07,350
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
974 |
understand what our
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
975 |
programs actually do.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
976 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
977 |
212
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
978 |
00:11:09,820 --> 00:11:12,200
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
979 |
The next five weeks,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
980 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
981 |
213
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
982 |
00:11:12,200 --> 00:11:15,330
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
983 |
actually that overlaps
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
984 |
with the parsing part,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
985 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
986 |
214
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
987 |
00:11:15,330 --> 00:11:18,850
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
988 |
we will first start with
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
989 |
writing an interpreter.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
990 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
991 |
215
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
992 |
00:11:18,850 --> 00:11:20,470
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
993 |
This is essentially to get
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
994 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
995 |
216
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
996 |
00:11:20,470 --> 00:11:22,285
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
997 |
the baseline for our compiler.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
998 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
999 |
217
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1000 |
00:11:22,285 --> 00:11:24,325
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1001 |
Also, you will see compilers are
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1002 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1003 |
218
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1004 |
00:11:24,325 --> 00:11:27,370
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1005 |
sometimes fiendishly
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1006 |
difficult to get correct.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1007 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1008 |
219
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1009 |
00:11:27,370 --> 00:11:30,880
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1010 |
And to actually know what
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1011 |
the results should be,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1012 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1013 |
220
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1014 |
00:11:30,880 --> 00:11:32,320
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1015 |
by having it calculated with
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1016 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1017 |
221
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1018 |
00:11:32,320 --> 00:11:35,515
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1019 |
an interpreter, is
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1020 |
really important.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1021 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1022 |
222
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1023 |
00:11:35,515 --> 00:11:40,030
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1024 |
And then we really
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1025 |
spent time on a compiler.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1026 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1027 |
223
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1028 |
00:11:40,030 --> 00:11:45,310
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1029 |
We will first write JVM code
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1030 |
for a little While language.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1031 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1032 |
224
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1033 |
00:11:45,310 --> 00:11:46,780
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1034 |
That is an extremely,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1035 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1036 |
225
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1037 |
00:11:46,780 --> 00:11:50,335
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1038 |
extremely simple C-like
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1039 |
language, if you want.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1040 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1041 |
226
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1042 |
00:11:50,335 --> 00:11:53,770
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1043 |
And also JVM Code for
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1044 |
a functional language.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1045 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1046 |
227
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1047 |
00:11:53,770 --> 00:11:55,615
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1048 |
Again, something very small.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1049 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1050 |
228
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1051 |
00:11:55,615 --> 00:11:57,815
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1052 |
And then for that
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1053 |
functional language
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1054 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1055 |
229
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1056 |
00:11:57,815 --> 00:12:03,080
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1057 |
also generate LLVM-IR code
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1058 |
that can be
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1059 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1060 |
230
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1061 |
00:12:03,080 --> 00:12:09,270
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1062 |
then used to generate directly
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1063 |
CPU code for X86 or ARM.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1064 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1065 |
231
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1066 |
00:12:09,460 --> 00:12:12,095
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1067 |
Just to whet your appetite,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1068 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1069 |
232
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1070 |
00:12:12,095 --> 00:12:14,780
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1071 |
here's the first compiler for
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1072 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1073 |
233
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1074 |
00:12:14,780 --> 00:12:20,240
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1075 |
the While-language calculating
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1076 |
the Mandelbrot program.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1077 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1078 |
234
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1079 |
00:12:20,240 --> 00:12:22,160
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1080 |
It generates code for
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1081 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1082 |
235
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1083 |
00:12:22,160 --> 00:12:25,460
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1084 |
the JVM, for the Java
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1085 |
virtual machine.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1086 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1087 |
236
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1088 |
00:12:25,460 --> 00:12:27,350
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1089 |
So what it first does, like in
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1090 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1091 |
237
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1092 |
00:12:27,350 --> 00:12:29,855
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1093 |
the example I showed you earlier,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1094 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1095 |
238
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1096 |
00:12:29,855 --> 00:12:33,215
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1097 |
it takes the Mandelbrot
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1098 |
program from the BF language,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1099 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1100 |
239
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1101 |
00:12:33,215 --> 00:12:35,480
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1102 |
generates a While program
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1103 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1104 |
240
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1105 |
00:12:35,480 --> 00:12:38,520
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1106 |
in our language we are
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1107 |
going to implement...
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1108 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1109 |
241
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1110 |
00:12:38,530 --> 00:12:40,940
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1111 |
this has produced a program which is
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1112 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1113 |
242
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1114 |
00:12:40,940 --> 00:12:44,795
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1115 |
approximately 70k of source code.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1116 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1117 |
243
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1118 |
00:12:44,795 --> 00:12:47,585
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1119 |
Then our compiler produced
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1120 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1121 |
244
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1122 |
00:12:47,585 --> 00:12:53,015
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1123 |
a Java Virtual Machine
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1124 |
byte code file.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1125 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1126 |
245
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1127 |
00:12:53,015 --> 00:12:54,890
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1128 |
This is the readable version of
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1129 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1130 |
246
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1131 |
00:12:54,890 --> 00:12:57,500
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1132 |
the Java Virtual Machine bytecode.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1133 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1134 |
247
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1135 |
00:12:57,500 --> 00:12:59,480
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1136 |
And we use then an assembler
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1137 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1138 |
248
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1139 |
00:12:59,480 --> 00:13:01,535
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1140 |
to actually produce
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1141 |
the class file.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1142 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1143 |
249
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1144 |
00:13:01,535 --> 00:13:04,460
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1145 |
And then this compiler
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1146 |
just runs this class file.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1147 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1148 |
250
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1149 |
00:13:04,460 --> 00:13:06,830
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1150 |
It takes a little while and
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1151 |
unfortunately this compiler
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1152 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1153 |
251
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1154 |
00:13:06,830 --> 00:13:09,365
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1155 |
doesn't show it incrementally.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1156 |
Only at the end
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1157 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1158 |
252
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1159 |
00:13:09,365 --> 00:13:13,205
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1160 |
it shows us it needed
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1161 |
approximately 40 seconds.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1162 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1163 |
253
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1164 |
00:13:13,205 --> 00:13:16,745
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1165 |
And you have to
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1166 |
remember the GCC with -O0
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1167 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1168 |
254
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1169 |
00:13:16,745 --> 00:13:21,485
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1170 |
took a little
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1171 |
bit more than 20 seconds.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1172 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1173 |
255
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1174 |
00:13:21,485 --> 00:13:24,440
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1175 |
And so this is quite
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1176 |
remarkable result
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1177 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1178 |
256
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1179 |
00:13:24,440 --> 00:13:27,575
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1180 |
considering we are
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1181 |
running it on the JVM.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1182 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1183 |
257
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1184 |
00:13:27,575 --> 00:13:29,345
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1185 |
Just to assure you,
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1186 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1187 |
258
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1188 |
00:13:29,345 --> 00:13:33,245
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1189 |
the Mandelbrot program will not be the
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1190 |
only program we can compile.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1191 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1192 |
259
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1193 |
00:13:33,245 --> 00:13:36,380
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1194 |
But we will focus on integers
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1195 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1196 |
260
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1197 |
00:13:36,380 --> 00:13:39,605
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1198 |
and strings in our
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1199 |
programming language.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1200 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1201 |
261
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1202 |
00:13:39,605 --> 00:13:43,280
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1203 |
Because for more complicated
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1204 |
data structures
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1205 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1206 |
262
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1207 |
00:13:43,280 --> 00:13:46,250
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1208 |
we don't have enough time
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1209 |
to fit into this module.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1210 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1211 |
263
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1212 |
00:13:46,250 --> 00:13:49,040
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1213 |
So let's start now
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1214 |
with the serious work.
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1215 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1216 |
264
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1217 |
00:13:49,040 --> 00:13:52,020
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1218 |
I hope I see you in a bit.
|