# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1486973710 -32400
# Node ID d731f2d0947dd4a0ecd05cb82509211b4f65adab
# Parent  5cca315b0230297e49b5917092c46ed946806ffc
Add Makefile

diff -r 5cca315b0230 -r d731f2d0947d presentation/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/presentation/Makefile	Mon Feb 13 17:15:10 2017 +0900
@@ -0,0 +1,31 @@
+# Settings
+TARGET=slide
+CONVERT=pdf2svg
+
+vpath pdf images
+IMAGES=$(wildcard images/*.pdf)
+IMAGES_FOR_SLIDE=$(subst .pdf,.svg,$(IMAGES))
+
+
+# dependencies
+$(TARGET).html : $(TARGET).md $(IMAGES_FOR_SLIDE)
+	slideshow build -t s6cr $<
+
+%.svg: %.pdf
+	$(CONVERT) $< $@
+
+
+# commands
+.PHONY : clean all open remake
+
+clean:
+	rm -rf *.html s6 scripts
+
+all: $(TARGET).html
+
+open: $(TARGET).html
+	open $(TARGET).html
+
+remake:
+	make clean
+	make all
diff -r 5cca315b0230 -r d731f2d0947d presentation/slide.html
--- a/presentation/slide.html	Mon Feb 13 16:01:38 2017 +0900
+++ b/presentation/slide.html	Mon Feb 13 17:15:10 2017 +0900
@@ -86,7 +86,7 @@
 <!-- === begin markdown block ===
 
       generated by markdown/1.2.0 on Ruby 2.3.3 (2016-11-21) [x86_64-darwin16]
-                on 2017-02-13 16:01:12 +0900 with Markdown engine kramdown (1.13.0)
+                on 2017-02-13 17:14:46 +0900 with Markdown engine kramdown (1.13.0)
                   using options {}
   -->
 
@@ -338,7 +338,7 @@
   <li>ノーマルレベルのコードを検証用に変更せず検証可能</li>
 </ul>
 
-<p><img src="./images/akashaPut.svg" alt="akashaPut" width="50%" /></p>
+<p><img src="./images/akashaPut.svg" alt="akashaPut" width="51%" /></p>
 
 
 </div>
@@ -477,19 +477,18 @@
 <ul>
   <li>ノーマルレベルの型を保持したままメタレベルの計算を利用できる
     <ul>
-      <li>cs0 の定義はメタ計算用に変更しなくても良い
-~~~
-main : ds1
-main = goto cs0 (record {a = 100 ; b = 50})
-~~~
-~~~
-main : Meta
-main = gotoMeta push cs0 (record {context = (record {a = 100 ; b = 50 ; c = 70}) ; c’ = 0 ; next = (N.cs id)})
-~~~</li>
+      <li>cs0 の定義はメタ計算用に変更しなくても良い</li>
     </ul>
   </li>
 </ul>
 
+<pre><code>main : ds1
+main = goto cs0 (record {a = 100 ; b = 50})
+</code></pre>
+<pre><code>main : Meta
+main = gotoMeta push cs0 (record {context = (record {a = 100 ; b = 50 ; c = 70}) ; c' = 0 ; next = (N.cs id)})
+</code></pre>
+
 
 </div>
 <div class='slide '>
diff -r 5cca315b0230 -r d731f2d0947d presentation/slide.pdf.html
--- a/presentation/slide.pdf.html	Mon Feb 13 16:01:38 2017 +0900
+++ b/presentation/slide.pdf.html	Mon Feb 13 17:15:10 2017 +0900
@@ -70,7 +70,7 @@
 <!-- === begin markdown block ===
 
       generated by markdown/1.2.0 on Ruby 2.3.3 (2016-11-21) [x86_64-darwin16]
-                on 2017-02-13 16:01:12 +0900 with Markdown engine kramdown (1.13.0)
+                on 2017-02-13 17:14:46 +0900 with Markdown engine kramdown (1.13.0)
                   using options {}
   -->
 
@@ -322,7 +322,7 @@
   <li>ノーマルレベルのコードを検証用に変更せず検証可能</li>
 </ul>
 
-<p><img src="./images/akashaPut.svg" alt="akashaPut" width="50%" /></p>
+<p><img src="./images/akashaPut.svg" alt="akashaPut" width="51%" /></p>
 
 
 </div>
@@ -461,19 +461,18 @@
 <ul>
   <li>ノーマルレベルの型を保持したままメタレベルの計算を利用できる
     <ul>
-      <li>cs0 の定義はメタ計算用に変更しなくても良い
-~~~
-main : ds1
-main = goto cs0 (record {a = 100 ; b = 50})
-~~~
-~~~
-main : Meta
-main = gotoMeta push cs0 (record {context = (record {a = 100 ; b = 50 ; c = 70}) ; c’ = 0 ; next = (N.cs id)})
-~~~</li>
+      <li>cs0 の定義はメタ計算用に変更しなくても良い</li>
     </ul>
   </li>
 </ul>
 
+<pre><code>main : ds1
+main = goto cs0 (record {a = 100 ; b = 50})
+</code></pre>
+<pre><code>main : Meta
+main = gotoMeta push cs0 (record {context = (record {a = 100 ; b = 50 ; c = 70}) ; c' = 0 ; next = (N.cs id)})
+</code></pre>
+
 
 </div>
 <div class='slide '>