証明によるプログラムの信頼性の向上(仮)
Yasutaka Higa
証明によるプログラムの信頼性の向上(仮)
研究目的(仮)
証明によるプログラムの信頼性の向上を目指す。
信頼性とは、プログラムがプログラマの予期しない動作をしないことである。
目標の例としては、現在は実行時にしか検出できないエラーなどを実行以前に検出することがある。
近況報告
沖縄Ruby会議01に行ってきました
Proofs and Types を先生と読み会始めました