Mercurial > hg > Members > atton > seminar_slides

annotate slides/20140311/slide.md @ 158:6e4a6421f168

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix slide
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 13 Dec 2016 19:48:44 +0900
parents d9592de14639
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
31
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 title: プログラムから証明の自動生成(仮)
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 author: Yasutaka Higa
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 cover:
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 lang: Japanese
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 # 研究目的(仮)
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 * プログラムの正しさを保証したい
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 * 既存のプログラムから証明支援系に変換できれば挙動を保証できる？
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 * 既存のプログラムのターゲットとしてはコードセグメントがある
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 * 挙動が保証されたプログラムの組み合せでプログラム全体を構成する
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 # 近況報告
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 * Proofs And Types 読み会 with 河野先生
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 * Chapter 8 Coherence Space まで
d9592de14639 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 * 猫番募集