Merge branch 'master' of https://github.com/DSLsofMath/BScProj2018

Author: Oskar Lundström

Rapport/include/Diskussion.tex

@@ -8,7 +8,7 @@ \chapter{Diskussion}
 fysik inte var något vi visste när projektet startade. En stor del av arbetet i
 början av projektet ägnades därför åt att försöka komma på olika sätt att
 använda dem ihop med olika fysikaliska områden. Det gjordes många experiment
-innan vi hittade ett sätt att skapa domänspecifika språk till fysik som var annat än
+innan vi hittade ett sätt att skapa domänspecifika språk för fysik som var annat än
 triviala implementationer av formler, till exempel att formlen för
 rörelseenergi, $E_k = \frac{mv^2}{2}$, kan skrivas som \texttt{ek m v = m * v *
 v / 2} i Haskell. Detta experimenterande ledde till att
@@ -85,10 +85,9 @@ \section{Resultatdiskussion}\label{sec:res_disk}
 ord har mekanik påbörjats, men inte termodynamik eller vågrörelselära. Det som återstår enligt oss när det kommer till mekanik är att tillämpa de grundläggande områdena på
 fler fysikaliska problem utöver gungbräda och krafter på lådor. Vi tror att de
 tre grundläggande områdena som är färdiga räcker. Förutom fler tillämpningar kan
-mer fördjupande områden implementeras, till exempel bevisföring, något som redan påbörjats, se 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.
+mer fördjupande områden implementeras, till exempel bevisföring, något som redan
+påbörjats, se avsnitt~\ref{sec:res_laromaterial}.
+%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.
 
 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.
@@ -187,7 +186,7 @@ \subsection{Lämpliga områden för domänspecifika språk}\label{sec:lampligt}
 och lämpar sig därmed väl för implementering i Haskell som är ett språk med nära
 anknytning till matematik. En annan sak som dessa områden hade
 gemensamt var en tydlig syntax och en fix struktur som bestod av ``data och
-operationer'' (data i bemärkelsen som ett matematiskt objekt för ett område). Tabell~\ref{tab:data_och_ops} visar några exempel på områden med
+operationer''. Tabell~\ref{tab:data_och_ops} visar några exempel på områden med
 sina data och operationer.
 
 \captionsetup[figure]{name=Tabell}
@@ -230,7 +229,7 @@ \subsection{Lämpliga områden för domänspecifika språk}\label{sec:lampligt}
 denna operation samma slags data både in och ut.}\label{fig:analys_op_exempel}
 \end{figure}
 
-Den fixa strukturen kombinerat med data och operationer gör det enkelt att
+Den fixa strukturen kombinerat med data och operationer\todo{?} gör det enkelt att
 modellera dessa områden med datatyper i Haskell. Datatyper har nämligen också en
 fix form. Dessutom blir relationen mellan data och operationer i fysik och
 datatyper och funktioner i Haskell tydligare, vilket illustreras i
@@ -250,7 +249,7 @@ \subsection{Lämpliga områden för domänspecifika språk}\label{sec:lampligt}
   motsvarande implementation i Haskell (undre raden). Implementationen kommer
 från det resulterande läromaterialet. Mer om implementationen finns att läsa i
 avsnitt~\ref{sec:grund_impl}}\label{fig:haskell_fysik_likhet}
-\end{figure}
+\end{figure}\todo{Figur ligger fel enligt Exam}
 
 Anledningen till att vi tycker att dessa drag gör ett område mer eller
 mindre lämpat för ett domänspecifikt språk kommer från det val vi gjorde tidigt
@@ -300,7 +299,7 @@ \subsection{Lämpliga områden för domänspecifika språk}\label{sec:lampligt}
 känna till vilka samband som gäller, men det är framförallt viktigt att veta när de ska
 användas och hur de ska tillämpas på olika typer av uppgifter. Vi behandlar
 därför områden som lutande plan genom att lösa exempeluppgifter modellerade i de
