slides/slides02.tex
author Christian Urban <urbanc@in.tum.de>
Mon, 11 Nov 2019 13:24:12 +0000
changeset 316 8b57dd326a91
parent 205 940e70378d90
child 317 607ceabeeffc
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
316
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
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}
151
c5ca7f8e21a5 updated
Christian Urban <urbanc@in.tum.de>
parents: 148
diff changeset
     3
\usepackage{chessboard}
c5ca7f8e21a5 updated
Christian Urban <urbanc@in.tum.de>
parents: 148
diff changeset
     4
\usepackage[LSBC4,T1]{fontenc}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
\usepackage{../slides}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
\usepackage{../graphics}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
\usepackage{../langs}
151
c5ca7f8e21a5 updated
Christian Urban <urbanc@in.tum.de>
parents: 148
diff changeset
     8
148
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
     9
% \usepackage{../data}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
\hfuzz=220pt 
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
%\setmonofont[Scale=.88]{Consolas}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
%\newfontfamily{\consolas}{Consolas}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
\lstset{language=Scala,
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
        style=mystyle,
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
        numbersep=0pt,
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
        numbers=none,
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
        xleftmargin=0mm}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
\newcommand{\bl}[1]{\textcolor{blue}{#1}}     
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
% beamer stuff 
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
\renewcommand{\slidecaption}{PEP (Scala) 02, King's College London}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
\begin{document}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
\begin{frame}[t]
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
\frametitle{%
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
  \begin{tabular}{@ {}c@ {}}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
  \\[5mm]
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
  \huge PEP Scala (2) 
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
  \end{tabular}}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
  \normalsize
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
  \begin{center}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
  \begin{tabular}{ll}
147
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    41
    Email:  & christian.urban at kcl.ac.uk\\
316
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    42
    Office: & N\liningnums{7.07} (North Wing, Bush House)\bigskip\\
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    43
    Slides \& Code: & KEATS\bigskip\\
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    44
    Office Hours: &  Thursdays 12:00 -- 14:00\\
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    45
    Additionally: & (for Scala) Tuesdays 10:45 -- 11:45\\ 
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
  \end{tabular}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
  \end{center}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
\end{frame}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
316
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    53
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    54
\begin{frame}[c,fragile]
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    55
  \frametitle{My Scala Version}
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    56
  
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    57
  \begin{lstlisting}[language={},numbers=none,
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    58
    basicstyle=\ttfamily\small,xleftmargin=-2mm]
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    59
  $ scala
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    60
    
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    61
  Welcome to Scala 2.13.1 (Java HotSpot(TM) 
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    62
  64-Bit Server VM, Java 9). Type in expressions 
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    63
  for evaluation. Or try :help.
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    64
  
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    65
  scala>
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    66
  \end{lstlisting}%$
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    67
  \bigskip\bigskip
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    68
  
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    69
  With older versions you will get strange results with my reference implementation.
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    70
  
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    71
  \end{frame}
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    72
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
202
f7bcb27d1940 updated
Christian Urban <urbanc@in.tum.de>
parents: 151
diff changeset
    73
147
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    74
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
202
f7bcb27d1940 updated
Christian Urban <urbanc@in.tum.de>
parents: 151
diff changeset
    75
\begin{frame}[c,fragile]
316
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    76
\frametitle{Reference Implementation}
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    77
  
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    78
Keep your implementation and my reference implementation separate.\bigskip
147
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    79
316
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    80
  \begin{lstlisting}[language={},numbers=none,
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    81
    basicstyle=\ttfamily\small,xleftmargin=-2mm]
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    82
  $ scala -cp collatz.jar
202
f7bcb27d1940 updated
Christian Urban <urbanc@in.tum.de>
parents: 151
diff changeset
    83
  
316
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    84
  scala> CW6a.collatz(6)
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    85
  res0: Long = 8
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    86
147
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    87
316
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    88
  scala> import CW6a._
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    89
  scala> collatz(9)
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    90
  res1: Long = 19
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    91
  \end{lstlisting}%$
202
f7bcb27d1940 updated
Christian Urban <urbanc@in.tum.de>
parents: 151
diff changeset
    92
147
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    93
\end{frame}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
    94
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
316
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    95
  
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    96
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    97
\begin{frame}[t]
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    98
  \frametitle{Preliminary Part 7}
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
    99
  
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   100
  \Large
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   101
  \[
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   102
    \texttt{overlap}(d_1, d_2) = \frac{d_1 \cdot d_2}{max(d_1^2, d_2^2)}  
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   103
  \]\bigskip
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   104
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   105
  \large
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   106
  \quad{}\;where \;$d_1^2$\; means \;$d_1 \cdot d_1$\; and so on
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   107
\end{frame}
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   108
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   109
  
147
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   110
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   111
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   112
\begin{frame}[c]
204
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   113
\frametitle{Assignments}
147
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   114
204
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   115
Don't change anything with the templates!\bigskip
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   116
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   117
Avoid at all costs:
147
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   118
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   119
\begin{itemize}
204
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   120
\item \texttt{var} 
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   121
\item \texttt{return} 
147
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   122
\item \texttt{ListBuffer}
204
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   123
\item \texttt{mutable}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   124
\item \texttt{.par}  
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   125
\end{itemize}\pause\bigskip
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   126
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   127
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   128
\mbox{}\hfill\textit{``Scala --- \underline{S}lowly \underline{c}ompiled 
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   129
\underline{a}cademic \underline{la}nguage''}\smallskip\\
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   130
\mbox{}\hfill\textit{ --- a joke(?) found on Twitter}\bigskip
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   131
\end{frame}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   132
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   133
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   134
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   135
\begin{frame}[t]
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   136
\frametitle{Email: Hate 'val'}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   137
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   138
\mbox{}\\[-25mm]\mbox{}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   139
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   140
\begin{center}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   141
  \begin{bubble}[10.5cm]
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   142
  Subject: \textbf{Hate '\textbf{\texttt{val}}'}\hfill 01:00 AM\medskip\\
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   143
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   144
  Hello Mr Urban,\medskip\\
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   145
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   146
  I just wanted to ask, how are we suppose to work
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   147
  with the completely useless \textbf{\texttt{val}}, that can’t be changed ever? Why is
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   148
  this rule active at all? I’ve spent 4 hours not thinking on the
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   149
  coursework, but how to bypass this annoying rule. What’s the whole
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   150
  point of all these coursework, when we can’t use everything Scala
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   151
  gives us?!?\medskip\\
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   152
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   153
  Regards.\\
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   154
  \mbox{}\hspace{5mm}\textcolor{black!50}{<<deleted>>}\\
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   155
  \end{bubble}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   156
\end{center}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   157
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   158
\end{frame}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   159
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   160
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   161
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   162
\def\firstcircle{(0,0) circle (1.4cm)}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   163
\def\secondcircle{(0:2cm) circle (1.4cm)}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   164
\colorlet{circle edge}{blue!50}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   165
\colorlet{circle area}{blue!20}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   166
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   167
\tikzset{filled/.style={fill=circle area, draw=circle edge, thick},
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   168
    outline/.style={draw=circle edge, thick}}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   169
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   170
\begin{frame}[c,fragile]
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   171
\frametitle{Par: Intersections}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   172
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   173
\begin{textblock}{6}(1,2)
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   174
\begin{tikzpicture}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   175
  \draw[outline] \firstcircle node {$A$};
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   176
  \node[anchor=south] at (current bounding box.north)
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   177
    {$A = \{1,2,3,\ldots,1000\}$};
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   178
\end{tikzpicture}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   179
\end{textblock}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   180
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   181
\begin{textblock}{6}(8,2)
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   182
\begin{tikzpicture}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   183
  \draw[outline] \secondcircle node {$B$};
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   184
  \node[anchor=south] at (current bounding box.north)
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   185
    {$B = \{1,5,9,13,\ldots,997\}$};
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   186
\end{tikzpicture}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   187
\end{textblock}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   188
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   189
\begin{textblock}{6}(3.3,9)
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   190
\begin{tikzpicture}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   191
    \begin{scope}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   192
        \clip \firstcircle;
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   193
        \fill[filled] \secondcircle;
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   194
    \end{scope}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   195
    \draw[outline] \firstcircle node {$A$};
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   196
    \draw[outline] \secondcircle node {$B$};
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   197
    \node[anchor=north] at (current bounding box.south)
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   198
    {How many elements are in $A \cap B$?};
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   199
\end{tikzpicture}
9b45dd24271b updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   200
\end{textblock}  
147
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   201
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   202
\end{frame}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   203
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   204
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   205
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   206
\begin{frame}[t]
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   207
\frametitle{For-Comprehensions Again}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   208
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   209
\begin{center}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   210
  \begin{tikzpicture}[scale=1,
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   211
                      node/.style={
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   212
                      rectangle,rounded corners=3mm,
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   213
                      very thick,draw=black!50,
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   214
                      minimum height=18mm, minimum width=20mm,
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   215
                      top color=white,bottom color=black!20}]
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   216
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   217
  \node (A0) at (0.1,0) {\texttt{\textcolor{purple}{\textbf{for}} (\alert<2->{n} <- List(}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   218
  \node (A1) at (2.3,0) {\texttt{\phantom{,}1,}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   219
  \node (A2) at (3.2,0) {\texttt{\phantom{,}2,}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   220
  \node (A3) at (4.1,0) {\texttt{\phantom{,}3,}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   221
  \node (A4) at (5.0,0) {\texttt{\phantom{,}4,}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   222
  \node (A5) at (5.9,0) {\texttt{\phantom{))}5))}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   223
  \node (A6) at (8,0) {\texttt{\textcolor{purple}{\textbf{yield}} \alert<2->{n\,*\,n}}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   224
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   225
  \onslide<2->{
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   226
  \node (B0) at (1.4,-3) {\texttt{List(}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   227
  \node (B1) at (2.3,-3) {\texttt{\phantom{,}1,}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   228
  \node (B2) at (3.6,-3) {\texttt{\phantom{,}4,}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   229
  \node (B3) at (4.9,-3) {\texttt{\phantom{,}9,}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   230
  \node (B4) at (6.2,-3) {\texttt{\phantom{,}16,}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   231
  \node (B5) at (7.5,-3) {\texttt{\phantom{,}25)}};}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   232
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   233
  \onslide<2->{
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   234
  \draw [->,line width=1mm] (A1.south) -- (B1.north);
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   235
  \draw [->,line width=1mm] (A2.south) -- (B2.north);
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   236
  \draw [->,line width=1mm] (A3.south) -- (B3.north);
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   237
  \draw [->,line width=1mm] (A4.south) -- (B4.north);
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   238
  \draw [->,line width=1mm] (A5.south) -- (B5.north);}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   239
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   240
  \onslide<2->{
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   241
  \node (Q1) at (-0.45,-0.1) {};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   242
  \node (Q2) at (-0.45,-2.8) {};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   243
  \node (Q3) at (-0.45,-2.95) {\alert<2->{\texttt{n\,*\,n:}}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   244
  \draw [->,red,line width=1mm] (Q1.south) -- (Q2.north);}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   245
 \end{tikzpicture}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   246
\end{center}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   247
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   248
\onslide<3>{This is for when the for-comprehension\\ \textbf{yields / produces} a result.}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   249
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   250
\end{frame}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   251
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   252
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   253
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   254
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   255
\begin{frame}[t]
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   256
\frametitle{For-Comprehensions Again}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   257
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   258
\begin{center}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   259
  \begin{tikzpicture}[scale=1,
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   260
                      node/.style={
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   261
                      rectangle,rounded corners=3mm,
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   262
                      very thick,draw=black!50,
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   263
                      minimum height=18mm, minimum width=20mm,
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   264
                      top color=white,bottom color=black!20}]
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   265
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   266
  \node (A0) at (0,0)
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   267
    {\texttt{\textcolor{purple}{\textbf{for}} (n <- List(1, 2, 3, 4, 5))
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   268
             \textcolor{purple}{\textbf{yield}} n\,*\,n}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   269
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   270
  \node (A1) at (0,-1.5) {\LARGE\textbf{vs}};       
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   271
         
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   272
  \node (A2) at (0,-3)
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   273
    {\texttt{\textcolor{purple}{\textbf{for}} (n <- List(1, 2, 3, 4, 5)) println(n)}};
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   274
 \end{tikzpicture}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   275
\end{center}\bigskip
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   276
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   277
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   278
The second version is in case the for \textbf{does not}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   279
produce any result.
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   280
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   281
\end{frame}
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   282
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   283
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   284
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   285
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   286
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   287
\begin{frame}[t]
148
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   288
\frametitle{Why Scala? No null!}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   289
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   290
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   291
\begin{itemize}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   292
\item \large {\bf You can avoid \textcolor{blue}{\texttt{null}}}:
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   293
\end{itemize}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   294
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   295
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   296
\begin{textblock}{6}(1,5)
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   297
  \begin{bubble}[10.5cm]\small
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   298
      ``I call it my billion-dollar mistake. It was the invention of
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   299
      the null reference in 1965. At that time, I was designing the
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   300
      first comprehensive type system for references in an object
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   301
      oriented language (ALGOL W). My goal was to ensure that all use
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   302
      of references should be absolutely safe, with checking performed
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   303
      automatically by the compiler. But I couldn't resist the
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   304
      temptation to put in a null reference, simply because it was so
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   305
      easy to implement. This has led to innumerable errors,
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   306
      vulnerabilities, and system crashes, which have probably caused
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   307
      a billion dollars of pain and damage in the last forty years.''
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   308
      \hfill Sir Tony (Hoare)
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   309
\end{bubble}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   310
\end{textblock}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   311
  
148
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   312
\begin{textblock}{5}(12.5,1.9)
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   313
\includegraphics[scale=0.05]{../pics/hoare.jpg}\\
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   314
\end{textblock}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   315
  
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   316
\end{frame}
147
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 66
diff changeset
   317
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   318
148
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   319
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
316
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   320
\begin{frame}[c]
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   321
\frametitle{\begin{tabular}{c}\\[0cm]\alert{Questions?}\end{tabular}}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   322
148
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   323
\begin{center}
316
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   324
  \begin{tabular}[t]{@{}l@{}l@{}}
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   325
    \includegraphics[scale=0.1]{../pics/mand4.png} & \hspace{4mm}
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   326
    \raisebox{0mm}{\includegraphics[scale=0.1]{../pics/mand3.png}}      
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   327
  \end{tabular}     
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   328
\end{center}
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   329
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   330
\begin{center}
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   331
  My Office Hours: Thursdays 12 -- 14\\
8b57dd326a91 updated
Christian Urban <urbanc@in.tum.de>
parents: 205
diff changeset
   332
  And specifically for Scala: Tuesdays 10:45 -- 11:45
148
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   333
\end{center}
66
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   334
\end{frame}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   335
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   336
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   337
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   338
\end{document}
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   339
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   340
%%% Local Variables:  
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   341
%%% mode: latex
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   342
%%% TeX-master: t
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   343
%%% End: 
3506b681c191 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   344