Mercurial > hg > Papers > 2018 > nozomi-master

diff presentation/slide.html @ 123:81978a9122f0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update slide
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Tue, 14 Feb 2017 16:09:01 +0900
parents c195713cf7d7
children 7ab9767dc9f9
line wrap: on
line diff
--- 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>