# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1418196199 -32400
# Node ID 3ce3612218a0120a9a3693f25c6294448b2423fd
# Parent  afdab6523b428c1a641cc9caf1f7c8e0e2437112
v2.0

diff -r afdab6523b42 -r 3ce3612218a0 sigse.pdf
Binary file sigse.pdf has changed
diff -r afdab6523b42 -r 3ce3612218a0 sigse.tex
--- a/sigse.tex	Wed Dec 10 16:18:01 2014 +0900
+++ b/sigse.tex	Wed Dec 10 16:23:19 2014 +0900
@@ -42,7 +42,7 @@
 % 和文概要
 \begin{abstract}
 任意のプログラムに対して形式手法が適用可能であるべきであると考える．
-そのために，任意のプログラムに対して対話的に形式手法が適用可能な処理系を考えたい．
+そのために，全てのプログラムへ形式手法が対話的に実行できる処理系を考えたい．
 その処理系が実行するプログラムに記述するべき情報量とプログラムに対する制約の強度について興味がある．
 \end{abstract}
 % 英文概要