\section{Continuation based C}
Continuation based C\cite{kaito-lola} (以下 CbC) は 
関数呼び出しの際にjmp命令で遷移をし、環境を持たずに遷移する
ことができるC言語である、
つまりC言語の下位言語にあたり、よりアセンブラに近い記述を行う

jmp命令であるため関数遷移をし、実行が終了しても
もとの関数に戻ることはない。
そのため次に遷移する Code Gear を指定する。
これは、関数型プログラミングでの末尾関数呼び出しに相当する。

Code Gear に Deta Gear を与え、それをもとに処理を行い、
出力として Data Gear を返し、また次の Code Gearに遷移
していく流れとなる。

CbC では CodeGear を処理の単位、
DataGear をデータの単位として記述するプログラミング言語である。

他のプログラミング言語とは違い、
Code Gear が　暗黙の環境を持たず、受け取った Data Gear のみを
もとに処理をすること、
さらに Code Gear 単位で処理が完結していることから、
検証に適したプログラミング言語であると言える。

また、プログラムを記述する際は、ノーマルレベルの計算の他に、メモリ管理、スレッド管理、資源管理等を記述しなければならない処理が存在する。
これらの計算はノーマルレベルの計算と区別してメタ計算と呼ぶ。

メタ計算は OS の機能を通して処理することが多く、信頼性の高い記述が求められる。
そのため、 CbC ではメタ計算を分離するために Meta CodeGear、 Meta DataGear を定義している

Meta CodeGear は CbC 上でのメタ計算で、通常の CodeGear を実行する際に必要なメタ計算を分離するための単位である。
図 \ref{fig:meta-cgdg} のように CodeGear を実行する前後や DataGear の大枠として Meta Gear が存在している。

\begin{figure}[htpb]
 \begin{center}
  \scalebox{0.35}{\includegraphics{fig/cbc_codegear.pdf}}
 \end{center}
 \caption{メタ計算を可視化した CodeGear と DataGear}
 \label{fig:meta-cgdg}
\end{figure}