Mercurial > hg > Members > atton > seminar_slides

annotate template/slide.md @ 34:8efe9eb8758b

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 Mar 2014 18:38:04 +0900
parents cc91543302b3
children c7d57cf16fdb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
34
8efe9eb8758b Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 32
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
28
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
6 # 研究目的(仮)
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
7
34
8efe9eb8758b Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 32
diff changeset
8 * プログラムの正しさを保証したい
8efe9eb8758b Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 32
diff changeset
9 * 既存のプログラムから証明支援系に変換できれば挙動を保証できる？
8efe9eb8758b Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 32
diff changeset
10 * 既存のプログラムのターゲットとしてはコードセグメントがある
8efe9eb8758b Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 32
diff changeset
11 * 挙動が保証されたプログラムの組み合せでプログラム全体を構成する
28
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
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: -->