# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1429521774 -32400
# Node ID d79ef5de88582fdbab3e603083b1c05644e4f5fe
# Parent  5cc6bd09b74c7233deda07a5f57ea966d4095e00
fix abstract

diff -r 5cc6bd09b74c -r d79ef5de8858 cfopm.tex
--- a/cfopm.tex	Mon Apr 20 11:43:51 2015 +0900
+++ b/cfopm.tex	Mon Apr 20 18:22:54 2015 +0900
@@ -80,8 +80,11 @@
 % in the abstract
 \begin{abstract}
 % FIXME: please check added abstract
-We propsed programming units which can be define meta computation.
-Meta computation of program modification is proposed using Monad.
+We propsed programming units called code segments and data segments.
+These are parts of code and data. It is designed to be work with
+meta compution. To represent meta compuation, Monad is used.
+As an example, we define multi versions of programs
+as a Monad.
 \end{abstract}
 
 % no keywords