Mercurial > hg > Members > atton > generated_seminar_slides

changeset 76:1211e97e1569

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 Mon, 27 Apr 2015 18:33:12 +0900
parents 7f42c6df7768
children 1ca538319412
files index.html
diffstat 1 files changed, 65 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/index.html	Mon Apr 27 18:33:12 2015 +0900
@@ -0,0 +1,65 @@
+<html>
+  <head>
+    <meta HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8">
+    <title> slides for seminar </title>
+  </head>
+
+  <body>
+    <ul>
+  <li>20140204 : <a href="slides/20140204/slide.html">近況報告</a></li>
+  <li>20140211 : <a href="slides/20140211/slide.html">証明によるソフトウェア信頼性の向上(仮)</a></li>
+  <li>20140218 : <a href="slides/20140218/slide.html">証明によるプログラムの信頼性の向上(仮)</a></li>
+  <li>20140225 : <a href="slides/20140225/slide.html">証明によるプログラムの信頼性の向上(仮)</a></li>
+  <li>20140304 : <a href="slides/20140304/slide.html">証明によるプログラムの信頼性の向上(仮)</a></li>
+  <li>20140311 : <a href="slides/20140311/slide.html">プログラムから証明の自動生成(仮)</a></li>
+  <li>20140325 : <a href="slides/20140325/slide.html">プログラムから証明の自動生成(仮)</a></li>
+  <li>20140401 : <a href="slides/20140401/slide.html">プログラムの静的解析による条件導出(仮)</a></li>
+  <li>20140408 : <a href="slides/20140408/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140415 : <a href="slides/20140415/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140422 : <a href="slides/20140422/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140429 : <a href="slides/20140429/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140506 : <a href="slides/20140506/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140513 : <a href="slides/20140513/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140520 : <a href="slides/20140520/slide.html">Agda 入門</a></li>
+  <li>20140611 : <a href="slides/20140611/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140617 : <a href="slides/20140617/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140624 : <a href="slides/20140624/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140701 : <a href="slides/20140701/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140715 : <a href="slides/20140715/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140722 : <a href="slides/20140722/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140805 : <a href="slides/20140805/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140812 : <a href="slides/20140812/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140819 : <a href="slides/20140819/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140826 : <a href="slides/20140826/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140902 : <a href="slides/20140902/slide.html">プログラムのデバッグ支援(仮)</a></li>
+  <li>20140909 : <a href="slides/20140909/slide.html">プログラムのデバッグ支援</a></li>
+  <li>20140923 : <a href="slides/20140923/slide.html">プログラムのデバッグ支援</a></li>
+  <li>20141007 : <a href="slides/20141007/slide.html">プログラムのデバッグ支援</a></li>
+  <li>20141021 : <a href="slides/20141021/slide.html">モナドによるプログラムの拡張</a></li>
+  <li>20141028 : <a href="slides/20141028/slide.html">モナドによるプログラムの変更</a></li>
+  <li>20141104 : <a href="slides/20141104/slide.html">モナドによるプログラムの変更</a></li>
+  <li>20141111 : <a href="slides/20141111/slide.html">Modify Program by Monad</a></li>
+  <li>20141118 : <a href="slides/20141118/slide.html">Categorical Semantics of Program Modification</a></li>
+  <li>20141125 : <a href="slides/20141125/slide.html">Categorical Semantics for Program Modification</a></li>
+  <li>20141128 : <a href="slides/20141128/slide.html">Categorical Semantics for Program Modification</a></li>
+  <li>20141202 : <a href="slides/20141202/slide.html">Categorical Formalization for Program Modification</a></li>
+  <li>20141205 : <a href="slides/20141205/slide.html">Categorical Formalization for Program Modification</a></li>
+  <li>20141209 : <a href="slides/20141209/slide.html">Categorical Formalization of Program Modification</a></li>
+  <li>20141212 : <a href="slides/20141212/slide.html">Categorical Formalization of Program Modification</a></li>
+  <li>20141216 : <a href="slides/20141216/slide.html">Categorical Formalization of Program Modification</a></li>
+  <li>20141219 : <a href="slides/20141219/slide.html">Categorical Formalization of Program Modification</a></li>
+  <li>20150115 : <a href="slides/20150115/slide.html">Categorical Formalization of Program Modification</a></li>
+  <li>20150120 : <a href="slides/20150120/slide.html">Categorical Formalization of Program Modification</a></li>
+  <li>20150127 : <a href="slides/20150127/slide.html">Categorical Formalization of Program Modification</a></li>
+  <li>20150129 : <a href="slides/20150129/slide.html">Categorical Formalization of Program Modification</a></li>
+  <li>20150203 : <a href="slides/20150203/slide.html">Categorical Formalization of Program Modification</a></li>
+  <li>20150317 : <a href="slides/20150317/slide.html">Categorical Formalization of Program Modification</a></li>
+  <li>20150320 : <a href="slides/20150320/slide.html">Categorical Formalization of Program Modification</a></li>
+  <li>20150324 : <a href="slides/20150324/slide.html">Categorical Formalization of Program Modification</a></li>
+  <li>20150407 : <a href="slides/20150407/slide.html">Categorical Formalization of Program Modification</a></li>
+  <li>20150414 : <a href="slides/20150414/slide.html">Operational Semantics of Continuation based C</a></li>
+  <li>20150421 : <a href="slides/20150421/slide.html">Verification of programs using Code Segments Data Segments</a></li>
+</ul>
+
+  </body>
+</html>