Mercurial > hg > Members > atton > generated_seminar_slides
diff slides/20160426/slide.html @ 107:6666379bc545
auto-Update generated slides by script
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 26 Apr 2016 18:13:01 +0900 |
| parents | |
| children | 2f62606485fc |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/slides/20160426/slide.html Tue Apr 26 18:13:01 2016 +0900 @@ -0,0 +1,137 @@ +<!DOCTYPE html> +<html> +<head> + <meta http-equiv="content-type" content="text/html;charset=utf-8"> + <title>Verification of programs using Continuation based C</title> + +<meta name="generator" content="Slide Show (S9) v2.5.0 on Ruby 2.3.0 (2015-12-25) [x86_64-darwin14]"> +<meta name="author" content="Yasutaka Higa" > + +<!-- style sheet links --> +<link rel="stylesheet" href="s6/themes/projection.css" media="screen,projection"> +<link rel="stylesheet" href="s6/themes/screen.css" media="screen"> +<link rel="stylesheet" href="s6/themes/print.css" media="print"> +<link rel="stylesheet" href="s6/themes/blank.css" media="screen,projection"> + +<!-- JS --> +<script src="s6/js/jquery-1.11.3.min.js"></script> +<script src="s6/js/jquery.slideshow.js"></script> +<script src="s6/js/jquery.slideshow.counter.js"></script> +<script src="s6/js/jquery.slideshow.controls.js"></script> +<script src="s6/js/jquery.slideshow.footer.js"></script> +<script src="s6/js/jquery.slideshow.autoplay.js"></script> + +<!-- prettify --> +<link rel="stylesheet" href="scripts/prettify.css"> +<script src="scripts/prettify.js"></script> + +<script> + $(document).ready( function() { + Slideshow.init(); + + $('code').each(function(_, el) { + if (!el.classList.contains('noprettyprint')) { + el.classList.add('prettyprint'); + el.style.display = 'block'; + } + }); + prettyPrint(); + } ); + + +</script> + +<!-- Better Browser Banner for Microsoft Internet Explorer (IE) --> +<!--[if IE]> +<script src="s6/js/jquery.microsoft.js"></script> +<![endif]--> + + + +</head> +<body> + +<div class="layout"> + <div id="header"></div> + <div id="footer"> + <div align="right"> + <img src="s6/images/logo.svg" width="200px"> + </div> + </div> +</div> + +<div class="presentation"> + + <div class='slide cover'> + <table width="90%" height="90%" border="0" align="center"> + <tr> + <td> + <div align="center"> + <h1><font color="#808db5">Verification of programs using Continuation based C</font></h1> + </div> + </td> + </tr> + <tr> + <td> + <div align="left"> + Yasutaka Higa + + <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;"> + </div> + </td> + </tr> + </table> + </div> + +<div class='slide '> +<!-- === begin markdown block === + + generated by markdown/1.2.0 on Ruby 2.3.0 (2015-12-25) [x86_64-darwin14] + on 2016-04-26 18:13:00 +0900 with Markdown engine kramdown (1.9.0) + using options {} + --> + +<!-- _S9SLIDE_ --> +<h1 id="section">研究目的</h1> +<ul> + <li>コードセグメントとデータセグメントという単位を用いてプログラムを記述する手法を提案する</li> + <li>プログラムはコードセグメントという処理の集合として表され、相互に接続される</li> + <li>個々のコードセグメントを検証し、検証されたコードセグメントどうしの組み合わせによりプログラム全体を検証する</li> +</ul> + + +</div> +<div class='slide '> +<!-- _S9SLIDE_ --> +<h1 id="section-1">研究内容</h1> +<ul> + <li>コードセグメントとデータセグメントを用いたプログラムに対し、検証を行なう</li> + <li>コードセグメントどうしの接続の間にメタ計算として検証機構を導入する</li> + <li>コードを検証用に変更することなく、仕様を満たすか検証する</li> + <li>検証の対象として Gears OS のデータ構造を用いる</li> +</ul> + + +</div> +<div class='slide '> +<!-- _S9SLIDE_ --> +<h1 id="section-2">近況報告</h1> +<ul> + <li>新棟の鍵変わるらしいです</li> + <li>Red-Black Tree の検証 + <ul> + <li>DFS で辿って戻った時にメモリ開放</li> + <li>非破壊じゃなかったっぽい?</li> + <li>今 depth=13 で動かしてます</li> + </ul> + </li> +</ul> + +<!-- vim: set filetype=markdown.slide: --> +<!-- === end markdown block === --> +</div> + + +</div><!-- presentation --> +</body> +</html>