Slutgiltiga småfixar

Author: erikdsjostrom

Rapport/include/Diskussion.tex

@@ -40,7 +40,7 @@ \section{Genomförandediskussion}
 som stöd ytterst osäkra.
 
 Det går även att kritisera hur urvalet av områden gick till under projektet.
-Dels kan det ha lett till att endast några få domänspecifika språk för fysik 
+Dels kan det ha lett till att endast några få domänspecifika språk för fysik
 implementerades, se diskussionen i avsnitt~\ref{sec:fpf}. Dels skedde urvalet ur
 implementatörens perspektiv (det vill säga, vårt) och inte ur användarens
 perspektiv (studenten som ska nyttja läromaterialet). Med det menar vi att
@@ -94,7 +94,7 @@ \section{Resultatdiskussion}\label{sec:res_disk}
 nämndes i avsnitt~\ref{sec:res_laromaterial} att det påbörjats. Det är dock värt
 att nämna att vi är mycket nöjda med det material som vi har producerat. Våra
 kapitel är väl avgränsade, utformade och implementerade på det sätt som vi
-anser att de bör. 
+anser att de bör.
 
 En annan del av målet var att läromaterialet skulle vara lättillgängligt genom
 sitt språkbruk, publicering på en hemsida och fri tillgång till källkoden.
