Mercurial > hg > Members > atton > generated_seminar_slides

title: 証明によるプログラムの信頼性の向上(仮)
author: Yasutaka Higa
cover:
lang: Japanese


# 研究目的(仮)

* 証明によるプログラムの信頼性の向上を目指す。
* 信頼性とは、プログラムがプログラマの予期しない動作をしないことである。
* 目標の例としては、現在は実行時にしか検出できないエラーなどを実行以前に検出することがある。

# 近況報告

* 沖縄Ruby会議01に行ってきました
* Proofs and Types を先生と読み会始めました
author	atton <atton@cr.ie.u-ryukyu.ac.jp>
date	Tue, 17 Jan 2017 17:18:05 +0900
parents	eb7a4d3825d4
children