Mercurial > hg > Members > atton > seminar_slides

comparison slides/20140325/slide.md @ 33:fb9d19430363

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add slides for seminar
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 25 Mar 2014 17:55:39 +0900
parents
children 8efe9eb8758b
comparison
equal deleted inserted replaced
32:cc91543302b3 33:fb9d19430363
1 title: 証明によるプログラムの信頼性の向上(仮)
2 author: Yasutaka Higa
3 cover:
4 lang: Japanese
5
6 # 研究目的(仮)
7
8 * プログラムの正しさを保証したい
9 * 既存のプログラムから証明支援系に変換できれば挙動を保証できる？
10 * 既存のプログラムのターゲットとしてはコードセグメントがある
11 * 挙動が保証されたプログラムの組み合せでプログラム全体を構成する
12
13 # 近況報告
14
15 * Proofs and Types 読み会を河野先生とやってました
16 * System F on Agda
17 * hg/Members/atton/agda/systemF にあります
18 * Boolean, Product, Sum まで書きました
19 * Emp は放置
20 * Existential は書いてみましたが黄色い
21
22 <!-- vim : set filetype = markdown.slide -->