slides/slides04.tex
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 06 Nov 2020 01:07:26 +0000
changeset 352 644aca68e203
parent 327 094996b2de7a
child 379 73ad2e018516
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
325
26058bf089ae 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
eccf17f56922 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
ec9cbf969edf 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
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    21
\newcommand{\LEFTarrow}[3]{%
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    22
\begin{textblock}{0}(#2,#3)%
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    23
\onslide<#1>{%
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    24
\begin{tikzpicture}%
ec9cbf969edf 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};%
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    26
\end{tikzpicture}}%
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    27
\end{textblock}}
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    28
\newcommand{\DOWNarrow}[3]{%
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    29
\begin{textblock}{0}(#2,#3)%
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    30
\onslide<#1>{%
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    31
\begin{tikzpicture}%
ec9cbf969edf 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};%
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    33
\end{tikzpicture}}%
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    34
\end{textblock}}
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    35
ec9cbf969edf 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
ec9cbf969edf 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
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    42
\begin{filecontents}{re3a.data}
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    43
1 0.00003
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    44
500001 0.22527
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    45
1000001 0.62752
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    46
1500001 0.88485
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    47
2000001 1.39815
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    48
2500001 1.68619
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    49
3000001 1.94957
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    50
3500001 2.15878
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    51
4000001 2.59918
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    52
4500001 5.90679
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    53
5000001 13.11295
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    54
5500001 19.15376
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    55
6000001 40.16373
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    56
\end{filecontents}
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    57
\begin{filecontents}{re-python2.data}
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    58
1 0.033
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    59
5 0.036
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    60
10 0.034
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    61
15 0.036
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    62
18 0.059
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    63
19 0.084
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    64
20 0.141
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    65
21 0.248
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    66
22 0.485
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    67
23 0.878
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    68
24 1.71
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    69
25 3.40
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    70
26 7.08
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    71
27 14.12
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    72
28 26.69
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    73
\end{filecontents}
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    74
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    75
\begin{filecontents}{re-js.data}
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    76
5   0.061
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    77
10  0.061
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    78
15  0.061
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    79
20  0.070
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    80
23  0.131
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    81
25  0.308
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    82
26  0.564
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    83
28  1.994
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    84
30  7.648
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    85
31  15.881 
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    86
32  32.190
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    87
\end{filecontents}
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    88
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    89
\begin{filecontents}{re-java.data}
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    90
5  0.00298
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    91
10  0.00418
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    92
15  0.00996
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    93
16  0.01710
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    94
17  0.03492
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    95
18  0.03303
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    96
19  0.05084
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    97
20  0.10177
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    98
21  0.19960
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
    99
22  0.41159
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   100
23  0.82234
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   101
24  1.70251
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   102
25  3.36112
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   103
26  6.63998
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   104
27  13.35120
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   105
28  29.81185
eccf17f56922 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
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   108
\begin{filecontents}{re-java9.data}
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   109
1000  0.01410
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   110
2000  0.04882
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   111
3000  0.10609
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   112
4000  0.17456
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   113
5000  0.27530
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   114
6000  0.41116
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   115
7000  0.53741
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   116
8000  0.70261
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   117
9000  0.93981
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   118
10000 0.97419
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   119
11000 1.28697
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   120
12000 1.51387
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   121
14000 2.07079
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   122
16000 2.69846
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   123
20000 4.41823
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   124
24000 6.46077
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   125
26000 7.64373
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   126
30000 9.99446
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   127
34000 12.966885
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   128
38000 16.281621
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   129
42000 19.180228
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   130
46000 21.984721
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   131
50000 26.950203
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   132
60000 43.0327746
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   133
\end{filecontents}
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   134
ec9cbf969edf 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
ec9cbf969edf 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
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   148
    Email:  & christian.urban at kcl.ac.uk\\
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   149
    Office: & N\liningnums{7.07} (North Wing, Bush House)\bigskip\\
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   150
    Slides \& Code: & KEATS\\
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   151
                    & \onslide<2>{\alert{PDF: A Crash-Course in Scala}}\bigskip\\
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   152
    Office Hours: &  Thursdays 12:00 -- 14:00\\
26058bf089ae 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
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   161
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   162
\begin{frame}[c]
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   163
\frametitle{Hints in CW}
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   164
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   165
\begin{center}  
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   166
\includegraphics[scale=0.4]{../pics/hints.png}
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   167
\end{center}
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   168
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   169
\small
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   170
\begin{itemize}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   171
  \item Scala Library, e.g.~\texttt{span} in \\
