diff paper/chapter1.tex @ 5:658281be77ec

describe the abstract
author Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
date Sun, 19 Jan 2014 09:35:05 +0900
parents d8b94e828d79
children 37efb7dc0bda
line wrap: on
line diff
--- a/paper/chapter1.tex	Sat Dec 28 11:59:35 2013 +0900
+++ b/paper/chapter1.tex	Sun Jan 19 09:35:05 2014 +0900
@@ -1,4 +1,10 @@
-\chapter{序論}
+\chapter{Haskellとは}
+Haskellとは純粋関数型プログラミング言語である。
 
-\section{はじめに}
-はじめに
+\section{関数型プログラミング}
+関数型プログラミング言語では、引数を関数に作用させていくことで計算を行う。
+Haskellは純粋であり、参照透過性を持つ。
+参照透過性という性質は、引数が同じならば関数は必ず同じ値を返すことを保証する。
+\section{データ型}
+\section{Monad}
+\section{並列実行}