Binary file cfopm.pdf has changed

--- a/cfopm.tex	Mon Apr 20 11:13:22 2015 +0900
+++ b/cfopm.tex	Mon Apr 20 11:43:51 2015 +0900
@@ -79,7 +79,9 @@
 % As a general rule, do not put math, special symbols or citations
 % in the abstract
 \begin{abstract}
-The abstract goes here.
+% FIXME: please check added abstract
+We propsed programming units which can be define meta computation.
+Meta computation of program modification is proposed using Monad.
 \end{abstract}
 
 % no keywords
@@ -139,7 +141,7 @@
 
 If you have a function f which domain is A and codomain is B,
     $ f :: A \rightarrow B $
-Then, there are meta function $ f^* $which codomain is T B.
+Then, there are meta function $ f^* $ which codomain is T B.
 In this way, normal computation and meta computation as one to one correspondence\cite{Moggi:1991:NCM:116981.116984}.
 Various computations such as partiality, nondeterminism, side-effects, exceptions and continuations are represented as Monads.
 
@@ -495,7 +497,7 @@
 % set second argument of \begin to the number of references
 % (used to reserve space for the reference number labels box)
 
-\nocite{agda, opac-b1092711, BarrM:cattcs, Girard:1989:PT:64805, JonesDuponcheel93}
+\nocite{opac-b1092711, BarrM:cattcs, Girard:1989:PT:64805, JonesDuponcheel93}
 \bibliographystyle{IEEEtran}
 \bibliography{IEEEabrv,reference}