--- a/slides/20160726/slide.html	Tue Jul 26 18:05:49 2016 +0900
+++ b/slides/20160726/slide.html	Tue Aug 02 18:06:00 2016 +0900
@@ -86,7 +86,7 @@
 <!-- === begin markdown block ===
 
       generated by markdown/1.2.0 on Ruby 2.3.0 (2015-12-25) [x86_64-darwin14]
-                on 2016-07-26 18:05:47 +0900 with Markdown engine kramdown (1.9.0)
+                on 2016-08-02 18:05:57 +0900 with Markdown engine kramdown (1.9.0)
                   using options {}
   -->
 
@@ -94,8 +94,8 @@
 <h1 id="section">研究目的</h1>
 <ul>
   <li>ソフトウェアの信頼性を向上させたい</li>
+  <li>特にソフトウェアの実装そのものをチェックしたい</li>
   <li>ソフトウェアが仕様を常に満たすことを保証することで信頼性を確保する</li>
-  <li>特に動作するソフトウェアを検証したい</li>
   <li>計算を拡張するメタ計算として検証機構を導入し、ソフトウェアの記述を変更せずに検証を行なう</li>
 </ul>