Mercurial > hg > Members > atton > seminar_slides
view template/slide.md @ 32:cc91543302b3
Set filetype on slide template
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 25 Mar 2014 17:24:09 +0900 |
parents | 4d583de693b3 |
children | 8efe9eb8758b |
line wrap: on
line source
title: 証明によるプログラムの信頼性の向上(仮) author: Yasutaka Higa cover: lang: Japanese # 研究目的(仮) * 証明によるプログラムの信頼性の向上を目指す。 * 信頼性とは、プログラムがプログラマの予期しない動作をしないことである。 * 目標の例としては、現在は実行時にしか検出できないエラーなどを実行以前に検出することがある。 # hoge * hoge * hogehoge # fuga * fuga * fugafuga <!-- vim: set filetype=markdown.slide: -->