Mercurial > hg > Papers > 2017 > atton-master
changeset 123:81978a9122f0
Update slide
| author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 14 Feb 2017 16:09:01 +0900 |
| parents | c195713cf7d7 |
| children | 7ab9767dc9f9 |
| files | presentation/slide.html presentation/slide.md presentation/slide.pdf.html |
| diffstat | 3 files changed, 5 insertions(+), 2 deletions(-) [+] |
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>
--- 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 における型クラス
--- 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>