Mercurial > hg > Papers > 2020 > ikkun-sigos
changeset 8:465226b85d99
add pdf
| author | ikkun <ikkun@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 04 May 2020 03:36:56 +0900 |
| parents | 58b13d3e573e |
| children | 9a18a3f1f7ed |
| files | paper/ikkun-sigos.pdf paper/ikkun-sigos.tex |
| diffstat | 2 files changed, 1 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/ikkun-sigos.tex Mon May 04 03:34:12 2020 +0900 +++ b/paper/ikkun-sigos.tex Mon May 04 03:36:56 2020 +0900 @@ -102,8 +102,7 @@ Gears OS はこの性質を利用して処理の間にメタレベルの計算である meta Code Gear またmeta Code Gear を入れることができる メタ計算である meta Code Gear、meta Data Gaer と対比して、Coed Gear、Data Gaer をインターフェースといい、OSとしての重要な - \seciton{GearsOSを用いたモデル検査} - + \section{GearsOSを用いたモデル検査}