Mercurial > hg > Papers > 2015 > atton-sigse

changeset 38:59a2558b7ae0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add abstract
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Wed, 24 Dec 2014 13:15:28 +0900
parents 6ed6084454c1
children a83ebf0ea5e8
files sigse.pdf sigse.tex
diffstat 2 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
Binary file sigse.pdf has changed
--- 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: 研究の内容
 
 %}{