26058bf089ae 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}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   173
\end{itemize}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   174
\end{frame}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   175
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   176
  
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   177
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   178
\begin{frame}[c]
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   179
\frametitle{Discussion Forum}
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   180
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   181
\begin{center}  
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   182
\includegraphics[scale=0.38]{/Users/cu/discussion.png}
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   183
\end{center}
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   184
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   185
\end{frame}
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   186
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   187
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   188
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   189
\begin{frame}[c]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   190
\frametitle{Preliminary 7}
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   191
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   192
Raw marks (261 submissions):\bigskip
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   193
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   194
\begin{itemize}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   195
\item 4\%: \hspace{4mm}236
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   196
\item 3\%: \hspace{4mm}10
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   197
\item 2\%: \hspace{4mm}1
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   198
\item 1\%: \hspace{4mm}0
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   199
\item 0\%: \hspace{4mm}15 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   200
\end{itemize}\bigskip\bigskip  
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   201
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   202
\footnotesize
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   203
(plagiarism/collusion interviews ongoing!)
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   204
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   205
\end{frame}
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   206
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   207
ec9cbf969edf 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
26058bf089ae 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
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   213
\small
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   214
  
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   215
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   216
def is_legal(dim: Int, p: Path, x: Pos) = {
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   217
  if (...some_really_long_condition...) false
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   218
  else true
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   219
}
ec9cbf969edf 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
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   222
\pause
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   223
\bigskip
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   224
\rule{11cm}{0.3mm}
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   225
\bigskip
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   226
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   227
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   228
def is_legal(dim: Int, p: Path, x: Pos) = 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   229
  !(...some_really_long_condition...)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   230
\end{lstlisting}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   231
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   232
\end{frame}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   233
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   234
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   235
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   236
\begin{frame}[c,fragile]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   237
\small
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   238
  
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   239
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   240
def foobar(...) = {
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   241
  val cs = for (c <- str) yield c.toLowerCase
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   242
  ...
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   243
}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   244
\end{lstlisting}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   245
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   246
\pause
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   247
\bigskip
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   248
\rule{11cm}{0.3mm}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   249
\bigskip
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   250
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   251
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=1mm]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   252
def foobar(...) = {
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   253
  val cs = str.map(_.toLowerCase)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   254
  ...
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   255
}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   256
\end{lstlisting}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   257
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   258
\end{frame}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   259
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   260
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   261
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   262
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   263
\begin{frame}[c,fragile]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   264
\small
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   265
  
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   266
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-7mm]
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   267
def RomanNumeral2Int(rs: RomanNumeral): Int = 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   268
 rs match { 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   269
   case Nil => 0
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   270
   case M::r    => 1000 + RomanNumeral2Int(r)  
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   271
   case C::M::r => 900 + RomanNumeral2Int(r)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   272
   case D::r    => 500 + RomanNumeral2Int(r)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   273
   case C::D::r => 400 + RomanNumeral2Int(r)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   274
   case C::r    => 100 + RomanNumeral2Int(r)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   275
   case X::C::r => 90 + RomanNumeral2Int(r)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   276
   case L::r    => 50 + RomanNumeral2Int(r)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   277
   case X::L::r => 40 + RomanNumeral2Int(r)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   278
   case X::r    => 10 + RomanNumeral2Int(r)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   279
   case I::X::r => 9 + RomanNumeral2Int(r)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   280
   case V::r    => 5 + RomanNumeral2Int(r)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   281
   case I::V::r => 4 + RomanNumeral2Int(r)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   282
   case I::r    => 1 + RomanNumeral2Int(r)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   283
 }
26058bf089ae 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
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   290
\begin{frame}[c,fragile]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   291
\frametitle{Last Week: Pattern Matching} 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   292
\small
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   293
  
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   294
\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=3mm]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   295
def fizz_buzz(n: Int) : String = 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   296
  (n % 3, n % 5) match {
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   297
    case (0, 0) => "fizz buzz"
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   298
    case (0, _) => "fizz"
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   299
    case (_, 0) => "buzz"
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   300
    case _ => n.toString  
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   301
  }
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   302
\end{lstlisting}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   303
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   304
\end{frame}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   305
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   306
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   307
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   308
\begin{frame}[c,fragile]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   309
\frametitle{Reverse Polish Notation}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   310
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   311
{\Large\bl{$(3 + 1) * (2 + 9)$}}\bigskip
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   312
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   313
{\Large$\Rightarrow$}\bigskip
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   314
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   315
{\;\;\Large\bl{$3\;\;1\;+\;2\;\;9\;+\;*$}}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   316
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   317
\begin{textblock}{3}(11,4)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   318
\begin{onlyenv}<2>
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   319
\begin{lstlisting}[language=JVMIS]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   320
ldc 3
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   321
ldc 1
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   322
iadd
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   323
ldc 2
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   324
ldc 9
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   325
iadd
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   326
imul
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   327
\end{lstlisting}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   328
\end{onlyenv} 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   329
\end{textblock}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   330
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   331
\end{frame}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   332
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   333
 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   334
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   335
\begin{frame}[c,fragile]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   336
\frametitle{Sudoku}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   337
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   338
A very simple-minded version on 110 problems:\bigskip
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   339
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   340
\begin{itemize}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   341
\item 1 core: 800 secs
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   342
\item 2 cores: 400 secs
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   343
\item 8 cores: 290 secs
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   344
\item 18 cores: 142 secs
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   345
\end{itemize}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   346
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   347
\end{frame}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   348
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   349
 
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 140
diff changeset
   350
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   351
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   352
\begin{frame}[t]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   353
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   354
  \begin{center}  
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   355
  \includegraphics[scale=0.3]{../pics/blow.png}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   356
  \end{center}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   357
  
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   358
  \begin{textblock}{14}(2,11.4)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   359
  \large\bf{}Mind-Blowing Regular Expressions:\\ 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   360
  \centering in Python, JavaScript, Java
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   361
  \end{textblock}
