# HG changeset patch
# User anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
# Date 1612170913 -32400
# Node ID f72ef87a513956373f7c2d8d03a17463e70c4f1c
# Parent  71309cfa341ac2288d68e75728de70f8429939c1
...

diff -r 71309cfa341a -r f72ef87a5139 paper/chapter/02-cbc.tex
--- 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を元にプログラミングを行う。
diff -r 71309cfa341a -r f72ef87a5139 paper/chapter/04-perl.tex
--- a/paper/chapter/04-perl.tex	Mon Feb 01 18:02:25 2021 +0900
+++ b/paper/chapter/04-perl.tex	Mon Feb 01 18:15:13 2021 +0900
@@ -1,4 +1,4 @@
-\chapter{GearsOSのトランスコンパイラ}
+\chapter{トランスコンパイラによるメタ計算}
 
 GearsOSはCbCで実装を行う。
 CbCはC言語よりアセンブラに近い言語であるため、 すべてを純粋なCbCで記述しようとすると記述量が膨大になってしまう。
diff -r 71309cfa341a -r f72ef87a5139 paper/master_paper.pdf
Binary file paper/master_paper.pdf has changed