@@ -132,7 +132,7 @@ \subsection{Om läromaterialets fokus på matematik och Haskell snarare än
 Målet med läromaterialet var att lära ut fysik på ett roligt och lättförståeligt
 sätt. Dock syns det i resultatet, avsnitt~\ref{sec:res_laromaterial}, att det
 stora fokuset lagts på att förklara och lära ut matematik och Haskell. Varför
-blev det så? Vi menar att det finns flera anledningar till detta. 
+blev det så? Vi menar att det finns flera anledningar till detta.
 
 Problemet med att prata om en egen implementation av fysik är att fysik inte är
 ett helt eget område. Det är snarare så att fysik kan ses som tillämpad
@@ -149,7 +149,7 @@ \subsection{Om läromaterialets fokus på matematik och Haskell snarare än
   \href{https://xkcd.com}{xkcd.com} licensierad under
 \href{https://creativecommons.org/licenses/by-nc/2.5/}{CC BY-NC}. Bilden beskriver hur fysik är en tillämpning av matematik. Det är i själva verket
 så att en kedja av områden kan betraktas som tillämpningar av
-varandra.}\label{fig:xkcd} 
+varandra.}\label{fig:xkcd}
 \end{figure}
 
 Självklart ingår det också en stor del problemlösning inom fysik, den faktiska
@@ -162,7 +162,7 @@ \subsection{Om läromaterialets fokus på matematik och Haskell snarare än
 eftersom ett syfte med läromaterialet var att väcka intresse hos läsaren med
 bakgrund inom Haskell så ville vi lägga fokus på att tydligt visa
 parallellerna mellan funktionell programmering, matematik och implementationen
-av fysik. 
+av fysik.
 
 Vi hävdar alltså att fokuset lagts på mer än bara fysik av två skäl: att fysik är tillämpad matematik och att det är viktigt att förklara de Haskell-koncept som används. Men måste
 det vara så? Det kan mycket väl vara så att detta fokusskifte har skett på grund
@@ -202,7 +202,7 @@ \subsection{Vilka områden passar domänspecifika språk?}\label{sec:lampligt}
 
 \begin{figure}[tph]
 \centering
-\caption{Exempel på data och operationer i några domänspecifikaspråk.}\label{tab:data_och_ops} 
+\caption{Exempel på data och operationer i några domänspecifikaspråk.}\label{tab:data_och_ops}
 \begin{tabular}{l|l}
 \toprule
 DSL / data & Exempel på operationer \\ \midrule
@@ -281,7 +281,7 @@ \subsection{Vilka områden passar domänspecifika språk?}\label{sec:lampligt}
 vektorer i flera dimensioner eller vektorer vars komponenter kan vara av vilken
 typ som helst.
 
-Ett exempel på ett område som inte har några tydliga data och operationer är 
+Ett exempel på ett område som inte har några tydliga data och operationer är
 lutande plan. Ett sådant område har istället teoretiska samband som relaterar
 olika egenskaper i systemet till varandra. Ett sådant samband är till exempel $a
 = g \cdot \sin(v)$ för det lutande planet i figur~\ref{fig:lutande_plan}.
@@ -316,7 +316,7 @@ \subsection{Vilka områden passar domänspecifika språk?}\label{sec:lampligt}
 
 Att vissa områden var mindre lämpliga var ett oväntat resultat i projektets
 genomförande. Vid start trodde vi att det skulle gå att göra domänspecifika
-språk för alla områden, såväl matematiska som fysikaliska, men som vi 
+språk för alla områden, såväl matematiska som fysikaliska, men som vi
 diskuterat här gick inte det. Istället gjordes uppdelningen mellan grundläggande och
 komposita områden, som beskrevs i avsnitt~\ref{sec:valet}, så att de fysikaliska
 områden (som blev komposita) kunde behandlas som tillämpningar av de
@@ -342,7 +342,7 @@ \subsection{Gör domänspecifika språk att fysik blir mer lättförståeligt?}\
 År 2016 genomfördes ett kandidatarbete på Chalmers liknande
 detta~\cite{kandidat2016}. Det kandidatarbetet resulterade också i ett
 läromaterial. Skillnaden är att det handlade om signallära medan detta handlar
-om fysik. Grundidèen är dock densamma: att använda domänspecifika språk för att
+om fysik. Grundidén är dock densamma: att använda domänspecifika språk för att
 ge struktur till ett annat område.  Detta tycker vi visar på att det finns ett
 akademiskt intresse för att använda domänspecifika språk i syfte att lära ut,
 och att det inte bara är fysik och matematik som är lämpliga områden utan att
@@ -370,7 +370,7 @@ \subsection{Gör domänspecifika språk att fysik blir mer lättförståeligt?}\
 kunna vara en nackdel att kombinera domänspecifika språk och fysik om det leder
 till att man tänker alltför fyrkantigt kring fysik. Vi anser dock att
 domänspecifika språk har ett värde ihop med fysik just för dessa strukturgivande
-möjligheter, även om inte alla aspekter av fysik kan täckas. 
+möjligheter, även om inte alla aspekter av fysik kan täckas.
 
 Man kan också
 tänka sig att det finns ett värde i omsluta den kreativa problemlösningen
@@ -387,7 +387,7 @@ \subsection{Gör domänspecifika språk att fysik blir mer lättförståeligt?}\
 Projektets läromaterial är ett exempel på ett sådant försök. Men läromaterialet
 har även haft två andra drag förutom domänspecifika språk, som skiljer sig från
 traditionell fysikundervisning, nämligen ett lättillgängligt språk och en
-nogrann genomgång av koncepten. Hade inte detta räckt? Hade inte fysiken i sig 
+nogrann genomgång av koncepten. Hade inte detta räckt? Hade inte fysiken i sig
 kunnat förklarats bättre om den haft allt fokus?
 
 Vi tror att svaret på båda dessa frågor är ja, med vissa reservationer. Ett
@@ -483,7 +483,7 @@ \section{Etiska aspekter}
 hemsidans uppbyggnad.  Det handlar om transparens, att visa att man är positiv till att andra
 tittar på hur man gjort och låta dem bygga vidare på ens skapelser. Genom att
 sluta oss till skaran som skapar öppen källkod hoppas vi att fler inom samhället
-i stort ska gå över till denna modell. 
+i stort ska gå över till denna modell.
 
 Valet att skriva på engelska har också att göra med tillgängligheten. Fler kan
 engelska än svenska. På detta sätt kan läromaterialet komma fler till gagn.

Rapport/include/Introduktion.tex

@@ -21,7 +21,7 @@ \section{Bakgrund}
 
 DSLsofMath-kursens skapare, Cezar Ionescu och Patrik Jansson, har beskrivit avsikten med kursen i en artikel~\cite{tfpie2015}. Det direkta målet med kursen är
 att förbättra den matematiska utbildningen för datavetare och den
-datavetenskapliga utbildningen för matematiker, där den grundläggande idéen
+datavetenskapliga utbildningen för matematiker, där den grundläggande idén
 bakom kursen är:
 
 \begin{center} ``[\dots] att uppmuntra studenterna att närma sig matematiska
@@ -39,7 +39,7 @@ \section{Bakgrund}
 programmeringsspråk eller implementerat helt fristående. I kursen och projektet
 är de implementerade i Haskell.
 
-Idéen bakom projektet är att använda domänspecifika språk för att ur ett alternativt perspektiv presentera fysik. Likt det sätt DSLsofMath
+Idén bakom projektet är att använda domänspecifika språk för att ur ett alternativt perspektiv presentera fysik. Likt det sätt DSLsofMath
 presenterar kopplingar mellan matematik och programmering ska projektet på motsvarande sätt visa på kopplingar mellan programmering och fysik och därmed
 underlätta lärandet. För att förtydliga ges här en analogi:
 
@@ -69,7 +69,7 @@ \section{Bakgrund}
 mekanik, med början i Lagranges ekvationer och avslut i perturbationsteori
 (teori för approximationer av matematiska lösningar). I kursens bok~\cite{SICM}
 förklaras fysikaliska fenomen genom att visa datorprogram för att simulera dem,
-skrivna i språket Scheme. Denna typ av kurser ter sig ovanliga och är, till
+skrivna i språket Scheme. Denna typ av kurser är sig ovanliga och är, till
 projektgruppens kännedom, den enda kursen bortsett från DSLsofMath  som knyter
 samman fysik, programmering och matematik på en symboliskt nivå för att förklara
 koncepten.
@@ -84,7 +84,7 @@ \section{Bakgrund}
 
 \section{Projektets mål}
 
-Målet med detta kandidatarbete är att angripa fysik från ett 
+Målet med detta kandidatarbete är att angripa fysik från ett
 programmeringsperspektiv. Förhoppningen är då att fysik ska bli både
 roligare och intressantare för datastudenter, och därmed också
 enklare. Detta liknar premissen bakom kursen DSLsofMath och kandidatarbetet
@@ -129,4 +129,3 @@ \section{Avgränsningar}\label{sec:avgransningar}
 intressanta och nya, inte hur man kan skriva ett pedagogiskt läromaterial. Den
 pedagogiska aspekten kommer inte ignoreras helt, fokuset på den kommer bara att
 vara mindre.
-

Rapport/include/frontmatter/Acknowledgements.tex

@@ -3,7 +3,7 @@ \section*{Förord}
 
 Denna rapport behandlar kandidatarbetet \textit{Matematikens domänspecifika språk},
 som genomfördes på Chalmers tekniska högskola under vårterminen 2018. Vi som har
-utfört detta kandidatarbete är tre studenter från civilingengörsprogrammet
+utfört detta kandidatarbete är tre studenter från civilingenjörsprogrammet
 Datateknik vid Chalmers tekniska högskola och en student från det
 datavetenskapliga programmet vid Göteborgs universitet.
 
@@ -20,7 +20,7 @@ \section*{Förord}
 Slutligen vill vi tacka Miran Lipovača vars hemsida ``Learn You a
 Haskell for Great Good!'' har både inspirerat utformningen av vår hemsida och
 agerat som ett läromaterial för våra egna inledande studier av det fantastiska
-programmeringsspråket Haskell. 
+programmeringsspråket Haskell.
 
 \vspace{1.5cm}
 \hfill