# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1419394528 -32400
# Node ID 59a2558b7ae05bd5f578a5ce58490ab42c7be27c
# Parent  6ed6084454c1b154d5e45d2008045ac00843ff06
Add abstract

diff -r 6ed6084454c1 -r 59a2558b7ae0 sigse.pdf
Binary file sigse.pdf has changed
diff -r 6ed6084454c1 -r 59a2558b7ae0 sigse.tex
--- a/sigse.tex	Wed Dec 24 13:07:22 2014 +0900
+++ b/sigse.tex	Wed Dec 24 13:15:28 2014 +0900
@@ -38,11 +38,15 @@
         Shinji Kono\affiref{ie-ryukyu}}
 
 \begin{abstract}
-講義や卒業研究を通して形式手法を学び始めた1年ほどの過程と，その中で思ったことを述べます． -- TODO
+形式手法を広めるには，手軽に何度も試行できるようにするのが重要だと思っています．
+試行を繰り返すことにより，問題の変換や詳細の把握，問題の分割などが行なえるからです．
+さらに，試行のたびに必要なコストや必要な情報などを提示できれば，試行の繰り返しによりコストの最適化なども行なえます．
+また，試行を繰り返すことの重要性を指摘するに至った，私が形式手法を学び始めた1年ほどの過程を述べます．
 \end{abstract}
 
 % 表題などの出力
 \maketitle
+TODO: 研究の内容
 
 %}{