Mercurial > hg > Papers > 2015 > atton-sigse

comparison sigse.tex @ 21:3ce3612218a0 v2.0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
v2.0
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Wed, 10 Dec 2014 16:23:19 +0900
parents afdab6523b42
children 973fadbd6687
comparison
equal deleted inserted replaced
20:afdab6523b42 21:3ce3612218a0
40 Shinji Kono\affiref{ie-ryukyu}} 40 Shinji Kono\affiref{ie-ryukyu}}
41 41
42 % 和文概要 42 % 和文概要
43 \begin{abstract} 43 \begin{abstract}
44 任意のプログラムに対して形式手法が適用可能であるべきであると考える． 44 任意のプログラムに対して形式手法が適用可能であるべきであると考える．
45 そのために，任意のプログラムに対して対話的に形式手法が適用可能な処理系を考えたい． 45 そのために，全てのプログラムへ形式手法が対話的に実行できる処理系を考えたい．
46 その処理系が実行するプログラムに記述するべき情報量とプログラムに対する制約の強度について興味がある． 46 その処理系が実行するプログラムに記述するべき情報量とプログラムに対する制約の強度について興味がある．
47 \end{abstract} 47 \end{abstract}
48 % 英文概要 48 % 英文概要
49 \begin{eabstract} 49 \begin{eabstract}
50 I think any program must be check by formal methods. 50 I think any program must be check by formal methods.