-tidigare domänspecifika språk. De tidigare språken tillhandahåller de matematiska
+tidigare domänspecifika språken. De tidigare språken tillhandahåller de matematiska
 verktyg som behövs för att koda upp lösningar av problem. Därav innehåller det
 resulterande läromaterialet, som beskrivs i avsnitt~\ref{sec:res_laromaterial},
 inga domänspecifika språk för fysikaliska problem.
@@ -309,9 +308,9 @@ \subsection{Lämpliga områden för domänspecifika språk}\label{sec:lampligt}
 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
 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
-grundläggande områdena.
+komposita områden, som beskrevs i avsnitt~\ref{sec:valet}, så att fysikaliska
+områden (som blev komposita) kunde behandlas som tillämpningar av
+grundläggande områden.
 
 \subsection{Domänspecifika språk, fysik och pedagogiska aspekter}\label{sec:bara_fysik}
 
@@ -323,7 +322,7 @@ \subsection{Domänspecifika språk, fysik och pedagogiska aspekter}\label{sec:ba
 detta, se även avsnitt~\ref{sec:grund_impl}. Där konstateras att en godtycklig
 dimension kan skrivas som de sju grunddimensionerna med tillhörande exponenter.
 Eftersom dimensionerna måste definieras så tydligt att det går att göra ett
-program av det tvingas struktur att ges till dem, vilket ger ett nytt,
+program av det tvingas struktur att ges till dem\todo{Formulera om}, vilket ger ett nytt,
 välstrukturerat och förhoppningsvis enklare sätt att se på dem, vilket vi själva
 tycker är meningsfullt.
 
@@ -336,10 +335,10 @@ \subsection{Domänspecifika språk, fysik och pedagogiska aspekter}\label{sec:ba
 och att det inte bara är fysik och matematik som är lämpliga områden utan att
 den generella idén som vi presenterar i denna rapport även går att applicera på
 andra områden. Nyttan att strukturera upp områden i väl avgränsade och
-tydligt definierade delar kanske anses som uppenbar, men frågan om med vilket
-verktyg som ska utföra detta är inte lika uppenbar. Vi hävdar att domänspecifika
+tydligt definierade delar kanske anses som uppenbar, men frågan om vilket
+verktyg som ska användas för detta är inte lika uppenbar. Vi hävdar att domänspecifika
 språk är ett sådant verktyg och att det även är ett mycket bra verktyg att
-använda sig av.
+använda sig av. \todo{Hur gick det för den andra gruppen?}
 
 En annan aspekt är att när de domänspecifika språken används till fysikalisk
 problemlösning måste det ske enligt de regler som ställdes upp när de
@@ -352,7 +351,7 @@ \subsection{Domänspecifika språk, fysik och pedagogiska aspekter}\label{sec:ba
 Det som talar emot
 domänspecifika språk när det kommer till fysik är den stora del av problemlösning
 som ingår i fysik. Det har att göra med deras olika natur. Domänspecifika språk
-har en entydig och fyrkantig struktur medan problemlösning handlar om
+har en entydig och fyrkantig struktur\todo{?} medan problemlösning handlar om
 kreativitet och nytänkande för att bygga upp modeller. Eftersom en stor del i fysik är just problemlösning
 kan denna del inte fångas upp med domänspecifika språk. Det skulle till och med
 kunna vara en nackdel att kombinera domänspecifika språk och fysik om det leder
@@ -361,7 +360,7 @@ \subsection{Domänspecifika språk, fysik och pedagogiska aspekter}\label{sec:ba
 möjligheter, även om inte alla aspekter av fysik kan täckas.
 
 Det går också att
-tänka sig att det finns ett värde i omsluta den kreativa problemlösningen
+tänka sig att det finns ett värde i att omsluta den kreativa problemlösningen
 med ett fyrkantigt system och på så sätt stoppa problemlösaren från att göra
 misstag. På ett förenklat sätt går det att säga att så länge typsystemet inte klagar
 betyder det att problemlösaren löser problemet på ett korrekt sätt. Igen handlar det om att se
@@ -375,12 +374,12 @@ \subsection{Domänspecifika språk, fysik och pedagogiska aspekter}\label{sec:ba
 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. Genom att enbart ha fokus på fysik är det möjligt att fysiken i sig förklarats bättre än vad den gör nu. Ett
-läromaterial om renodlad fysik med ett lättsamt språk och nogrann förklaring av
-koncepten hade säkert varit uppskattat. Khan Academy är ett sådant
-exempel~\cite{khan} och som är mycket uppskattat. En annan fördel hade varit att en större målgrupp kan nås.
+noggrann genomgång av koncepten. Genom att enbart ha fokus på fysik är det möjligt att fysiken i sig förklarats bättre än vad den gör nu. Ett
+läromaterial om renodlad fysik med ett lättsamt språk och noggrann förklaring av
+koncepten hade säkert varit uppskattat. Khan Academy\todo{Är det renodlad fysik?} är ett sådant
+exempel~\cite{khan} som är mycket uppskattat. En annan fördel hade varit att en större målgrupp kan nås.
 Men då förlorar vi de saker domänspecifika språk bidrar med, nämligen det som
-diskuterats ovan: att ge struktur och att lära ut ett rigoröst tankesätt. Även den \textit{intresseväckande} potentialen försvinner.
+diskuterats ovan: att ge struktur och att lära ut ett rigoröst tankesätt. Även den \textit{intresseväckande} potentialen försvinner.\todo{Varför?}
 
 Domänspecifika språk kan ses som ett sätt göra fysik intressantare. Tycker en student
 att domänspecifika språk är roligt men inte fysik skulle en överbryggning av dem

Rapport/include/Resultat.tex

@@ -50,7 +50,7 @@ \subsection{Översikt}
 Typnivåprogrammering\footnote{Vanligtvis manipuleras \textit{värden} när
 programmerering sker i Haskell och andra språk. Typnivåprogrammering är precis som
 vanlig programmering med skillnaden att den sker på typnivån, det vill säga, att
-typer modifieras. Läromaterialet~\cite{LYAP} hänvisas till för en utförligare
+typer modifieras. Läsaren hänvisas till läromaterialet~\cite{LYAP} för en utförligare
 förklaring.} används för att göra likheterna så tydliga som möjligt.
 
 I \textit{matematisk analys} behandlas differentialkalkyl och
@@ -71,7 +71,12 @@ \subsection{Översikt}
 användes för att verifiera lagarna som gäller för olika vektoroperationer,
 vilket gav en generell säkerhet kring att implementationerna var korrekta.
 
-I \textit{exempelproblem} tillämpas de tre tidigare kapitlen på två vanliga mekanikproblem, nämligen \textit{krafter på lådor} och \textit{gungbräda}. I krafter på lådor används det domänspecifika språket för vektorer till att beräkna de krafter som verkar på en låda som glider ner för ett plan. I gungbräda visas hur momentjämviktsberäkningar kan göras med det domänspecifika språket för dimensioner.
+I \textit{exempelproblem} tillämpas de tre tidigare kapitlen på två vanliga
+mekanikproblem, nämligen \textit{krafter på lådor} och \textit{gungbräda}. I
+krafter på lådor används det domänspecifika språket för vektorer till att
+beräkna de krafter som verkar på en låda som glider ner för ett plan. I
+gungbräda visas hur momentjämviktsberäkningar kan göras med det domänspecifika
+språket för dimensioner. \todo{Stämmer inte längre, kan Björn uppdatera?}
 
 \textit{Partikelmekanik}. En repetition av gymnasieskolans fysik.
 Lägesenergi, rörelseenergi, gravitation och så vidare. Den modelleras med vektorer vars
@@ -170,7 +175,7 @@ \section{Utvärderingen med testgruppen}\label{sec:res_test}
 Utfallet från utvärderingen med testgruppen var till övervägande del positivt.
 Testgruppen tyckte läromaterialet var ett intressant och roligt sätt att
 presentera fysik på. De tyckte att bilderna tjänade sitt syfte i att muntra upp
-läsaren.
+läsaren. \todo{Hade de klarat kursen?}
 
 En poäng som framfördes var att inte börja kapitlen för komplicerat. Istället
 tyckte de att det skulle vara bra att börja enkelt, för att kunna hänga med i
@@ -193,15 +198,15 @@ \section{Möten med fysikläraren}\label{sec:res_ake}
 hjälp av domänspecifika språk. En annan sak var den rigorösitet som
 domänspecifika språk leder till, eftersom de domänspecifika språken måste vara
 väldefinierade betyder det att alla fysikaliska koncept måste göras entydiga så
-att även de blir väldefinierade och följden blir att operationerna på dem kan
-enbart göras på det definierade sättet. Inget fusk kan göras i
+att även de blir väldefinierade och följden blir att operationerna på dem
+enbart kan göras på det definierade sättet. Inget fusk\todo{Utveckla om fusk} kan göras i
 beräkningarna - alla steg måste vara fullständiga och följa de regler som finns.
 Fäldt menade att det var en bra egenskap hos läromaterialet, att detta rigorösa
 tankesätt och metodik som förmedlas hade varit till nytta för problemlösning i
 fysikkursen.
 
 Förutom ovanstående framgick även vilka områden i Fysik för ingenjörer som var
-svåra för studenter. Detta finns redovisat i avsnitt~\ref{sec:kontakt_faldt}
+svåra för studenter. Detta finns redovisat i avsnitt~\ref{sec:kontakt_faldt}.
 
 \section{Möte med programansvarig och datas nämnd för studier}
 

Rapport/include/Slutsatser.tex

@@ -4,7 +4,7 @@ \chapter{Slutsatser}
 Projektets mål var att konstruera ett läromaterial som modellerar fysik med
 hjälp av domänspecifika språk samt att diskutera hur väl det fungerar och om det finns en
 pedagogisk nytta i det. Bakgrunden låg i att projektgruppen ville väcka intresse
-för fysik hos datastudenter genom att presentera det ur ett 
+för fysik hos datastudenter genom att presentera det ur ett
 programmeringsperspektiv. Det skulle förhoppningsvis kunna förbättra den mindre
 bra tentastatistiken i kursen Fysik för ingenjörer.
 
@@ -21,13 +21,16 @@ \chapter{Slutsatser}
 Den rigorösa struktur som Haskell tvingar en att använda ger inte utrymme för en
 student att hoppa över delar av förståelsen för ett fysikproblem. Istället
 tvingas studenten att implementera hela lösningen från grunden och detta kan
-ge en djupare förståelse för problemet och fysiken i stort. 
+ge en djupare förståelse för problemet och fysiken i stort.
 
 Det faktiska resultatet från detta tillvägagångssätt, läromaterialet,
 testades av en testgrupp. Från denna grupp fick vi mycket positiv kritik och de
 tyckte att läromaterialet var pedagogiskt, roligt och intressant. Men för att
-verkligen kunna dra några slutsatser från detta krävs en mycket mer nogrann
+verkligen kunna dra några slutsatser från detta krävs en mycket mer noggrann
 undersökning huruvida studenter blir bättre på fysik med hjälp av ett
 läromaterial av detta slag.
 
-Till sist vill vi säga vi anser att det material vi har producerat har följt våra mål väl eftersom det är roligt, lättläst och intressant. Och även om den pedagogiska nyttan av materialet inte är ordentligt testat tycker vi alla i projektgruppen att vi har dragit stor nytta av att utveckla det.
+Till sist vill vi säga vi anser att det material vi har producerat har följt
+våra mål väl eftersom det är roligt, lättläst och intressant. Och även om den
+pedagogiska nyttan av materialet inte är ordentligt testat tycker vi alla i
+projektgruppen att vi har dragit stor nytta av att utveckla det.