Mercurial > hg > Papers > 2018 > nozomi-master
comparison presentation/slide.pdf.html @ 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 |
comparison
equal
deleted
inserted
replaced
| 122:c195713cf7d7 | 123:81978a9122f0 |
|---|---|
| 68 | 68 |
| 69 <div class='slide '> | 69 <div class='slide '> |
| 70 <!-- === begin markdown block === | 70 <!-- === begin markdown block === |
| 71 | 71 |
| 72 generated by markdown/1.2.0 on Ruby 2.3.3 (2016-11-21) [x86_64-darwin16] | 72 generated by markdown/1.2.0 on Ruby 2.3.3 (2016-11-21) [x86_64-darwin16] |
| 73 on 2017-02-14 15:44:26 +0900 with Markdown engine kramdown (1.13.0) | 73 on 2017-02-14 16:08:41 +0900 with Markdown engine kramdown (1.13.0) |
| 74 using options {} | 74 using options {} |
| 75 --> | 75 --> |
| 76 | 76 |
| 77 <!-- _S9SLIDE_ --> | 77 <!-- _S9SLIDE_ --> |
| 78 <h1 id="section">プログラミング言語とソフトウェアの信頼性</h1> | 78 <h1 id="section">プログラミング言語とソフトウェアの信頼性</h1> |
| 527 <ul> | 527 <ul> |
| 528 <li>メタ計算とは通常のレベルとは区別された計算</li> | 528 <li>メタ計算とは通常のレベルとは区別された計算</li> |
| 529 <li>任意の通常のレベルの計算を扱えなくてはならない | 529 <li>任意の通常のレベルの計算を扱えなくてはならない |
| 530 <ul> | 530 <ul> |
| 531 <li>ライブラリが呼び出されるプログラムは無数にあるようなイメージ</li> | 531 <li>ライブラリが呼び出されるプログラムは無数にあるようなイメージ</li> |
| 532 <li>そしてメタ計算もメタ計算で扱えなくてはいけない</li> | |
| 532 </ul> | 533 </ul> |
| 533 </li> | 534 </li> |
| 534 <li>メタレベルを使うための制約を満たしていれば良い、ということを表現できれば良い</li> | 535 <li>メタレベルを使うための制約を満たしていれば良い、ということを表現できれば良い</li> |
| 535 <li>部分型を使う | 536 <li>部分型を使う |
| 536 <ul> | 537 <ul> |