Mercurial > hg > Papers > 2017 > atton-master
changeset 115:d731f2d0947d
Add Makefile
| author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 13 Feb 2017 17:15:10 +0900 |
| parents | 5cca315b0230 |
| children | ed6719c301fc |
| files | presentation/Makefile presentation/slide.html presentation/slide.pdf.html |
| diffstat | 3 files changed, 51 insertions(+), 22 deletions(-) [+] |
line wrap: on
line diff
--- /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
--- 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 '>
--- 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 '>