\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}