changeset 26:3a8e2059e713

*** empty log message ***
author atsuki
date Thu, 21 Feb 2008 07:18:44 +0900
parents e9e64f24de9b
children c1ef5abc2bb7
files paper/chapter4.tex
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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による検証の利点である。
 
 [同期の抽象度]