証明によるプログラムの信頼性の向上(仮)

Yasutaka Higa - profile not found -

研究目的(仮)

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

近況報告

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