# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1486634058 -32400
# Node ID 16dc3337a5a902fc458021002e82c8b2e83350cf
# Parent  c407b7403548275b20fd8c6c3a8681a9ecadc910
Update

diff -r c407b7403548 -r 16dc3337a5a9 paper/atton-master.pdf
Binary file paper/atton-master.pdf has changed
diff -r c407b7403548 -r 16dc3337a5a9 paper/cbc.tex
--- a/paper/cbc.tex	Thu Feb 09 18:52:09 2017 +0900
+++ b/paper/cbc.tex	Thu Feb 09 18:54:18 2017 +0900
@@ -107,7 +107,7 @@
 CbC を用いてメタ計算を実現した例として、GearsOS\cite{weko_142109_1}が存在する。
 GearsOS は並列に、信頼性高く動作することを目標としたOS であり、 マルチコアCPUやGPU環境での動作を対象としている。
 現在OSの設計と並列処理部分の実装が行なわれている。
-GearsOS におけるメタ計算はMonad\cite{Moggi:1991:NCM:116981.116984}を用いている。 %TODO: kkb さんの修論
+GearsOS におけるメタ計算はMonad\cite{Moggi:1991:NCM:116981.116984}を用いている~\cite{kkb-master}。
 現在実装済みのメタ計算はメモリの管理、並列に書き込むことが可能な Synchronized Queue、データの保存用の非破壊赤黒木がある。
 
 GearsOS では CodeSegment と DataSegment はそれぞれ CodeGear と DataGear と呼ばれている。
diff -r c407b7403548 -r 16dc3337a5a9 paper/reference.bib
--- a/paper/reference.bib	Thu Feb 09 18:52:09 2017 +0900
+++ b/paper/reference.bib	Thu Feb 09 18:54:18 2017 +0900
@@ -158,7 +158,14 @@
     school = "琉球大学 大学院理工学研究科 情報工学専攻",
     year   = "2016"
 }
-:
+
+@mastersthesis{kkb-master,
+    author = "小久保 翔平",
+    title  = "Code Segment と Data Segment を持つ Gears OS の 設計",
+    school = "琉球大学 大学院理工学研究科 情報工学専攻",
+    year   = "2016"
+}
+
 @book{Pierce:2002:TPL:509043,
     author = {Pierce, Benjamin C.},
     title = {Types and Programming Languages},