changeset 30:08d45d55313a

Add today slide
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 04 Mar 2014 17:47:17 +0900
parents 2184b4fd34f2
children d9592de14639
files slides/20140304/slide.md
diffstat 1 files changed, 16 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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 を先生と読み会始めました