Mercurial > hg > Members > atton > generated_seminar_slides

annotate index.html @ 138:ae4746c201f9 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
auto-Update generated slides by script
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Tue, 17 Jan 2017 17:18:05 +0900
parents 051d78fb003c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
138
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
1 <html>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
2 <head>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
3 <meta HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8">
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
4 <title> slides for seminar </title>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
5 </head>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
6
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
7 <body>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
8 <ul>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
9 <li>20140204 : <a href="slides/20140204/slide.html">近況報告</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
10 <li>20140211 : <a href="slides/20140211/slide.html">証明によるソフトウェア信頼性の向上(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
11 <li>20140218 : <a href="slides/20140218/slide.html">証明によるプログラムの信頼性の向上(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
12 <li>20140225 : <a href="slides/20140225/slide.html">証明によるプログラムの信頼性の向上(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
13 <li>20140304 : <a href="slides/20140304/slide.html">証明によるプログラムの信頼性の向上(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
14 <li>20140311 : <a href="slides/20140311/slide.html">プログラムから証明の自動生成(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
15 <li>20140325 : <a href="slides/20140325/slide.html">プログラムから証明の自動生成(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
16 <li>20140401 : <a href="slides/20140401/slide.html">プログラムの静的解析による条件導出(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
17 <li>20140408 : <a href="slides/20140408/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
18 <li>20140415 : <a href="slides/20140415/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
19 <li>20140422 : <a href="slides/20140422/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
20 <li>20140429 : <a href="slides/20140429/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
21 <li>20140506 : <a href="slides/20140506/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
22 <li>20140513 : <a href="slides/20140513/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
23 <li>20140520 : <a href="slides/20140520/slide.html">Agda 入門</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
24 <li>20140611 : <a href="slides/20140611/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
25 <li>20140617 : <a href="slides/20140617/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
26 <li>20140624 : <a href="slides/20140624/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
27 <li>20140701 : <a href="slides/20140701/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
28 <li>20140715 : <a href="slides/20140715/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
29 <li>20140722 : <a href="slides/20140722/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
30 <li>20140805 : <a href="slides/20140805/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
31 <li>20140812 : <a href="slides/20140812/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
32 <li>20140819 : <a href="slides/20140819/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
33 <li>20140826 : <a href="slides/20140826/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
34 <li>20140902 : <a href="slides/20140902/slide.html">プログラムのデバッグ支援(仮)</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
35 <li>20140909 : <a href="slides/20140909/slide.html">プログラムのデバッグ支援</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
36 <li>20140923 : <a href="slides/20140923/slide.html">プログラムのデバッグ支援</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
37 <li>20141007 : <a href="slides/20141007/slide.html">プログラムのデバッグ支援</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
38 <li>20141021 : <a href="slides/20141021/slide.html">モナドによるプログラムの拡張</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
39 <li>20141028 : <a href="slides/20141028/slide.html">モナドによるプログラムの変更</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
40 <li>20141104 : <a href="slides/20141104/slide.html">モナドによるプログラムの変更</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
41 <li>20141111 : <a href="slides/20141111/slide.html">Modify Program by Monad</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
42 <li>20141118 : <a href="slides/20141118/slide.html">Categorical Semantics of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
43 <li>20141125 : <a href="slides/20141125/slide.html">Categorical Semantics for Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
44 <li>20141128 : <a href="slides/20141128/slide.html">Categorical Semantics for Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
45 <li>20141202 : <a href="slides/20141202/slide.html">Categorical Formalization for Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
46 <li>20141205 : <a href="slides/20141205/slide.html">Categorical Formalization for Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
47 <li>20141209 : <a href="slides/20141209/slide.html">Categorical Formalization of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
48 <li>20141212 : <a href="slides/20141212/slide.html">Categorical Formalization of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
49 <li>20141216 : <a href="slides/20141216/slide.html">Categorical Formalization of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
50 <li>20141219 : <a href="slides/20141219/slide.html">Categorical Formalization of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
51 <li>20150115 : <a href="slides/20150115/slide.html">Categorical Formalization of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
52 <li>20150120 : <a href="slides/20150120/slide.html">Categorical Formalization of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
53 <li>20150127 : <a href="slides/20150127/slide.html">Categorical Formalization of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
54 <li>20150129 : <a href="slides/20150129/slide.html">Categorical Formalization of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
55 <li>20150203 : <a href="slides/20150203/slide.html">Categorical Formalization of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
56 <li>20150317 : <a href="slides/20150317/slide.html">Categorical Formalization of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
57 <li>20150320 : <a href="slides/20150320/slide.html">Categorical Formalization of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
58 <li>20150324 : <a href="slides/20150324/slide.html">Categorical Formalization of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
59 <li>20150407 : <a href="slides/20150407/slide.html">Categorical Formalization of Program Modification</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
60 <li>20150414 : <a href="slides/20150414/slide.html">Operational Semantics of Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
61 <li>20150421 : <a href="slides/20150421/slide.html">Verification of programs using Code Segments Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
62 <li>20150519 : <a href="slides/20150519/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
63 <li>20150616 : <a href="slides/20150616/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
64 <li>20150714 : <a href="slides/20150714/slide.html">Report of LOLA + LICS/ICALP</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
65 <li>20150721 : <a href="slides/20150721/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
66 <li>20150804 : <a href="slides/20150804/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
67 <li>20150811 : <a href="slides/20150811/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
68 <li>20150915 : <a href="slides/20150915/slide.html">次期システムWebコンソール akatsuki</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
69 <li>20151020 : <a href="slides/20151020/slide.html">次期システムWebコンソール akatsuki</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
70 <li>20151027 : <a href="slides/20151027/slide.html">次期システムWebコンソール akatsuki</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
71 <li>20151110 : <a href="slides/20151110/slide.html">ie-virsh の構築報告</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
72 <li>20151124 : <a href="slides/20151124/slide.html">OS の課題用環境の構築</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
73 <li>20151127 : <a href="slides/20151127/slide.html">OS の課題用環境の構築</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
74 <li>20151208 : <a href="slides/20151208/slide.html">OS の課題用環境の構築</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
75 <li>20151215 : <a href="slides/20151215/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
76 <li>20151222 : <a href="slides/20151222/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
77 <li>20160112 : <a href="slides/20160112/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
78 <li>20160119 : <a href="slides/20160119/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
79 <li>20160126 : <a href="slides/20160126/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
80 <li>20160129 : <a href="slides/20160129/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
81 <li>20160202 : <a href="slides/20160202/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
82 <li>20160216 : <a href="slides/20160216/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
83 <li>20160301 : <a href="slides/20160301/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
84 <li>20160308 : <a href="slides/20160308/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
85 <li>20160315 : <a href="slides/20160315/slide.html">Verification of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
86 <li>20160322 : <a href="slides/20160322/slide.html">Verification of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
87 <li>20160329 : <a href="slides/20160329/slide.html">Verification of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
88 <li>20160412 : <a href="slides/20160412/slide.html">Verification of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
89 <li>20160419 : <a href="slides/20160419/slide.html">Verification of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
90 <li>20160426 : <a href="slides/20160426/slide.html">Verification of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
91 <li>20160503 : <a href="slides/20160503/slide.html">Verification of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
92 <li>20160510 : <a href="slides/20160510/slide.html">Verification of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
93 <li>20160524 : <a href="slides/20160524/slide.html">Verification of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
94 <li>20160607 : <a href="slides/20160607/slide.html">Verification of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
95 <li>20160614 : <a href="slides/20160614/slide.html">Verification of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
96 <li>20160621 : <a href="slides/20160621/slide.html">Verification of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
97 <li>20160628 : <a href="slides/20160628/slide.html">Verification method of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
98 <li>20160705 : <a href="slides/20160705/slide.html">Verification method of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
99 <li>20160712 : <a href="slides/20160712/slide.html">Verification method of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
100 <li>20160726 : <a href="slides/20160726/slide.html">Verification method of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
101 <li>20160802 : <a href="slides/20160802/slide.html">Verification method of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
102 <li>20161101 : <a href="slides/20161101/slide.html">Type System of Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
103 <li>20161122 : <a href="slides/20161122/slide.html">Verification method of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
104 <li>20161213 : <a href="slides/20161213/slide.html">Verification method of programs using Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
105 <li>20161220 : <a href="slides/20161220/slide.html">Type System of Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
106 <li>20170110 : <a href="slides/20170110/slide.html">Type System of Continuation based C</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
107 <li>20170117 : <a href="slides/20170117/slide.html">メタ計算を用いた Continuation based C の検証手法</a></li>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
108 </ul>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
109
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
110 </body>
ae4746c201f9 auto-Update generated slides by script
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 137
diff changeset
111 </html>