Mercurial > hg > Members > atton > seminar_slides

annotate template/slide.md @ 37:c7d57cf16fdb

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, 15 Apr 2014 17:44:46 +0900
parents 8efe9eb8758b
children 0ca8c6a6d0dd
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
37
c7d57cf16fdb Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 34
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
37
c7d57cf16fdb Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 34
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
37
c7d57cf16fdb Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 34
diff changeset
9 * プログラムのデバッグは複雑になることがある
c7d57cf16fdb Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 34
diff changeset
10 * 例えば、あるif文の条件を満たすには、必要な状態がある
c7d57cf16fdb Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 34
diff changeset
11 * そういった状態を自動で導出したい
c7d57cf16fdb Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 34
diff changeset
12 * model checking を使えばいける?
28
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
13
7
e0c4a349c94f Copy template when generate new slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 # hoge
e0c4a349c94f Copy template when generate new slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15
28
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
16 * hoge
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
17 * hogehoge
9
8cd28e3368fd Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
18
8cd28e3368fd Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
19 # fuga
8cd28e3368fd Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
20
28
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
21 * fuga
9
8cd28e3368fd Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
22 * fugafuga
32
cc91543302b3 Set filetype on slide template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
23
cc91543302b3 Set filetype on slide template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
24 <!-- vim: set filetype=markdown.slide: -->