annotate paper/chapter1.tex @ 6:37efb7dc0bda

describe introduciton
author Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
date Sun, 19 Jan 2014 10:55:59 +0900
parents 658281be77ec
children f354d23bd80d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
37efb7dc0bda describe introduciton
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 5
diff changeset
1 \chapter{Haskellとは} \label{ch:haskell}
5
658281be77ec describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
2 Haskellとは純粋関数型プログラミング言語である。
2
d8b94e828d79 add tex files
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
5
658281be77ec describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
4 \section{関数型プログラミング}
658281be77ec describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
5 関数型プログラミング言語では、引数を関数に作用させていくことで計算を行う。
658281be77ec describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
6 Haskellは純粋であり、参照透過性を持つ。
658281be77ec describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
7 参照透過性という性質は、引数が同じならば関数は必ず同じ値を返すことを保証する。
658281be77ec describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
8 \section{データ型}
658281be77ec describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
9 \section{Monad}
658281be77ec describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
10 \section{並列実行}