Slides
authorJoachim Breitner <mail@joachim-breitner.de>
Tue, 4 Sep 2012 09:11:40 +0000 (09:11 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Tue, 4 Sep 2012 09:11:40 +0000 (09:11 +0000)
HaskellBytes.tex
HaskellBytesLogo.svg [new file with mode: 0644]
HaskellBytesSlides.tex [new file with mode: 0644]
Telekom.pdf [new file with mode: 0644]

index 5957171..4c06837 100644 (file)
@@ -34,7 +34,7 @@
 \author{Joachim Breitner\footnote{\href{mailto:mail@joachim-breitner.de}{mail@joachim-breitner.de}, \url{http://www.joachim-breitner.de/}. Diese Arbeit wurde durch ein Promotionsstipendium der \href{http://telekom-stiftung.de/}{Deutschen Telekom Stiftung} gefördert.}}
 \title{Haskell Bytes}
 %\subject{Die Umsetzung von Haskell durch GHC}
-\subtitle{Eine Führung durch den Hauptspeicher eines Haskell-Programms}
+\subtitle{Eine geführte Tour durch den Hauptspeicher eines Haskell-Programms}
 \publishers{MRMCD 12\footnote{\url{http://mrmcd.net/}}, Darmstadt}
 \date{8. September 2012}
 
diff --git a/HaskellBytesLogo.svg b/HaskellBytesLogo.svg
new file mode 100644 (file)
index 0000000..049a42a
--- /dev/null
@@ -0,0 +1,189 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   width="481.8897pt"
+   height="340.1574pt"
+   viewBox="0 0 481.8897 340.1574"
+   version="1.1"
+   id="svg2"
+   inkscape:version="0.48.3.1 r9886"
+   sodipodi:docname="HaskellBytesLogo.svg"
+   inkscape:export-filename="/home/jojo/dokumente/Uni/info/mrmcd2012-haskell-bytes/HaskellBytesLogo.png"
+   inkscape:export-xdpi="47"
+   inkscape:export-ydpi="47">
+  <metadata
+     id="metadata22">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+        <dc:title></dc:title>
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <sodipodi:namedview
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1"
+     objecttolerance="10"
+     gridtolerance="10"
+     guidetolerance="10"
+     inkscape:pageopacity="0"
+     inkscape:pageshadow="2"
+     inkscape:window-width="1568"
+     inkscape:window-height="900"
+     id="namedview20"
+     showgrid="false"
+     inkscape:zoom="1.5698821"
+     inkscape:cx="211.88637"
+     inkscape:cy="159.08531"
+     inkscape:window-x="32"
+     inkscape:window-y="1200"
+     inkscape:window-maximized="0"
+     inkscape:current-layer="svg2" />
+  <defs
+     id="defs4">
+    <clipPath
+       id="clip1">
+      <path
+         d="M 0 340.15625 L 481.890625 340.15625 L 481.890625 0 L 0 0 L 0 340.15625 Z M 0 340.15625 "
+         id="path7" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath3910">
+      <rect
+         style="color:#000000;fill:#000000;fill-opacity:1;stroke:none;stroke-width:5.6692915;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
+         id="rect3912"
+         width="65.737419"
+         height="394.47751"
+         x="113.42143"
+         y="24.929487"
+         transform="matrix(1,0,0.56064819,0.82805411,0,0)" />
+    </clipPath>
+  </defs>
+  <g
+     id="surface0">
+    <g
+       clip-path="url(#clip1)"
+       clip-rule="nonzero"
+       id="g10">
+      <path
+         style=" stroke:none;fill-rule: nonzero; fill: rgb(40%,40%,40%); fill-opacity: 1;"
+         d="M 0 340.15625 L 113.386719 170.078125 L 0 0 L 85.039062 0 L 198.425781 170.078125 L 85.039062 340.15625 L 0 340.15625 Z M 0 340.15625 "
+         id="path12" />
+      <path
+         style=" stroke:none;fill-rule: nonzero; fill: rgb(60%,60%,60%); fill-opacity: 1;"
+         d="M 113.386719 340.15625 L 226.773438 170.078125 L 113.386719 0 L 198.425781 0 L 425.195312 340.15625 L 340.15625 340.15625 L 269.292969 233.859375 L 198.425781 340.15625 L 113.386719 340.15625 Z M 113.386719 340.15625 "
+         id="path14" />
+      <path
+         style=" stroke:none;fill-rule: nonzero; fill: rgb(40%,40%,40%); fill-opacity: 1;"
+         d="M 387.402344 240.945312 L 349.609375 184.253906 L 481.890625 184.25 L 481.890625 240.945312 L 387.402344 240.945312 Z M 387.402344 240.945312 "
+         id="path16" />
+      <path
+         style=" stroke:none;fill-rule: nonzero; fill: rgb(40%,40%,40%); fill-opacity: 1;"
+         d="M 330.710938 155.90625 L 292.914062 99.214844 L 481.890625 99.210938 L 481.890625 155.90625 L 330.710938 155.90625 Z M 330.710938 155.90625 "
+         id="path18" />
+    </g>
+  </g>
+  <g
+     id="g3797"
+     transform="translate(-0.50959467,-13.249402)"
+     clip-path="url(#clipPath3910)">
+    <rect
+       transform="matrix(0.8,0,0,0.8,0,-1.1902573e-5)"
+       y="8.6049786"
+       x="-193.00813"
+       height="583.48334"
+       width="844.64941"
+       id="rect3795"
+       style="color:#000000;fill:#000000;fill-opacity:1;stroke:none;stroke-width:5.6692915;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate" />
+    <text
+       sodipodi:linespacing="89.999998%"
+       id="text2999"
+       y="37.459515"
+       x="-196.70268"
+       style="font-size:32px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:89.99999762%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#00cc00;fill-opacity:1;stroke:none;font-family:LMMono10;-inkscape-font-specification:LMMono10"
+       xml:space="preserve"><tspan
+         sodipodi:role="line"
+         id="tspan3817"
+         x="-196.70268"
+         y="37.459515">0x000000000049B1C8 0x00007F16C0D04261 0x00007F16C0D04240</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3819"
+         x="-196.70268"
+         y="66.259514">0x000000000049B128 0x0000000000000068</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3821"
+         x="-196.70268"
+         y="95.059509">0x000000000049B1C8 0x00007F16C0D162A1 0x00007F16C0D16280</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3823"
+         x="-196.70268"
+         y="123.85951">0x000000000049B128 0x0000000000000061</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3825"
+         x="-196.70268"
+         y="152.65952">0x000000000049B1C8 0x00007F16C0D262A1 0x00007F16C0D26280</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3827"
+         x="-196.70268"
+         y="181.4595">0x000000000049B128 0x000000000000006C</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3829"
+         x="-196.70268"
+         y="210.25951">0x000000000049B1C8 0x00007F16C0D362A1 0x00007F16C0D36280</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3831"
+         x="-196.70268"
+         y="239.05951">0x000000000049B128 0x000000000000006C</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3833"
+         x="-196.70268"
+         y="267.8595">0x000000000049B1C8 0x00007F16C0D462A1 0x00007F16C0D46280</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3835"
+         x="-196.70268"
+         y="296.65952">0x000000000049B128 0x000000000000006F</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3837"
+         x="-196.70268"
+         y="325.4595">0x000000000049B1C8 0x00007F16C0D462A1 0x00007F16C0D46280</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3839"
+         x="-196.70268"
+         y="354.25952">0x000000000049B128 0x000000000000006F</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3841"
+         x="-196.70268"
+         y="383.05951">0x000000000049B1C8 0x00007F16C0D462A1 0x00007F16C0D46280</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3843"
+         x="-196.70268"
+         y="411.8595">0x000000000049B128 0x000000000000006F</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3845"
+         x="-196.70268"
+         y="440.65952">0x000000000049B1C8 0x00007F16C0D462A1 0x00007F16C0D46280</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3847"
+         x="-196.70268"
+         y="469.4595">0x000000000049B128 0x000000000000006F</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3849"
+         x="-196.70268"
+         y="498.25949">0x000000000049B1A8</tspan><tspan
+         sodipodi:role="line"
+         id="tspan3851"
+         x="-196.70268"
+         y="527.05951"></tspan></text>
+  </g>
+</svg>
diff --git a/HaskellBytesSlides.tex b/HaskellBytesSlides.tex
new file mode 100644 (file)
index 0000000..bd57b7d
--- /dev/null
@@ -0,0 +1,155 @@
+% © Copyright 2012 Joachim Breitner
+% Distributed under the terms of the Creative Commons Attribution license.
+\documentclass{beamer}
+%\documentclass{article}
+%\usepackage{beamerarticle}
+
+\newlength{\px}
+\setlength{\px}{0.0009765625\paperwidth}
+
+\usetheme[footline=authortitle,compress]{Nomeata}
+
+\setbeamertemplate{headline}{}
+
+\AtBeginSection[]
+{
+%  \begin{frame}<beamer>
+%    \tableofcontents[currentsection,currentsubsection]
+%  \end{frame}
+}
+
+%\usecolortheme{orchid}
+\usecolortheme{crane}
+
+\usepackage[T3,OT1]{fontenc}
+\usepackage[ngerman]{babel}
+\usepackage[utf8]{inputenc}
+\usepackage{tikz}
+\usetikzlibrary{decorations.pathreplacing,calc}
+\usetikzlibrary{positioning,calc,decorations,decorations.pathmorphing,shapes.geometric,matrix}
+\usepackage{hyperref}
+
+\usepackage{mathtools}
+\usepackage{amssymb}
+
+\usepackage{listings}
+
+\definecolor{light-gray}{gray}{0.95}
+\lstdefinestyle{haskell}{
+        language=Haskell
+        ,literate=
+                {ö}{{\"o}}1
+                {ä}{{\"a}}1
+                {ü}{{\"u}}1
+        ,columns=flexible
+        ,basewidth={.365em}
+        ,keepspaces=True
+        ,texcl=true
+        ,basicstyle=\small\sffamily
+        ,stringstyle=\itshape
+        ,showstringspaces=false
+        ,keywords={module,where,open,import,using,renaming,to,data,let,in,with}
+        ,belowskip=0pt
+        ,backgroundcolor=\color{light-gray}
+        ,frame=single
+        ,xleftmargin=2em
+        ,xrightmargin=2em
+        }
+
+
+% \pause mit verstecken
+\newcommand{\hide}{\onslide+<+(1)->}
+
+\title{Haskell Bytes}
+\subtitle{Eine geführte Tour durch den Hauptspeicher eines Haskell-Programms}
+\author{Joachim Breitner}
+%\institute{Karlsruher Institut für Technologie, IPD Snelting}
+\titlegraphic{\includegraphics[width=11em]{HaskellBytesLogo}}
+\date{MRMCD 12, 8. September 2012}
+
+\DeclareTextSymbol\textlambda{T3}{171}           % Lambda
+\DeclareTextSymbolDefault\textlambda{T3}
+\DeclareUnicodeCharacter{03BB}{\textlambda}
+
+
+\begin{document}
+
+\frame[plain]{\titlepage \vfill
+\raggedleft
+\includegraphics[width=5em]{Telekom}
+
+}
+\only<article>{\maketitle}
+
+\only<presentation>{
+\centering
+\frame[plain]{\textit{Demonstration}}
+}
+
+\begin{frame}
+\frametitle{Drei Arten von Closures}
+\begin{center}
+\begin{tikzpicture}[
+        closure/.style={shape=rectangle, rounded corners, minimum width=2.8cm,fill=blue!40,font=\bfseries},
+        prop/.style={},
+       brace/.style={decoration={brace,amplitude=0.5em},decorate,thick}
+       ]
+\hide
+\node[closure] (con) {Konstruktor};
+\hide
+\node[closure] at (3,0) (fun) {Funktion};
+\hide
+\node[closure] at (6,0) (thunk) {Thunk};
+\hide
+\draw [brace] (con.south east) -- (con.south west);
+\path (con) ++(0,-0.7) node[prop] {Parameter};
+\hide
+\path (con) ++(0,-1.2) node[prop] {Welcher Konstr.};
+\hide
+\draw [brace] (thunk.south east) -- (fun.south west);
+\path (4.5,0)  ++(0,-0.7) node[prop] {Code};
+\hide
+\path (4.5,0)  ++(0,-1.2) node[prop] {Freie Variablen};
+\hide
+\draw [brace] ($(thunk.south east)+(0,-1.5)$) -- ($(con.south west)+(0,-1.5)$);
+\path (3,-1.5)  ++(0,-0.7) node[prop] {Größe};
+\hide
+\path (3,-1.5)  ++(0,-0.7) ++(0,-0.5) node[prop] {Layout};
+\hide
+\path (3,-1.5)  ++(0,-0.7) ++(0,-0.5) ++(0,-0.5) node[prop] (typ) {Typ};
+\hide
+\draw [line cap=rounded, ultra thick, color=blue] (typ.south west) -- (typ.north east);
+\onslide+<0->
+\end{tikzpicture}
+\end{center}
+\end{frame}
+
+\only<presentation>{
+\centering
+\frame[plain]{\textit{Investigation}}
+}
+
+
+\begin{frame}
+\frametitle{Drei Arten von Closures}
+\begin{center}
+\begin{tikzpicture}[
+        closure/.style={shape=rectangle, rounded corners, minimum width=2.8cm,fill=blue!40,font=\bfseries},
+        prop/.style={},
+       brace/.style={decoration={brace,amplitude=0.5em},decorate,thick}
+       ]
+\onslide+<0->
+\end{tikzpicture}
+\end{center}
+\end{frame}
+
+\setbeamercolor{normal text}{bg=black}
+\setbeamertemplate{background canvas}{}
+\frame<presentation>[plain]{
+\strut
+\vfill
+\small{© 2012 Joachim Breitner.\\
+Distributed under the terms of the Creative Commons Attribution license.}
+}
+\end{document}
+
diff --git a/Telekom.pdf b/Telekom.pdf
new file mode 100644 (file)
index 0000000..a09388c
Binary files /dev/null and b/Telekom.pdf differ