# HG changeset patch
# User kkb
# Date 1430733022 -32400
# Node ID 537ebaa79b210492c9022fc5f859d1ce7b8c8840
# Parent  8eb14d83a1f2e713b9558171a0bca0d10ed51b00
edit theory

diff -r 8eb14d83a1f2 -r 537ebaa79b21 paper/design.tex
--- a/paper/design.tex	Mon May 04 18:43:55 2015 +0900
+++ b/paper/design.tex	Mon May 04 18:50:22 2015 +0900
@@ -21,7 +21,11 @@
 このように、Monad を用いたメタ計算の表現では通常の計算とメタ計算が一対
 一に対応する。
 
-一般的には
+一般的には複数の Monad の組み合わせが Moand になることを示すのは難しい。
+GearsOS では Code と Data を分離して、Code から他の Code への呼び出し
+を継続を用いて行う。
+GearsOS での Monad は Meta Code と Meta Data になる。
+この構成では Meta Code を順次呼び出すことにより、
 
 % Code Segment
 % Data Segment