\chapter*{発表履歴}
\addcontentsline{toc}{chapter}{発表文献}

\begin{itemize}
\item 河野真治, 渕田良彦, 宮國渡. 継続を基本とする言語 CbC による分散プログラミング, 日本ソフトウェア科学会第２３回大会(2B-1), September 2006.

\item 宮國渡, 河野真治. Continuation based C 言語による OS システムコールの意味記述. 情報処理学会第１０５回システムソフトウェアとオペレーティング・システム研究会 (16). April 2007.

\item 宮國渡, 河野真治, 神里晃. Cell 用の Fine-Grain Task Manager の実装. 情報処理学会第１０８回システムソフトウェアとオペレーティング・システム研究会 (13). April 2008.

\item オープンソースカンファレンス2006 Okinawa. December 2006.
\item オープンソースカンファレンス2007 Okinawa. November 2007.
\item 第31回 沖縄の産業まつり. October 2007.
\item オープンソースカンファレンス2008 Okinawa. November 2008.
\item ITまつり. January 2009.
\end{itemize}