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