Mercurial > hg > Members > atton > seminar_slides

annotate template/slide.md @ 28:4d583de693b3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update template
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 25 Feb 2014 14:22:35 +0900
parents 8cd28e3368fd
children cc91543302b3
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
28
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
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
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
7 # 研究目的(仮)
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
8
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
9 * 証明によるプログラムの信頼性の向上を目指す。
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
10 * 信頼性とは、プログラムがプログラマの予期しない動作をしないことである。
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
11 * 目標の例としては、現在は実行時にしか検出できないエラーなどを実行以前に検出することがある。
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
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
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
15 * hoge
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
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
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
20 * fuga
9
8cd28e3368fd Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
21 * fugafuga