26058bf089ae 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
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   364
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   365
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   366
\begin{frame}[c,fragile]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   367
\frametitle{Regular Expressions} 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   368
  
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   369
Suppose you have the regular expression 
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   370
\only<1-3>{\alert{\texttt{(a*)b}}}%
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   371
\only<4->{\alert{\texttt{(a*)*b}}} :\bigskip
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   372
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   373
\begin{center}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   374
\only<1>{\code{"aaaaaaaaaaaaaaab"}}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   375
\only<2>{\code{"aaaaa...........aaaaaaaaaaaaaaaaaaaab"}}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   376
\only<3>{\code{"aaaaa...........aaaaaaaaaaaaaaaaaaaa"}}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   377
\only<4>{\code{"aaaaa...........aaaaaaaaaaaaaaaaaaaab"}}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   378
\only<5->{\code{"aaaaa...........aaaaaaaaaaaaaaaaaaaa"}}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   379
\end{center}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   380
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   381
\only<6>{
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   382
\begin{textblock}{13}(5,12)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   383
How long does Python need to find out?
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   384
\end{textblock}}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   385
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   386
\end{frame}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   387
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   388
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   389
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   390
\begin{frame}<1>[c]
26058bf089ae 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
26058bf089ae 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
ec9cbf969edf 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
ec9cbf969edf 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
ec9cbf969edf 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
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   418
\end{tikzpicture}}}%
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   419
\only<2>{\raisebox{0mm}{\begin{tikzpicture}
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   420
\begin{axis}[
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   421
    xlabel={$n$},
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   422
    x label style={at={(1.05,0.0)}},
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   423
    ylabel={time in secs},
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   424
    %y label style={at={(0.06,0.5)}},
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   425
    enlargelimits=false,
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   426
    %xtick={0,30000,...,60000},
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   427
    xmax=65000,
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   428
    ymax=35,
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   429
    ytick={0,5,...,30},
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   430
    scaled ticks=true,
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   431
    axis lines=left,
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   432
    width=5.5cm,
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   433
    height=5cm, 
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   434
    legend entries={\small{}Java 9},  
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   435
    legend pos=north west]
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   436
\addplot[cyan,mark=*, mark options={fill=white}] table {re-java9.data};
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   437
\end{axis}
ec9cbf969edf 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
ec9cbf969edf 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
ec9cbf969edf 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
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   461
26058bf089ae 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
26058bf089ae 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
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   467
\begin{center}
325
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   468
  \includegraphics[angle=90,scale=0.35]{/Users/cu/vote.pdf}
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   469
\end{center}
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   470
 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   471
 \only<2>{%
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   472
\begin{textblock}{13}(10,10)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 325
diff changeset
   473
\includegraphics[scale=0.2]{/Users/cu/goodvote.png}
7d983ee99fcc 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
26058bf089ae 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
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   479
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   480
\begin{frame}[c]
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   481
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   482
\begin{center}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   483
  \includegraphics[scale=0.25]{/Users/cu/dresden.png}
26058bf089ae 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
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   486
\begin{textblock}{13}(2,12)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   487
\includegraphics[scale=0.08]{/Users/cu/kiss.jpg}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   488
\end{textblock}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   489
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   490
\begin{textblock}{13}(6.8,12)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   491
\includegraphics[scale=0.079]{/Users/cu/pioniere.jpg}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   492
\end{textblock}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   493
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   494
\begin{textblock}{13}(11,12)
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   495
\includegraphics[scale=0.20]{/Users/cu/iron.jpg}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   496
\end{textblock}
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   497
26058bf089ae 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
26058bf089ae updated
Christian Urban <urbanc@in.tum.de>
parents: 229
diff changeset
   501
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
26058bf089ae 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