# HG changeset patch
# User ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
# Date 1588531016 -32400
# Node ID 465226b85d99b3b230f20040fa63b96843840ab1
# Parent  58b13d3e573e93e11f43ac3f9f373d2f9b07140e
add pdf

diff -r 58b13d3e573e -r 465226b85d99 paper/ikkun-sigos.pdf
Binary file paper/ikkun-sigos.pdf has changed
diff -r 58b13d3e573e -r 465226b85d99 paper/ikkun-sigos.tex
--- 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を用いたモデル検査}