# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1487056141 -32400
# Node ID 81978a9122f0d82bdff6b02971406230cd2a1072
# Parent  c195713cf7d7e3a76082a34c60fcebdf894af42e
Update slide

diff -r c195713cf7d7 -r 81978a9122f0 presentation/slide.html
--- a/presentation/slide.html	Tue Feb 14 15:45:03 2017 +0900
+++ b/presentation/slide.html	Tue Feb 14 16:09:01 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-14 15:44:26 +0900 with Markdown engine kramdown (1.13.0)
+                on 2017-02-14 16:08:41 +0900 with Markdown engine kramdown (1.13.0)
                   using options {}
   -->
 
@@ -545,6 +545,7 @@
   <li>任意の通常のレベルの計算を扱えなくてはならない
     <ul>
       <li>ライブラリが呼び出されるプログラムは無数にあるようなイメージ</li>
+      <li>そしてメタ計算もメタ計算で扱えなくてはいけない</li>
     </ul>
   </li>
   <li>メタレベルを使うための制約を満たしていれば良い、ということを表現できれば良い</li>
diff -r c195713cf7d7 -r 81978a9122f0 presentation/slide.md
--- a/presentation/slide.md	Tue Feb 14 15:45:03 2017 +0900
+++ b/presentation/slide.md	Tue Feb 14 16:09:01 2017 +0900
@@ -257,6 +257,7 @@
 * メタ計算とは通常のレベルとは区別された計算
 * 任意の通常のレベルの計算を扱えなくてはならない
     * ライブラリが呼び出されるプログラムは無数にあるようなイメージ
+    * そしてメタ計算もメタ計算で扱えなくてはいけない
 * メタレベルを使うための制約を満たしていれば良い、ということを表現できれば良い
 * 部分型を使う
     * Java におけるインターフェース、Haskell における型クラス
diff -r c195713cf7d7 -r 81978a9122f0 presentation/slide.pdf.html
--- a/presentation/slide.pdf.html	Tue Feb 14 15:45:03 2017 +0900
+++ b/presentation/slide.pdf.html	Tue Feb 14 16:09:01 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-14 15:44:26 +0900 with Markdown engine kramdown (1.13.0)
+                on 2017-02-14 16:08:41 +0900 with Markdown engine kramdown (1.13.0)
                   using options {}
   -->
 
@@ -529,6 +529,7 @@
   <li>任意の通常のレベルの計算を扱えなくてはならない
     <ul>
       <li>ライブラリが呼び出されるプログラムは無数にあるようなイメージ</li>
+      <li>そしてメタ計算もメタ計算で扱えなくてはいけない</li>
     </ul>
   </li>
   <li>メタレベルを使うための制約を満たしていれば良い、ということを表現できれば良い</li>