1.1 --- a/doc-isac/mlehnfeld/master/thesis/thesis.tex Thu Jun 26 10:50:27 2014 +0200
1.2 +++ b/doc-isac/mlehnfeld/master/thesis/thesis.tex Thu Jun 26 17:19:30 2014 +0200
1.3 @@ -1,67 +1,185 @@
1.4 -\documentclass[master,english]{hgbthesis}
1.5 -% Zulässige Class Options:
1.6 -% Typ der Arbeit: diplom, master (default), bachelor, praktikum
1.7 -% Hauptsprache: german (default), english
1.8 -%%------------------------------------------------------------
1.9 -
1.10 -\graphicspath{{images/}} % wo liegen die Bilder?
1.11 -\bibliography{literature} % Angabe der BibTeX-Datei, % utf8-change
1.12 -
1.13 -\newcommand{\isac}{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
1.14 -\def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
1.15 -\newcommand{\isabelle}{{\it Isabelle}}
1.16 -
1.17 -%%%----------------------------------------------------------
1.18 -\begin{document}
1.19 -%%%----------------------------------------------------------
1.20 -
1.21 -% Einträge für ALLE Arbeiten: --------------------------------
1.22 -\title{Introducing Parallelism and Concurrency in an Educational Mathematics System using Functional Programming}
1.23 -\author{Mathias Lehnfeld}
1.24 -\studiengang{Interactive Media}
1.25 -\studienort{Hagenberg}
1.26 -\abgabedatum{2014}{06}{18} % {YYYY}{MM}{DD}
1.27 -\betreuer{Mag. Volker Christian} % oder \betreuerin{..}
1.28 -\betreuer{Dr. Walther Neuper} % oder \betreuerin{..}
1.29 -\firma{
1.30 - Institut für Informationssysteme und Computer Medien (IICM)\\
1.31 - Fakultät für Informatik - Technische Universität Graz\\
1.32 - \\
1.33 - Inffeldgasse 16c\\
1.34 - 8010 Graz - Österreich - Europa
1.35 -}
1.36 -
1.37 -%%%----------------------------------------------------------
1.38 -\frontmatter
1.39 -\maketitle
1.40 -\tableofcontents
1.41 -%%%----------------------------------------------------------
1.42 -
1.43 -% \include{declaration}
1.44 -\include{preface}
1.45 -\include{abstract}
1.46 -\include{kurzfassung}
1.47 -
1.48 -%%%----------------------------------------------------------
1.49 -\mainmatter % Hauptteil (ab hier arab. Seitenzahlen)
1.50 -%%%----------------------------------------------------------
1.51 -
1.52 -\include{introduction}
1.53 -\include{fundamentals}
1.54 -\include{funproglangs_mcsystems}
1.55 -\include{isabelle_isac}
1.56 -\include{conclusion}
1.57 -
1.58 -%%%----------------------------------------------------------
1.59 -%%%Anhang
1.60 -\appendix
1.61 -\include{appendix_a}
1.62 -
1.63 -%%%----------------------------------------------------------
1.64 -\MakeBibliography
1.65 -%%%----------------------------------------------------------
1.66 -
1.67 -%%%Messbox zur Druckkontrolle
1.68 -\include{messbox}
1.69 -
1.70 -\end{document}
1.71 +\documentclass[master,english]{hgbthesis}
1.72 +% Zulässige Class Options:
1.73 +% Typ der Arbeit: diplom, master (default), bachelor, praktikum
1.74 +% Hauptsprache: german (default), english
1.75 +%%------------------------------------------------------------
1.76 +
1.77 +% TODO !!! amdahl & gustafson: set samples to 2000+
1.78 +% TODO !!! edit: appendix b cd-rom / dvd !?
1.79 +% TODO !!! appendix b add Repo date
1.80 +% TODO !!! render all images to png
1.81 +% TODO !!! README windows line breaks!
1.82 +% TODO !!! "Overfull" grep
1.83 +
1.84 +\graphicspath{{images/}} % wo liegen die Bilder?
1.85 +\bibliography{literature} % Angabe der BibTeX-Datei, % utf8-change
1.86 +
1.87 +\usepackage{tikz,pgfplots,pgfplotstable}
1.88 +\pgfplotsset{compat=1.9}
1.89 +\usetikzlibrary{positioning}
1.90 +
1.91 +\usepackage{listings} % syntax highlighting
1.92 +
1.93 +\definecolor{color1}{HTML}{a40000}
1.94 +\definecolor{color2}{HTML}{3465a4}
1.95 +\definecolor{color3}{HTML}{ce5c00}
1.96 +\definecolor{color4}{HTML}{4e9a06}
1.97 +\definecolor{color5}{HTML}{eeeeec}
1.98 +\definecolor{color6}{HTML}{2e3436}
1.99 +
1.100 +\lstnewenvironment{MLCode}[1][] % code environment for ML
1.101 +{\lstset{
1.102 + language=ML,
1.103 + keywordstyle=\bfseries\color{color1},
1.104 + %identifierstyle=\ttfamily,
1.105 + commentstyle=\color{color2},
1.106 + stringstyle=\color{color3},
1.107 + showstringspaces=false,
1.108 + basicstyle=\ttfamily\footnotesize,
1.109 + numberstyle=\tiny\ttfamily\color{color6},
1.110 + numbers=left,
1.111 + numbersep=10pt,
1.112 + tabsize=2,
1.113 + breaklines=true,
1.114 + %prebreak = \raisebox{0ex}[0ex][0ex]{\ensuremath{\hookleftarrow}},
1.115 + breakatwhitespace=false,
1.116 + %aboveskip={1.5\baselineskip},
1.117 + columns=fixed,
1.118 + upquote=true,
1.119 + extendedchars=true,
1.120 + % frame=single,
1.121 + backgroundcolor=\color{color5},
1.122 + %literate=%
1.123 + % *{0}{{{\color[rgb]{1,0,0}0}}}1
1.124 + % {1}{{{\color[rgb]{1,0,0}1}}}1
1.125 + % {2}{{{\color[rgb]{1,0,0}2}}}1
1.126 + % {3}{{{\color[rgb]{1,0,0}3}}}1
1.127 + % {4}{{{\color[rgb]{1,0,0}4}}}1
1.128 + % {5}{{{\color[rgb]{1,0,0}5}}}1
1.129 + % {6}{{{\color[rgb]{1,0,0}6}}}1
1.130 + % {7}{{{\color[rgb]{1,0,0}7}}}1
1.131 + % {8}{{{\color[rgb]{1,0,0}8}}}1
1.132 + % {9}{{{\color[rgb]{1,0,0}9}}}1
1.133 + escapeinside={/+}{+/},% makes "/+" and "+/" available for Latex escapes (labels etc.)
1.134 + #1
1.135 +}}
1.136 +{}
1.137 +\lstdefinelanguage{Scala}{
1.138 + morekeywords={abstract,case,catch,class,def,%
1.139 + do,else,extends,false,final,finally,%
1.140 + for,if,implicit,import,match,mixin,%
1.141 + new,null,object,override,package,%
1.142 + private,protected,requires,return,sealed,%
1.143 + super,this,throw,trait,true,try,%
1.144 + type,val,var,while,with,yield},
1.145 + otherkeywords={=>,<-,<\%,<:,>:,\#,@},
1.146 + sensitive=true,
1.147 + morecomment=[l]{//},
1.148 + morecomment=[n]{/*}{*/},
1.149 + morestring=[b]",
1.150 + morestring=[b]',
1.151 + morestring=[b]"""
1.152 +}
1.153 +\lstnewenvironment{ScalaCode}[2][] % code environment for Scala
1.154 +{\noindent\minipage{\linewidth}
1.155 + \lstset{
1.156 + language=Scala,
1.157 + keywordstyle=\bfseries\color{color1},
1.158 + %identifierstyle=\ttfamily,
1.159 + commentstyle=\color{color2},
1.160 + stringstyle=\color{color3},
1.161 + showstringspaces=false,
1.162 + basicstyle=\ttfamily\footnotesize,
1.163 + numberstyle=\tiny\ttfamily\color{color6},
1.164 + numbers=left,
1.165 + numbersep=10pt,
1.166 + tabsize=2,
1.167 + breaklines=true,
1.168 + prebreak = \raisebox{0ex}[0ex][0ex]{\ensuremath{\hookleftarrow}},
1.169 + breakatwhitespace=false,
1.170 + aboveskip={1.5\baselineskip},
1.171 + columns=fixed,
1.172 + upquote=true,
1.173 + extendedchars=true,
1.174 + % frame=single,
1.175 + backgroundcolor=\color{color5},
1.176 + %literate=%
1.177 + % *{0}{{{\color[rgb]{1,0,0}0}}}1
1.178 + % {1}{{{\color[rgb]{1,0,0}1}}}1
1.179 + % {2}{{{\color[rgb]{1,0,0}2}}}1
1.180 + % {3}{{{\color[rgb]{1,0,0}3}}}1
1.181 + % {4}{{{\color[rgb]{1,0,0}4}}}1
1.182 + % {5}{{{\color[rgb]{1,0,0}5}}}1
1.183 + % {6}{{{\color[rgb]{1,0,0}6}}}1
1.184 + % {7}{{{\color[rgb]{1,0,0}7}}}1
1.185 + % {8}{{{\color[rgb]{1,0,0}8}}}1
1.186 + % {9}{{{\color[rgb]{1,0,0}9}}}1
1.187 + label={#1},
1.188 + caption={#2},
1.189 + captionpos=b,
1.190 + escapeinside={/+}{+/}% makes "/+" and "+/" available for Latex escapes (labels etc.)
1.191 +}}
1.192 +{\endminipage}
1.193 +\renewcommand{\lstlistingname}{Snippet} % Caption name
1.194 +
1.195 +%\newcommand{\isac}{\texorpdfstring{$\mathcal{I}\mkern-2mu\mathcal{S}\mkern-5mu\mathcal{AC}$}{Isac}}
1.196 +%\def\sisac{\texorpdfstring{{\footnotesize \isac{}}}{Isac}}
1.197 +\newcommand{\isac}{\textit{Isac}}
1.198 +\newcommand{\isabelle}{\textit{Isabelle}}
1.199 +\newcommand{\imlcode}[1]{{\ttfamily \begin{tabbing}#1\end{tabbing}}}
1.200 +
1.201 +%%%----------------------------------------------------------
1.202 +\begin{document}
1.203 +%%%----------------------------------------------------------
1.204 +
1.205 +% Einträge für ALLE Arbeiten: --------------------------------
1.206 +\title{Introducing Parallelism in an Educational Mathematics System Developed in a Functional Programming Language}
1.207 +\author{Mathias Lehnfeld}
1.208 +\studiengang{Interactive Media}
1.209 +\studienort{Hagenberg}
1.210 +\abgabedatum{2014}{06}{18} % {YYYY}{MM}{DD}
1.211 +\betreuer{Mag. Volker Christian} % oder \betreuerin{..}
1.212 +\betreuer{Dr. Walther Neuper} % oder \betreuerin{..}
1.213 +\firma{
1.214 + Institut für Informationssysteme und Computer Medien (IICM)\\
1.215 + Fakultät für Informatik - Technische Universität Graz\\
1.216 + \\
1.217 + Inffeldgasse 16c\\
1.218 + 8010 Graz - Österreich - Europa
1.219 +}
1.220 +
1.221 +%%%----------------------------------------------------------
1.222 +\frontmatter
1.223 +\maketitle
1.224 +\tableofcontents
1.225 +%%%----------------------------------------------------------
1.226 +
1.227 +% \include{declaration}
1.228 +\include{preface}
1.229 +\include{abstract}
1.230 +\include{kurzfassung}
1.231 +
1.232 +%%%----------------------------------------------------------
1.233 +\mainmatter % Hauptteil (ab hier arab. Seitenzahlen)
1.234 +%%%----------------------------------------------------------
1.235 +
1.236 +\include{introduction}
1.237 +\include{fundamentals}
1.238 +\include{funproglangs_mcsystems}
1.239 +\include{isabelle_isac}
1.240 +\include{conclusion}
1.241 +
1.242 +%%%----------------------------------------------------------
1.243 +%%%Anhang
1.244 +\appendix
1.245 +\include{appendix_a}
1.246 +\include{appendix_b}
1.247 +
1.248 +%%%----------------------------------------------------------
1.249 +\MakeBibliography
1.250 +%%%----------------------------------------------------------
1.251 +
1.252 +%%%Messbox zur Druckkontrolle
1.253 +%\include{messbox}
1.254 +
1.255 +\end{document}