changeset 4:537ebaa79b21

edit theory
author kkb
date Mon, 04 May 2015 18:50:22 +0900
parents 8eb14d83a1f2
children 05be3fd35750
files paper/design.tex
diffstat 1 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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