--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/sigos.bbl	Fri Apr 14 23:30:08 2017 +0900
@@ -0,0 +1,32 @@
+\begin{thebibliography}{1}
+
+\bibitem{cerium}
+宮國　渡，河野真治，神里　晃，杉山千秋\：Cell 用の Fine-grain Task Manager
+  の実装，情報処理学会
+  システムソフトウェアとオペレーティング・システム研究会(OS) (2008).
+
+\bibitem{alice}
+照屋のぞみ，河野真治\：分散フレームワークAliceのPC画面配信システムへの応用，第57回プログラミング・シンポジウム
+  (2016).
+
+\bibitem{segment}
+河野真治，杉本　優\：Code Segment と Data Segment
+  によるプログラミング手法，第54回プログラミング・シンポジウム (2013).
+
+\bibitem{opencl}
+{Aaftab Munshi, Khronos OpenCL Working Group}: {\em {The OpenCL Specification
+  Version 1.0}} (2007).
+
+\bibitem{cuda}
+: {CUDA}, {https://developer.nvidia.com/category/zone/cuda-zone/}.
+
+\bibitem{gears}
+小久保翔平，伊波立樹，河野真治\：Monad に基づくメタ計算を基本とする Gears OS
+  の設計，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
+  (2015).
+
+\bibitem{cbc-lola}
+TOKKMORI, K. and KONO, S.: Implementing Continuation based language in LLVM and
+  Clang, {\em LOLA 2015} (2015).
+
+\end{thebibliography}