# HG changeset patch
# User mir3636
# Date 1492770000 -32400
# Node ID 0f3881e77256cfb11b5be7ca9b01afafa5daedd4
# Parent  00f95e081a85093ac61ddab09b929ebdf0b876ac
add

diff -r 00f95e081a85 -r 0f3881e77256 paper/pic/gears_structure.graffle
Binary file paper/pic/gears_structure.graffle has changed
diff -r 00f95e081a85 -r 0f3881e77256 paper/sigos.dvi
Binary file paper/sigos.dvi has changed
diff -r 00f95e081a85 -r 0f3881e77256 paper/sigos.log
--- a/paper/sigos.log	Fri Apr 21 16:46:59 2017 +0900
+++ b/paper/sigos.log	Fri Apr 21 19:20:00 2017 +0900
@@ -1,4 +1,4 @@
-This is e-pTeX, Version 3.14159265-p3.7-160201-2.6 (utf8.euc) (TeX Live 2016) (preloaded format=platex 2017.2.4)  21 APR 2017 14:53
+This is e-pTeX, Version 3.14159265-p3.7-160201-2.6 (utf8.euc) (TeX Live 2016) (preloaded format=platex 2017.2.4)  21 APR 2017 19:04
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -207,44 +207,44 @@
 File: ./pic/gears_structure.pdf Graphic file (type pdf)
  <./pic/gears_structure.pdf>
 LaTeX Font Info:    Font shape `OT1/cmtt/bx/n' in size <7> not available
-(Font)              Font shape `OT1/cmtt/m/n' tried instead on input line 199.
+(Font)              Font shape `OT1/cmtt/m/n' tried instead on input line 201.
 
-Overfull \hbox (69.04842pt too wide) in paragraph at lines 199--199
+Overfull \hbox (69.04842pt too wide) in paragraph at lines 201--201
 []\OT1/cmr/m/n/9 cbccode 
  []
 
 [2]
-Overfull \hbox (71.64214pt too wide) in paragraph at lines 233--233
+Overfull \hbox (71.64214pt too wide) in paragraph at lines 236--236
 []\OT1/cmr/m/n/9 interface 
  []
 
 
-Overfull \hbox (68.36577pt too wide) in paragraph at lines 249--249
+Overfull \hbox (68.36577pt too wide) in paragraph at lines 252--252
 []\OT1/cmr/m/n/9 Gearef1 
  []
 
 
-Overfull \hbox (68.36577pt too wide) in paragraph at lines 250--250
+Overfull \hbox (68.36577pt too wide) in paragraph at lines 253--253
 []\OT1/cmr/m/n/9 Gearef2 
  []
 
 
-Overfull \hbox (84.27539pt too wide) in paragraph at lines 273--273
+Overfull \hbox (84.27539pt too wide) in paragraph at lines 276--276
 []\OT1/cmr/m/n/9 exampleCG 
  []
 
 [3]
-Overfull \hbox (54.70755pt too wide) in paragraph at lines 274--274
+Overfull \hbox (54.70755pt too wide) in paragraph at lines 277--277
 []\OT1/cmr/m/n/9 stub 
  []
 
 
-Overfull \hbox (66.99287pt too wide) in paragraph at lines 280--280
+Overfull \hbox (66.99287pt too wide) in paragraph at lines 283--283
 []\OT1/cmr/m/n/9 context 
  []
 
 [4]
-Overfull \hbox (80.86778pt too wide) in paragraph at lines 296--296
+Overfull \hbox (80.86778pt too wide) in paragraph at lines 299--299
 []\OT1/cmr/m/n/9 initcontext 
  []
 
diff -r 00f95e081a85 -r 0f3881e77256 paper/sigos.pdf
Binary file paper/sigos.pdf has changed
diff -r 00f95e081a85 -r 0f3881e77256 paper/sigos.tex
--- a/paper/sigos.tex	Fri Apr 21 16:46:59 2017 +0900
+++ b/paper/sigos.tex	Fri Apr 21 19:20:00 2017 +0900
@@ -200,9 +200,10 @@
 
 \lstinputlisting[label=excbc, caption=cbccode]{./src/ex_stack.cbc}
 
-これがユーザーレベルでの Code Gear の記述である。
 \section{CbC による Gears OS 記述の問題}
 
+
+
 %メタの話
 Gears OS を CbC で実装する上でメタ計算の記述が煩雑であることがわかった。
 これらのメタ計算を自動生成することにより Gears OS を記述する上においてより良い構文をユーザーに提供することにした。