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