# HG changeset patch
# User atsuki
# Date 1203545924 -32400
# Node ID 3a8e2059e7135175318da40ec4bb72fb2ccfe1b4
# Parent  e9e64f24de9b4bf894a230b342688ee4a89b5548
*** empty log message ***

diff -r e9e64f24de9b -r 3a8e2059e713 paper/chapter4.tex
--- a/paper/chapter4.tex	Wed Feb 20 22:56:27 2008 +0900
+++ b/paper/chapter4.tex	Thu Feb 21 07:18:44 2008 +0900
@@ -268,7 +268,7 @@
 検証系を生成する。したがって、PROMELAのような別な言語に
 変換する必要はない。それは、つまり、新しい言語を習得する
 必要がないということである。CbC言語は、Cのサブセットなので、
-Cを理解しているプログラマには用意に理解できる。これは
+Cを理解しているプログラマには容易に理解できる。これは
 CbCによる検証の利点である。
 
 [同期の抽象度]