# HG changeset patch
# User menikon
# Date 1581823975 -32400
# Node ID 5317715ca32da1f1d9e4fd56c25d03677d290221
# Parent  f1431caec829b449c9a40337e042e9f4f6b8a1bc
fix

diff -r f1431caec829 -r 5317715ca32d final_sub/reference.bib
--- a/final_sub/reference.bib	Sun Feb 16 00:17:41 2020 +0900
+++ b/final_sub/reference.bib	Sun Feb 16 12:32:55 2020 +0900
@@ -7,23 +7,20 @@
 }
 
 @misc{xv6,
-title     = "{Xv6, a simple Unix-like teaching operating system}",
-note = "(2019年10月19日閲覧)",
-howpublished    = {\url{https://pdos.csail.mit.edu/6.828/2019/xv6.html}},
+  title={Xv6, a simple Unix-like teaching operating system},
+  author={Cox, Russ and Kaashoek, M Frans and Morris, Robert},
+  journal={2013-09-05]. http://pdos. csail. mit. edu/6.828/2012/xv6. html},
+  year={2011},
+  note = "(2020年2月7日閲覧)"
 }
 
-@InProceedings{llvm,
-author    = {Chris Lattner and Vikram Adve},
-title     = "{LLVM: A Compilation Framework for Lifelong Program Analysis \& Transformation}",
-booktitle = "{Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04)}",
-address   = {Palo Alto, California},
-month     = {Mar},
-year      = {2004}
-}
-
-@manual{gcc,
-author = "{GNU Compiler Collection (GCC) Internals}",
-title ="{http://gcc.gnu.org/onlinedocs/gccint/}",
+@article{
+    gears,
+    author = "河野 真治 and 伊波 立樹 and  東恩納 琢偉",
+    title = "Code Gear、Data Gear に基づく OS のプロトタイプ",
+    journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
+    month = "May",
+    year = 2016
 }
 
 @article{GearsOS,
diff -r f1431caec829 -r 5317715ca32d final_sub/utf8.pdf
Binary file final_sub/utf8.pdf has changed
diff -r f1431caec829 -r 5317715ca32d final_sub/utf8.tex
--- a/final_sub/utf8.tex	Sun Feb 16 00:17:41 2020 +0900
+++ b/final_sub/utf8.tex	Sun Feb 16 12:32:55 2020 +0900
@@ -66,10 +66,10 @@
 
 
 \section{OS に対する信頼性の保証}
-OS には信頼性の保証と拡張性の実現が求められている。信頼性をノーマルレベルの 計算に対して保証し、拡張性をメタレベルの計算で実現することを目標に Continuation based C (CbC) を用いて Gears OS を開発中である。
+OS には信頼性の保証と拡張性の実現が求められている。信頼性をノーマルレベルの 計算に対して保証し、拡張性をメタレベルの計算で実現することを目標に Continuation based C\cite{cbc} (CbC) を用いて Gears OS\cite{gears} を開発中である。
 CbC は Code Gear という基本的な処理の単位と Data Gear というデータの単位を用いる。Code Gear に対して入力の Data Gear と 出力の Data Gear が存在し、入力に対して期待される出力がされてるか検査することで信頼性を保証する。
 CbC の Interface は Gears OS のモジュール化の仕組みである。Interface を使うことで検証や機能の入れ替えによる拡張が可能となる。
-前段階としてシンプルであるがプロセス、仮想メモリ、カーネルとユーザーの分離、割り込み、ファイルシステムなど Unix の基本的な構造を持っている OS である xv6 を CbC で書き換えている。
+前段階としてシンプルであるがプロセス、仮想メモリ、カーネルとユーザーの分離、割り込み、ファイルシステムなど Unix の基本的な構造を持っている OS である xv6\cite{xv6} を CbC で書き換えている。
 本論文では、xv6 の FileSystem を CbC によって書き換えることにより 複雑な処理である FileSystem を明確化させ信頼性を保証、 Interface を使用可能とすることで拡張性を実現することを目標とする。
 \section{xv6}
 xv6とはMITのオペレーティングコースの教育目的で2006年に開発されたオペレーティングシステムである。