# HG changeset patch
# User Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
# Date 1391445136 -32400
# Node ID 8d934599d0c56c977b8444ed97e465c536b06c98
# Parent  909c9097ebb83e64d52adadfd299b2cc906c20a6
replace pdf

diff -r 909c9097ebb8 -r 8d934599d0c5 paper/chapter1.tex
--- a/paper/chapter1.tex	Tue Feb 04 01:27:03 2014 +0900
+++ b/paper/chapter1.tex	Tue Feb 04 01:32:16 2014 +0900
@@ -211,7 +211,7 @@
 失敗するかもしれない計算を繋いでいくとはどういうことなのか。
 単純な関数を定義して更に説明していく。
 
-\begin{lstlisting}[caption=up, down関数]
+\begin{lstlisting}[caption=up関数とdown関数]
 up 4 = Nothing
 up n = Just (n + 1)
 
@@ -229,7 +229,7 @@
 また、case は式のため、$->$ の右の部分の全ての型は一意である必要がある。
 Haskell では分岐によって返ってくる値の型が異なるということはできない。
 
-\begin{lstlisting}[caption=Maybe モナドを使わずにup, downを行う]
+\begin{lstlisting}[caption=Maybeモナドを使わずにupとdownを行う]
 updown :: Maybe Int
 updown = case down 3 of
             Nothing -> Nothing
@@ -244,7 +244,7 @@
 毎回、失敗したか成功したか確認するために非常に煩雑なコードとなってしまった。
 これを文脈を保ったまま、関数を繋げられる モナドを使えば以下のように記述できる。
 
-\begin{lstlisting}[caption=Maybe モナドを用いてup, downを行う]
+\begin{lstlisting}[caption=Maybeモナドを用いてupとdownを行う]
 return 3 >>= down >>= down >>= up >>= up
 \end{lstlisting}
 
diff -r 909c9097ebb8 -r 8d934599d0c5 paper/master_paper.pdf
Binary file paper/master_paper.pdf has changed