# HG changeset patch
# User Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
# Date 1462791088 -32400
# Node ID d64f4ead76361c448b7d87fb480eb394034c3a18
# Parent  04cb189ec8412ef6190a41f94049dc63d288c0f1
Fix

diff -r 04cb189ec841 -r d64f4ead7636 paper/sigos.bib
--- a/paper/sigos.bib	Mon May 09 14:04:32 2016 +0900
+++ b/paper/sigos.bib	Mon May 09 19:51:28 2016 +0900
@@ -16,12 +16,6 @@
     year = 2016
 }
 
-@misc{cell,
-    author = "{Sony Corporation}",
-    title = "{Cell broadband engine architecture}",
-    year = 2005
-}
-
 @article{
     segment,
     author = "河野 真治 and 杉本 優",
@@ -31,22 +25,6 @@
     year = 2013
 }
 
-@article{
-    cbc-llvm,
-    author = "徳森 海斗 and 河野 真治",
-    title = " Continuation based C の LLVM/clang 3.5 上の実装について",
-    journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
-    month = "May",
-    year = 2014
-}
-                  
-@article{
-    monad,
-    author = "Eugenio Moggi",
-    title = "Computational lambda-calculus and monads",
-    journal = "Proceedings of the Fourth Annual Symposium on Logic in computer science",
-    year = 1989
-}
                   
 @manual{opencl,
 author = "{Aaftab Munshi, Khronos OpenCL Working Group}",
diff -r 04cb189ec841 -r d64f4ead7636 paper/sigos.pdf
Binary file paper/sigos.pdf has changed
diff -r 04cb189ec841 -r d64f4ead7636 paper/sigos.tex
--- a/paper/sigos.tex	Mon May 09 14:04:32 2016 +0900
+++ b/paper/sigos.tex	Mon May 09 19:51:28 2016 +0900
@@ -102,7 +102,7 @@
 Cerium では Task と呼ばれる分割されたプログラムを依存関係に沿って実行することで並列実行を可能にする。
 Cerium では依存関係を Task 間で設定するが、本来 Task はデータに依存するもので Task 間の依存関係ではデータの依存関係を保証することができない。
 また、Task には汎用ポインタとしてデータの受け渡しを行うため、型情報がない。
-そのため、本要ポインタをキャストして利用するしか無く、型の検査を行う事ができない。
+そのため、汎用ポインタをキャストして利用するしか無く、型の検査を行う事ができない。
 
 Gears OS\cite{gears} は Code Gear と Data Gear によって構成される。
 Code Gear は処理の単位、Data Gear はデータの単位となる。