slides/slides04.tex
author Christian Urban <christian.urban@kcl.ac.uk>
Sat, 28 Nov 2020 15:58:36 +0000
changeset 378 7a5ad01a85b5
parent 327 fb4cd144a9e6
child 379 5616b45d656f
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
     1
% !TEX program = xelatex
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
\documentclass[dvipsnames,14pt,t,xelatex]{beamer}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
\usepackage{../slides}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
\usepackage{../graphics}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
\usepackage{../langs}
155
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
     6
%%\usepackage{../data}
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
     7
\usepackage[export]{adjustbox}
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
     8
\usetikzlibrary{shapes}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
\hfuzz=220pt 
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
%\setmonofont[Scale=.88]{Consolas}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
%\newfontfamily{\consolas}{Consolas}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
\lstset{language=Scala,
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
        style=mystyle,
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
        numbersep=0pt,
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
        numbers=none,
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
        xleftmargin=0mm}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    21
\newcommand{\LEFTarrow}[3]{%
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    22
\begin{textblock}{0}(#2,#3)%
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    23
\onslide<#1>{%
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    24
\begin{tikzpicture}%
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    25
\node at (0,0) [single arrow, shape border rotate=180, fill=red,text=red]{a};%
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    26
\end{tikzpicture}}%
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    27
\end{textblock}}
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    28
\newcommand{\DOWNarrow}[3]{%
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    29
\begin{textblock}{0}(#2,#3)%
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    30
\onslide<#1>{%
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    31
\begin{tikzpicture}%
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    32
\node at (0,0) [single arrow, shape border rotate=270, fill=red,text=red]{a};%
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    33
\end{tikzpicture}}%
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    34
\end{textblock}}
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    35
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    36
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
\newcommand{\bl}[1]{\textcolor{blue}{#1}}     
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
% beamer stuff 
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    40
\renewcommand{\slidecaption}{PEP (Scala) 04, King's College London}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
155
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    42
\begin{filecontents}{re3a.data}
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    43
1 0.00003
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    44
500001 0.22527
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    45
1000001 0.62752
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    46
1500001 0.88485
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    47
2000001 1.39815
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    48
2500001 1.68619
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    49
3000001 1.94957
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    50
3500001 2.15878
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    51
4000001 2.59918
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    52
4500001 5.90679
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    53
5000001 13.11295
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    54
5500001 19.15376
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    55
6000001 40.16373
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    56
\end{filecontents}
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    57
\begin{filecontents}{re-python2.data}
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    58
1 0.033
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    59
5 0.036
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    60
10 0.034
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    61
15 0.036
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    62
18 0.059
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    63
19 0.084
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    64
20 0.141
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    65
21 0.248
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    66
22 0.485
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    67
23 0.878
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    68
24 1.71
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    69
25 3.40
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    70
26 7.08
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    71
27 14.12
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    72
28 26.69
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    73
\end{filecontents}
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    74
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    75
\begin{filecontents}{re-js.data}
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    76
5   0.061
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    77
10  0.061
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    78
15  0.061
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    79
20  0.070
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    80
23  0.131
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    81
25  0.308
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    82
26  0.564
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    83
28  1.994
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    84
30  7.648
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    85
31  15.881 
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    86
32  32.190
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    87
\end{filecontents}
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    88
155
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    89
\begin{filecontents}{re-java.data}
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    90
5  0.00298
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    91
10  0.00418
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    92
15  0.00996
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    93
16  0.01710
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    94
17  0.03492
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    95
18  0.03303
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    96
19  0.05084
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    97
20  0.10177
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    98
21  0.19960
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    99
22  0.41159
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   100
23  0.82234
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   101
24  1.70251
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   102
25  3.36112
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   103
26  6.63998
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   104
27  13.35120
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   105
28  29.81185
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   106
\end{filecontents}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   107
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   108
\begin{filecontents}{re-java9.data}
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   109
1000  0.01410
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   110
2000  0.04882
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   111
3000  0.10609
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   112
4000  0.17456
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   113
5000  0.27530
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   114
6000  0.41116
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   115
7000  0.53741
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   116
8000  0.70261
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   117
9000  0.93981
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   118
10000 0.97419
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   119
11000 1.28697
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   120
12000 1.51387
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   121
14000 2.07079
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   122
16000 2.69846
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   123
20000 4.41823
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   124
24000 6.46077
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   125
26000 7.64373
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   126
30000 9.99446
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   127
34000 12.966885
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   128
38000 16.281621
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   129
42000 19.180228
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   130
46000 21.984721
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   131
50000 26.950203
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   132
60000 43.0327746
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   133
\end{filecontents}
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   134
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   135
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   136
\begin{document}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   137
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   138
\begin{frame}[t]
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   139
\frametitle{%
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   140
  \begin{tabular}{@ {}c@ {}}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   141
  \\[5mm]
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   142
  \huge PEP Scala (4) 
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   143
  \end{tabular}}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   144
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   145
  \normalsize
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   146
  \begin{center}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   147
  \begin{tabular}{ll}
155
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   148
    Email:  & christian.urban at kcl.ac.uk\\
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   149
    Office: & N\liningnums{7.07} (North Wing, Bush House)\bigskip\\
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   150
    Slides \& Code: & KEATS\\
326
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   151
                    & \onslide<2>{\alert{PDF: A Crash-Course in Scala}}\bigskip\\
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   152
    Office Hours: &  Thursdays 12:00 -- 14:00\\
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   153
    Additionally: & (for Scala) Tuesdays 10:45 -- 11:45\\ 
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   154
  \end{tabular}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   155
  \end{center}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   156
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   157
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   158
\end{frame}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   159
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   160
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   161
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   162
\begin{frame}[c]
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   163
\frametitle{Hints in CW}
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   164
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   165
\begin{center}  
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   166
\includegraphics[scale=0.4]{../pics/hints.png}
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   167
\end{center}
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   168
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   169
\small
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   170
\begin{itemize}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   171
  \item Scala Library, e.g.~\texttt{span} in \\
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   172
  \url{https://www.scala-lang.org/api/current/scala/collection/immutable/List.html}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   173
\end{itemize}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   174
\end{frame}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   175
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   176
  
326
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   177
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   178
\begin{frame}[c]
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   179
\frametitle{Discussion Forum}
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   180
326
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   181
\begin{center}  
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   182
\includegraphics[scale=0.38]{/Users/cu/discussion.png}
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   183
\end{center}
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   184
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   185
\end{frame}
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   186
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   187
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   188
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   189
\begin{frame}[c]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   190
\frametitle{Preliminary 7}
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   191
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   192
Raw marks (261 submissions):\bigskip
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   193
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   194
\begin{itemize}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   195
\item 4\%: \hspace{4mm}236
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   196
\item 3\%: \hspace{4mm}10
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   197
\item 2\%: \hspace{4mm}1
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   198
\item 1\%: \hspace{4mm}0
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   199
\item 0\%: \hspace{4mm}15 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   200
\end{itemize}\bigskip\bigskip  
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   201
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   202
\footnotesize
326
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   203
(plagiarism/collusion interviews ongoing!)
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   204
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   205
\end{frame}
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   206
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   207
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   208
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   209
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   210
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   211
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   212
\begin{frame}[c,fragile]
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   213
\small
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   214
  
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   215
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   216
def is_legal(dim: Int, p: Path, x: Pos) = {
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   217
  if (...some_really_long_condition...) false
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   218
  else true
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   219
}
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   220
\end{lstlisting}
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   221
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   222
\pause
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   223
\bigskip
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   224
\rule{11cm}{0.3mm}
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   225
\bigskip
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   226
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   227
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   228
def is_legal(dim: Int, p: Path, x: Pos) = 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   229
  !(...some_really_long_condition...)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   230
\end{lstlisting}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   231
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   232
\end{frame}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   233
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   234
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   235
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   236
\begin{frame}[c,fragile]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   237
\small
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   238
  
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   239
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   240
def foobar(...) = {
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   241
  val cs = for (c <- str) yield c.toLowerCase
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   242
  ...
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   243
}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   244
\end{lstlisting}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   245
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   246
\pause
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   247
\bigskip
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   248
\rule{11cm}{0.3mm}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   249
\bigskip
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   250
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   251
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   252
def foobar(...) = {
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   253
  val cs = str.map(_.toLowerCase)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   254
  ...
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   255
}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   256
\end{lstlisting}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   257
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   258
\end{frame}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   259
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   260
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   261
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   262
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   263
\begin{frame}[c,fragile]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   264
\small
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   265
  
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   266
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-7mm]
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   267
def RomanNumeral2Int(rs: RomanNumeral): Int = 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   268
 rs match { 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   269
   case Nil => 0
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   270
   case M::r    => 1000 + RomanNumeral2Int(r)  
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   271
   case C::M::r => 900 + RomanNumeral2Int(r)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   272
   case D::r    => 500 + RomanNumeral2Int(r)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   273
   case C::D::r => 400 + RomanNumeral2Int(r)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   274
   case C::r    => 100 + RomanNumeral2Int(r)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   275
   case X::C::r => 90 + RomanNumeral2Int(r)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   276
   case L::r    => 50 + RomanNumeral2Int(r)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   277
   case X::L::r => 40 + RomanNumeral2Int(r)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   278
   case X::r    => 10 + RomanNumeral2Int(r)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   279
   case I::X::r => 9 + RomanNumeral2Int(r)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   280
   case V::r    => 5 + RomanNumeral2Int(r)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   281
   case I::V::r => 4 + RomanNumeral2Int(r)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   282
   case I::r    => 1 + RomanNumeral2Int(r)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   283
 }
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   284
\end{lstlisting}
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   285
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   286
\end{frame}
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   287
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   288
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   289
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   290
\begin{frame}[c,fragile]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   291
\frametitle{Last Week: Pattern Matching} 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   292
\small
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   293
  
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   294
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=3mm]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   295
def fizz_buzz(n: Int) : String = 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   296
  (n % 3, n % 5) match {
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   297
    case (0, 0) => "fizz buzz"
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   298
    case (0, _) => "fizz"
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   299
    case (_, 0) => "buzz"
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   300
    case _ => n.toString  
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   301
  }
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   302
\end{lstlisting}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   303
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   304
\end{frame}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   305
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   306
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   307
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   308
\begin{frame}[c,fragile]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   309
\frametitle{Reverse Polish Notation}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   310
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   311
{\Large\bl{$(3 + 1) * (2 + 9)$}}\bigskip
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   312
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   313
{\Large$\Rightarrow$}\bigskip
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   314
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   315
{\;\;\Large\bl{$3\;\;1\;+\;2\;\;9\;+\;*$}}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   316
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   317
\begin{textblock}{3}(11,4)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   318
\begin{onlyenv}<2>
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   319
\begin{lstlisting}[language=JVMIS]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   320
ldc 3
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   321
ldc 1
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   322
iadd
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   323
ldc 2
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   324
ldc 9
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   325
iadd
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   326
imul
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   327
\end{lstlisting}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   328
\end{onlyenv} 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   329
\end{textblock}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   330
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   331
\end{frame}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   332
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   333
 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   334
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   335
\begin{frame}[c,fragile]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   336
\frametitle{Sudoku}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   337
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   338
A very simple-minded version on 110 problems:\bigskip
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   339
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   340
\begin{itemize}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   341
\item 1 core: 800 secs
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   342
\item 2 cores: 400 secs
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   343
\item 8 cores: 290 secs
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   344
\item 18 cores: 142 secs
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   345
\end{itemize}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   346
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   347
\end{frame}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   348
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   349
 
155
371acb50643d updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   350
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   351
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   352
\begin{frame}[t]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   353
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   354
  \begin{center}  
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   355
  \includegraphics[scale=0.3]{../pics/blow.png}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   356
  \end{center}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   357
  
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   358
  \begin{textblock}{14}(2,11.4)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   359
  \large\bf{}Mind-Blowing Regular Expressions:\\ 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   360
  \centering in Python, JavaScript, Java
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   361
  \end{textblock}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   362
\end{frame}
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   363
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   364
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   365
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   366
\begin{frame}[c,fragile]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   367
\frametitle{Regular Expressions} 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   368
  
326
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   369
Suppose you have the regular expression 
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   370
\only<1-3>{\alert{\texttt{(a*)b}}}%
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   371
\only<4->{\alert{\texttt{(a*)*b}}} :\bigskip
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   372
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   373
\begin{center}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   374
\only<1>{\code{"aaaaaaaaaaaaaaab"}}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   375
\only<2>{\code{"aaaaa...........aaaaaaaaaaaaaaaaaaaab"}}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   376
\only<3>{\code{"aaaaa...........aaaaaaaaaaaaaaaaaaaa"}}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   377
\only<4>{\code{"aaaaa...........aaaaaaaaaaaaaaaaaaaab"}}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   378
\only<5->{\code{"aaaaa...........aaaaaaaaaaaaaaaaaaaa"}}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   379
\end{center}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   380
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   381
\only<6>{
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   382
\begin{textblock}{13}(5,12)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   383
How long does Python need to find out?
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   384
\end{textblock}}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   385
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   386
\end{frame}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   387
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   388
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   389
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   390
\begin{frame}<1>[c]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   391
  \frametitle{CW 9: Regexes}
68
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   392
  
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   393
\begin{center}
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   394
  Graphs: \alert{\texttt{(a*)*b}} and strings $\underbrace{\;\texttt{a}\ldots \texttt{a}\;}_{n}$\bigskip
68
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   395
  
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   396
\begin{tabular}[t]{@{\hspace{-8mm}}c@{\hspace{-4mm}}c@{}}
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   397
\only<1>{\raisebox{6mm}{\begin{tikzpicture}
68
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   398
\begin{axis}[
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   399
    xlabel={$n$},
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   400
    x label style={at={(1.05,0.0)}},
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   401
    ylabel={time in secs},
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   402
    enlargelimits=false,
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   403
    xtick={0,5,...,30},
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   404
    xmax=33,
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   405
    ymax=35,
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   406
    ytick={0,5,...,30},
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   407
    scaled ticks=false,
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   408
    axis lines=left,
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   409
    width=5.5cm,
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   410
    height=5cm, 
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   411
    legend entries={\small{}Python,  \small{}Java 8,  \small{}JavaScript},  
68
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   412
    legend pos=north west,
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   413
    legend cell align=left]
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   414
\addplot[blue,mark=*, mark options={fill=white}] table {re-python2.data};  
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   415
\addplot[cyan,mark=*, mark options={fill=white}] table {re-java.data};
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   416
\addplot[red,mark=*, mark options={fill=white}] table {re-js.data};
68
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   417
\end{axis}
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   418
\end{tikzpicture}}}%
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   419
\only<2>{\raisebox{0mm}{\begin{tikzpicture}
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   420
\begin{axis}[
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   421
    xlabel={$n$},
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   422
    x label style={at={(1.05,0.0)}},
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   423
    ylabel={time in secs},
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   424
    %y label style={at={(0.06,0.5)}},
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   425
    enlargelimits=false,
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   426
    %xtick={0,30000,...,60000},
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   427
    xmax=65000,
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   428
    ymax=35,
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   429
    ytick={0,5,...,30},
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   430
    scaled ticks=true,
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   431
    axis lines=left,
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   432
    width=5.5cm,
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   433
    height=5cm, 
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   434
    legend entries={\small{}Java 9},  
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   435
    legend pos=north west]
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   436
\addplot[cyan,mark=*, mark options={fill=white}] table {re-java9.data};
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   437
\end{axis}
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   438
\end{tikzpicture}}}
68
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   439
  &
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   440
\onslide<1-2>{\begin{tikzpicture}
68
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   441
  \begin{axis}[
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   442
    xlabel={$n$},
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   443
    x label style={at={(1.05,0.0)}},
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   444
    ylabel={time in secs},
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   445
    enlargelimits=false,
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   446
    ymax=35,
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   447
    ytick={0,5,...,30},
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   448
    axis lines=left,
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   449
    %%scaled ticks=false,
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   450
    width=5.5cm, 
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   451
    height=5cm]
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   452
%%\addplot[green,mark=square*,mark options={fill=white}] table {re2a.data};    
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   453
\addplot[magenta,mark=square*,mark options={fill=white}] table {re3a.data};
68
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   454
\end{axis}
70
6024381415cb updated
Christian Urban <urbanc@in.tum.de>
parents: 68
diff changeset
   455
\end{tikzpicture}}
68
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   456
\end{tabular}
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   457
\end{center}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   458
68
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   459
\hfill\small\url{https://vimeo.com/112065252}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   460
\end{frame}
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   461
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   462
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   463
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   464
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
68
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 67
diff changeset
   465
\begin{frame}[c]
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   466
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   467
\begin{center}
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   468
  \includegraphics[angle=90,scale=0.35]{/Users/cu/vote.pdf}
222
e52cc402caee updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   469
\end{center}
326
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   470
 
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   471
 \only<2>{%
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   472
\begin{textblock}{13}(10,10)
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   473
\includegraphics[scale=0.2]{/Users/cu/goodvote.png}
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   474
\end{textblock}}
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   475
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   476
\end{frame}
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   477
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   478
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   479
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   480
\begin{frame}[c]
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   481
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   482
\begin{center}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   483
  \includegraphics[scale=0.25]{/Users/cu/dresden.png}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   484
\end{center}
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   485
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   486
\begin{textblock}{13}(2,12)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   487
\includegraphics[scale=0.08]{/Users/cu/kiss.jpg}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   488
\end{textblock}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   489
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   490
\begin{textblock}{13}(6.8,12)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   491
\includegraphics[scale=0.079]{/Users/cu/pioniere.jpg}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   492
\end{textblock}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   493
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   494
\begin{textblock}{13}(11,12)
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   495
\includegraphics[scale=0.20]{/Users/cu/iron.jpg}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   496
\end{textblock}
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   497
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   498
\DOWNarrow{1}{11}{8.6}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   499
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   500
\end{frame}
325
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   501
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
ca9c1cf929fa updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   502
70
6024381415cb updated
Christian Urban <urbanc@in.tum.de>
parents: 68
diff changeset
   503
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   504
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   505
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   506
\end{document}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   507
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   508
%%% Local Variables:  
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   509
%%% mode: latex
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   510
%%% TeX-master: t
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   511
%%% End: 
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   512