--- 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}",

Binary file paper/sigos.pdf has changed

--- 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 はデータの単位となる。