Binary file paper/anatofuz_prosym_2019.pdf has changed

--- a/paper/anatofuz_prosym_2019.tex	Wed Nov 20 14:55:00 2019 +0900
+++ b/paper/anatofuz_prosym_2019.tex	Wed Nov 20 15:19:04 2019 +0900
@@ -47,26 +47,24 @@
 
 %概要
 \begin{abstract}
-Perl6 の実装の一つであるRakudoは, Byte code である MoarVM と, その上で動作する Perl6 のsubsetである nqp (Not Quite Perl) 上に構成されている,
-
-現状の Perl6 の実行は Perl6 で記述されたコンパイラを load して JIT しながら実行すること自体に時間がかかっている.
-そこで, Perl6 をサーバーとして動作させ, 実行するファイルをサーバーに投げて実行する方法を実装してみた.
-
-本論文では, サーバーで script 言語を実行する場合の利点と欠点について考察する.
+継続を基本とするCと互換性のある言語、Conitinuation Based C(CbC)を用いてOSの実装を考案した。
+状態遷移単位でOSの処理を実装することで、入出力が明確化され、定理証明支援系などとの表現形式と同様の表現で動作が記述可能である。
+ここでは現在CbCを用いて開発しているGearsOSについての実装及び今後の展望について考察する。
 \end{abstract}
 
 \begin{jkeyword}
-プログラミング言語, Perl6, サーバー, Raku 
+システムプログラミング, CbC, 軽量継続, OS
 \end{jkeyword}
 
 \maketitle
 
 % Body %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \section{証明可能なOS}
-OS開発したい
+コンピュータ上で動作するあらゆるソフトウェアや資源を管理するOSは、 高い信頼性が保証されるべきである。
+信頼性の保証にはテストプログラムを用いた検証や、 形式手法を用いた証明を使う手法が存在する。
+現在開発しているGearsOSは、 継続を基本とする言語Conitinuation Based C(CbC)で実装されている。
 
 
-今後の開発を行っていくにあたって, 他の Python のような script 言語にも応用できるように開発を行っていく.
 
 \nocite{*}
 \bibliographystyle{ipsjsort}