--- a/paper/chapter/02-cbc.tex	Mon Feb 01 18:02:25 2021 +0900
+++ b/paper/chapter/02-cbc.tex	Mon Feb 01 18:15:13 2021 +0900
@@ -46,6 +46,10 @@
 CodeGearとその入出力であるDataGearを基本としたOSとして、 GearsOSの設計を行っている。\cite{gears}
 現在のGearsOSは並列フレームワークとして実装されており、 実用的なOSのプロトタイプ実装として既存のOS上への実装を目指している。
 
+\section{メタ計算}
+
+関数型プログラミングの見方では、 メタ計算はモナドの形で表現されていた。\cite{moggi-monad}
+
 \section{MetaCodeGear}
 
 GearsOSでは、 CodeGearとDataGearを元にプログラミングを行う。