# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1393922837 -32400
# Node ID 08d45d55313a76cb82933ff95023f80e69c11a46
# Parent  2184b4fd34f228e80950f9874739a55a085386a2
Add today slide

diff -r 2184b4fd34f2 -r 08d45d55313a slides/20140304/slide.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20140304/slide.md	Tue Mar 04 17:47:17 2014 +0900
@@ -0,0 +1,16 @@
+title: 証明によるプログラムの信頼性の向上(仮)
+author: Yasutaka Higa
+cover:
+lang: Japanese
+
+
+# 研究目的(仮)
+
+* 証明によるプログラムの信頼性の向上を目指す。
+* 信頼性とは、プログラムがプログラマの予期しない動作をしないことである。
+* 目標の例としては、現在は実行時にしか検出できないエラーなどを実行以前に検出することがある。
+
+# 近況報告
+
+* 沖縄Ruby会議01に行ってきました
+* Proofs and Types を先生と読み会始めました