\begin{thebibliography}{1}

\bibitem{cerium}
金川竜己，河野真治\：非破壊的木構造データベース Jungle とその評価，情報処理学会
  システムソフトウェアとオペレーティング・システム研究会(OS) (2015).

\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).

\end{thebibliography}