# HG changeset patch
# User anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
# Date 1549535740 -32400
# Node ID cb746b5eac6e0fc3cc4d0f8bfc73005b63d20f13
# Parent  0f68f2558ea1e5e43a1dbfa90739540d7dd71d58
update

diff -r 0f68f2558ea1 -r cb746b5eac6e paper/chapter1.tex
--- a/paper/chapter1.tex	Thu Feb 07 16:23:42 2019 +0900
+++ b/paper/chapter1.tex	Thu Feb 07 19:35:40 2019 +0900
@@ -39,6 +39,3 @@
 また、当研究室で開発している Gears OS\cite{gears} は Code Gear、 Data Gear の単位を用いて開発されており、CbC で記述されている。
 
 本研究では CbC を用いてPerl6の実行環境である、 MoarVMの改良を行う。
-\section{論文の構成}
-
-\section{Introduction}
diff -r 0f68f2558ea1 -r cb746b5eac6e paper/main.pdf
Binary file paper/main.pdf has changed
diff -r 0f68f2558ea1 -r cb746b5eac6e prepaper/finalpre.tex
--- a/prepaper/finalpre.tex	Thu Feb 07 16:23:42 2019 +0900
+++ b/prepaper/finalpre.tex	Thu Feb 07 19:35:40 2019 +0900
@@ -29,26 +29,16 @@
 \twocolumn [
 \maketitle
 \begin{onecolabstract}
-We are developing Gears OS using Continuation based C (CbC).
-Gears OS provides highly reliable computation using meta computation.
+Current mainstream Perl6 is a project which is said to Rakudo.
+In Rakudo Perl6 itself written in a subset of Perl6 called NQP (NotQuitPerl).
+NQP is interpreted by VM.
+This VM is adapted any VM can be selected.
+Rakudo is slower in startup and evaluation than other scripting programming languages.
+
+We are developing Programing Language that name Continuation based C (CbC).
 CbC gives Code Gear and Data Gear as programing units.
 A transfer from a Code Gear to another Code Gear is implemented using a CbC's goto statement,
 which is compiled as a jump instruction in CbC. 
-Meta computations are key components of Gears OS, which provides memory managements, thread managements, 
-managements of Data/Code Gear themselves.
-CbC's goto statements provides a ways of implementing meta computations.
-From a view point of meta computation, Data Gear or Code Gear are uniform data units, which are implemented
-as union Data in CbC. 
-In the meta level, a transfer from a Code Gear is a goto statement to meta Code Gear with next Code Gear number and 
-a Context which corresponds thread structure or an environments in a functional programing.
-A meta Code Gear handles meta computations such as meta computations.
-From a normal level, meta structures are not visible directly and a Code Gear looks like a function using continuations.
-A stub Code Gear is used as a bridge between meta level and normal level.
-In this paper we create scripts which generate meta Code Gear and stub Code Gear from normal level Code Gear and Data Gear.
-Using these scripts, we can provide a interface mechanisms which are packages of Code Gears and Data Gears.
-A simple task manager is constructed using the interfaces which is a simple operating systems.
-We will constructs various components of Gears OS and meta computations which provides reliability.
-For an example, generating agda program from normal level Code Gear provides proof supports of the Code Gear.
 %CbC で OS を記述する。
 %CbCはLLVMで実装されている。
 %codeとcode のあいだをcall ではなくjmpで結ぶことができる(goto)