Mercurial > hg > Members > atton > seminar_slides
annotate template/slide.md @ 32:cc91543302b3
Set filetype on slide template
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 25 Mar 2014 17:24:09 +0900 |
parents | 4d583de693b3 |
children | 8efe9eb8758b |
rev | line source |
---|---|
28 | 1 title: 証明によるプログラムの信頼性の向上(仮) |
9
8cd28e3368fd
Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
7
diff
changeset
|
2 author: Yasutaka Higa |
8cd28e3368fd
Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
7
diff
changeset
|
3 cover: |
8cd28e3368fd
Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
7
diff
changeset
|
4 lang: Japanese |
8cd28e3368fd
Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
7
diff
changeset
|
5 |
7
e0c4a349c94f
Copy template when generate new slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 |
28 | 7 # 研究目的(仮) |
8 | |
9 * 証明によるプログラムの信頼性の向上を目指す。 | |
10 * 信頼性とは、プログラムがプログラマの予期しない動作をしないことである。 | |
11 * 目標の例としては、現在は実行時にしか検出できないエラーなどを実行以前に検出することがある。 | |
12 | |
7
e0c4a349c94f
Copy template when generate new slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13 # hoge |
e0c4a349c94f
Copy template when generate new slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
14 |
28 | 15 * hoge |
16 * hogehoge | |
9
8cd28e3368fd
Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
7
diff
changeset
|
17 |
8cd28e3368fd
Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
7
diff
changeset
|
18 # fuga |
8cd28e3368fd
Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
7
diff
changeset
|
19 |
28 | 20 * fuga |
9
8cd28e3368fd
Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
7
diff
changeset
|
21 * fugafuga |
32
cc91543302b3
Set filetype on slide template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
28
diff
changeset
|
22 |
cc91543302b3
Set filetype on slide template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
28
diff
changeset
|
23 <!-- vim: set filetype=markdown.slide: --> |