+%CbCはLLVMで実装されている。一つの塊として操作される。機能であるメモリ管理やスレッド管理を行う。いうまとまりにすることができる。+%この仕組みの上に並列処理用のtaskmanagerを簡単なosとして構成することができた。様々な構成要素を作成していきたい。+%またメタ計算を用いて信頼性をあげる方法についても研究を進めていく。+%例えばユーザーレベルプログラムから定理証明支援系であるagdaのコードを生成することにより、プログラムの正しさを証明していくことが考えられる。\thispagestyle{fancy}。