Mercurial > hg > Members > atton > generated_seminar_slides

changeset 3:23ac194167dd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 11 Feb 2014 17:15:27 +0900
parents 315123d8b5f1
children 02b46830051f
files slides/20140211/slide.html slides/20140211/slide.md
diffstat 2 files changed, 71 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/slides/20140211/slide.html	Tue Feb 04 23:24:33 2014 +0900
+++ b/slides/20140211/slide.html	Tue Feb 11 17:15:27 2014 +0900
@@ -2,7 +2,7 @@
 
 <html lang="Japanese">
 <head>
-	<title>近況報告</title>
+	<title>証明によるソフトウェア信頼性の向上(仮)</title>
 	<meta charset="UTF-8">
 	<meta name="viewport" content="width=1274, user-scalable=no">
 	<meta name="generator" content="Slide Show (S9)">
@@ -18,13 +18,13 @@
 </head>
 <body class="list">
 	<header class="caption">
-		<h1>近況報告</h1>
+		<h1>証明によるソフトウェア信頼性の向上(仮)</h1>
 		<p>Yasutaka Higa</p>
 	</header>
 	<div class="slide bg" id="Cover"><div>
 		<section>
 			<header>
-				<h2>近況報告</h2>
+				<h2>証明によるソフトウェア信頼性の向上(仮)</h2>
 			</header>
 			
 			<img src="pictures/" alt="">
@@ -38,12 +38,12 @@
 <div class="slide" id="2"><div>
 		<section>
 			<header>
-				<h1 id="section">近況報告</h1>
+				<h1 id="section">あじぇんだ</h1>
 			</header>
 			<!-- === begin markdown block ===
 
       generated by markdown 1.1.1 on Ruby 2.1.0 (2013-12-25) [x86_64-darwin12.0]
-                on 2014-02-04 23:22:38 +0900 with Markdown engine kramdown (1.3.1)
+                on 2014-02-11 17:14:22 +0900 with Markdown engine kramdown (1.3.1)
                   using options {}
   -->
 
@@ -51,7 +51,9 @@
 
 
 <ul>
+  <li>近況報告</li>
   <li>slides on mercurial</li>
+  <li>研究テーマについて</li>
 </ul>
 
 
@@ -62,6 +64,23 @@
 <div class="slide" id="3"><div>
 		<section>
 			<header>
+				<h1 id="section-1">近況報告</h1>
+			</header>
+			<!-- _S9SLIDE_ -->
+
+
+<ul>
+  <li>テスト期間終わりました</li>
+</ul>
+
+
+
+		</section>
+</div></div>
+
+<div class="slide" id="4"><div>
+		<section>
+			<header>
 				<h1 id="slides-on-mercurial">slides on mercurial</h1>
 			</header>
 			<!-- _S9SLIDE_ -->
@@ -75,6 +94,35 @@
   <li>firefly の /Users/one/hg/Members/atton/generated_seminar_slides</li>
   <li>スクリプトで自動で同期させてます。(またhook)</li>
 </ul>
+
+
+
+		</section>
+</div></div>
+
+<div class="slide" id="5"><div>
+		<section>
+			<header>
+				<h1 id="section-2">証明によるソフトウェア信頼性の向上(仮)</h1>
+			</header>
+			<!-- _S9SLIDE_ -->
+
+
+<ul>
+  <li>研究テーマを考えています</li>
+  <li>何を使って証明をするのか
+    <ul>
+      <li>証明支援系(Agda?) or 型システム(Haskell?)</li>
+    </ul>
+  </li>
+  <li>何を証明するのか
+    <ul>
+      <li>Data Segment</li>
+      <li>Open System</li>
+      <li>動的型付け言語の静的解析</li>
+    </ul>
+  </li>
+</ul>
 <!-- === end markdown block === -->
 
 		</section>
--- a/slides/20140211/slide.md	Tue Feb 04 23:24:33 2014 +0900
+++ b/slides/20140211/slide.md	Tue Feb 11 17:15:27 2014 +0900
@@ -1,12 +1,18 @@
-title: 近況報告
+title: 証明によるソフトウェア信頼性の向上(仮)
 author: Yasutaka Higa
 cover:
 lang: Japanese
 
 
+# あじぇんだ
+
+* 近況報告
+* slides on mercurial
+* 研究テーマについて
+
 # 近況報告
 
-* slides on mercurial
+* テスト期間終わりました
 
 # slides on mercurial
 
@@ -16,3 +22,13 @@
 * ということで生成されたものを保存する repository を作りました
 * firefly の /Users/one/hg/Members/atton/generated_seminar_slides
 * スクリプトで自動で同期させてます。(またhook)
+
+# 証明によるソフトウェア信頼性の向上(仮)
+
+* 研究テーマを考えています
+* 何を使って証明をするのか
+    * 証明支援系(Agda?) or 型システム(Haskell?)
+* 何を証明するのか
+    * Data Segment
+    * Open System
+    * 動的型付け言語の静的解析