Mercurial > hg > Members > atton > generated_seminar_slides

comparison slides/20160726/slide.html @ 130:77fdc33a13be

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 02 Aug 2016 18:06:00 +0900
parents d3c164c589c7
children e0f35df4a57f
comparison
equal deleted inserted replaced
129:d3c164c589c7 130:77fdc33a13be
84 84
85 <div class='slide '> 85 <div class='slide '>
86 <!-- === begin markdown block === 86 <!-- === begin markdown block ===
87 87
88 generated by markdown/1.2.0 on Ruby 2.3.0 (2015-12-25) [x86_64-darwin14] 88 generated by markdown/1.2.0 on Ruby 2.3.0 (2015-12-25) [x86_64-darwin14]
89 on 2016-07-26 18:05:47 +0900 with Markdown engine kramdown (1.9.0) 89 on 2016-08-02 18:05:57 +0900 with Markdown engine kramdown (1.9.0)
90 using options {} 90 using options {}
91 --> 91 -->
92 92
93 <!-- _S9SLIDE_ --> 93 <!-- _S9SLIDE_ -->
94 <h1 id="section">研究目的</h1> 94 <h1 id="section">研究目的</h1>
95 <ul> 95 <ul>
96 <li>ソフトウェアの信頼性を向上させたい</li> 96 <li>ソフトウェアの信頼性を向上させたい</li>
97 <li>特にソフトウェアの実装そのものをチェックしたい</li>
97 <li>ソフトウェアが仕様を常に満たすことを保証することで信頼性を確保する</li> 98 <li>ソフトウェアが仕様を常に満たすことを保証することで信頼性を確保する</li>
98 <li>特に動作するソフトウェアを検証したい</li>
99 <li>計算を拡張するメタ計算として検証機構を導入し、ソフトウェアの記述を変更せずに検証を行なう</li> 99 <li>計算を拡張するメタ計算として検証機構を導入し、ソフトウェアの記述を変更せずに検証を行なう</li>
100 </ul> 100 </ul>
101 101
102 102
103 </div> 103 </div>