\title{{\bf   検証を自身で表現できるハードウェア、ソフトウェア記述言語 Continuation based C と、そのCell への応用}}

%\pagenumbering{roman}
\author{ 河野真治 \\[5mm]
e-mail:kono@ie.u-ryukyu.ac.jp\\
Information Engineering, University of the Ryukyus\\
Nishihara-cyo 1, Okinawa, 903-01, Japan}
% \date{}