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


# 研究目的(仮)

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

# 近況報告

* 沖縄Ruby会議01に行ってきました
* Proofs and Types を先生と読み会始めました