Binary file sigse.pdf has changed

--- 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}
 % 英文概要