--- a/paper/master_paper.aux	Thu Feb 06 18:40:10 2020 +0900
+++ b/paper/master_paper.aux	Fri Feb 07 16:53:09 2020 +0900
@@ -2,64 +2,64 @@
 \@writefile{toc}{\contentsline {chapter}{\numberline {第1章}OS の信頼性の保障}{2}\protected@file@percent }
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {chapter}{\numberline {第2章}CbC による Geas OS の開発}{3}\protected@file@percent }
+\@writefile{toc}{\contentsline {chapter}{\numberline {第2章}CbC による Geas OS の開発}{4}\protected@file@percent }
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {2.1}Code Gear と Data Gear}{3}\protected@file@percent }
-\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces Code Gear 間の継続}}{3}\protected@file@percent }
-\newlabel{fig:codegear}{{2.1}{3}}
-\@writefile{toc}{\contentsline {section}{\numberline {2.2}Meta Code Gear と Meta Data Gear}{4}\protected@file@percent }
-\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces ノーマルレベルとメタレベルの継続の見え方}}{4}\protected@file@percent }
-\newlabel{fig:meta_cg_dg}{{2.2}{4}}
-\@writefile{toc}{\contentsline {section}{\numberline {2.3}Context}{4}\protected@file@percent }
-\newlabel{contexth}{{2.1}{5}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {2.1}\footnotesize  生成された Context}{5}\protected@file@percent }
-\@writefile{toc}{\contentsline {chapter}{\numberline {第3章}Xv6}{7}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {2.1}Code Gear と Data Gear}{4}\protected@file@percent }
+\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces Code Gear 間の継続}}{4}\protected@file@percent }
+\newlabel{fig:codegear}{{2.1}{4}}
+\@writefile{toc}{\contentsline {section}{\numberline {2.2}Meta Code Gear と Meta Data Gear}{5}\protected@file@percent }
+\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces ノーマルレベルとメタレベルの継続の見え方}}{5}\protected@file@percent }
+\newlabel{fig:meta_cg_dg}{{2.2}{5}}
+\@writefile{toc}{\contentsline {section}{\numberline {2.3}Context}{5}\protected@file@percent }
+\newlabel{contexth}{{2.1}{6}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {2.1}\footnotesize  生成された Context}{6}\protected@file@percent }
+\@writefile{toc}{\contentsline {chapter}{\numberline {第3章}Xv6}{8}\protected@file@percent }
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {3.1}Kernel Space と User Space}{7}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {3.2}system call}{7}\protected@file@percent }
-\newlabel{syscall_list}{{3.1}{7}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {3.1}\footnotesize  xv6 のシステムコールのリスト}{7}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {3.3}Xv6-rpi}{8}\protected@file@percent }
-\@writefile{toc}{\contentsline {chapter}{\numberline {第4章}CbCXv6 での Paging}{9}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {3.1}Kernel Space と User Space}{8}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {3.2}system call}{8}\protected@file@percent }
+\newlabel{syscall_list}{{3.1}{8}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {3.1}\footnotesize  xv6 のシステムコールのリスト}{8}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {3.3}Xv6-rpi}{9}\protected@file@percent }
+\@writefile{toc}{\contentsline {chapter}{\numberline {第4章}CbCXv6 での Paging}{10}\protected@file@percent }
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {4.1}Xv6 を元にした Gears OS の実装}{9}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {4.2}Paging}{9}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {4.3}User Space で Paging をする利点}{9}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {4.4}Paging の書き換え}{10}\protected@file@percent }
-\@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces On the left, xv6’s kernel address space. RWX refer to PTE read, write, and execute permissions. On the right, the RISC-V physical address space that xv6 expects to see. Russ Cox(2014) xv6 a simple, Unix-like teaching operating system (Frans Kaashoek, Robert Morris)}}{11}\protected@file@percent }
-\newlabel{fig:MemoryConstitution}{{4.1}{11}}
-\@writefile{toc}{\contentsline {chapter}{\numberline {第5章}CbC インターフェース}{12}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {4.1}Xv6 を元にした Gears OS の実装}{10}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {4.2}Paging}{10}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {4.3}User Space で Paging をする利点}{10}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {4.4}Paging の書き換え}{11}\protected@file@percent }
+\@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces On the left, xv6’s kernel address space. RWX refer to PTE read, write, and execute permissions. On the right, the RISC-V physical address space that xv6 expects to see. Russ Cox(2014) xv6 a simple, Unix-like teaching operating system (Frans Kaashoek, Robert Morris)}}{12}\protected@file@percent }
+\newlabel{fig:MemoryConstitution}{{4.1}{12}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {第5章}CbC インターフェース}{13}\protected@file@percent }
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {5.1}インターフェースの定義}{12}\protected@file@percent }
-\newlabel{interface}{{5.1}{12}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}\footnotesize  vm のインターフェースの定義(vm.h)}{12}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {5.2}インターフェースの実装}{13}\protected@file@percent }
-\newlabel{impl_vm}{{5.2}{14}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}\footnotesize  vm インターフェースの実装}{14}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {5.3}インターフェース内の private メソッド}{17}\protected@file@percent }
-\newlabel{impl_vm_privateh}{{5.3}{17}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}\footnotesize  vm private のヘッダーファイル}{17}\protected@file@percent }
-\newlabel{vm_loaduvm}{{5.4}{18}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}\footnotesize  vm.c のloaduvm}{18}\protected@file@percent }
-\newlabel{impl_vm_loaduvm}{{5.5}{19}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}\footnotesize  privateでの loaduvm の実装}{19}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {5.4}インターフェースの呼び出し}{21}\protected@file@percent }
-\newlabel{cbc_goto}{{5.6}{21}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}\footnotesize  cbc インターフェースのgoto}{21}\protected@file@percent }
-\newlabel{dummy}{{5.7}{22}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}\footnotesize  dummy を使った呼び出し}{22}\protected@file@percent }
-\@writefile{toc}{\contentsline {chapter}{\numberline {第6章}評価}{24}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {5.1}インターフェースの定義}{13}\protected@file@percent }
+\newlabel{interface}{{5.1}{13}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}\footnotesize  vm のインターフェースの定義(vm.h)}{13}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {5.2}インターフェースの実装}{14}\protected@file@percent }
+\newlabel{impl_vm}{{5.2}{15}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}\footnotesize  vm インターフェースの実装}{15}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {5.3}インターフェース内の private メソッド}{18}\protected@file@percent }
+\newlabel{impl_vm_privateh}{{5.3}{18}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}\footnotesize  vm private のヘッダーファイル}{18}\protected@file@percent }
+\newlabel{vm_loaduvm}{{5.4}{19}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}\footnotesize  vm.c のloaduvm}{19}\protected@file@percent }
+\newlabel{impl_vm_loaduvm}{{5.5}{20}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}\footnotesize  privateでの loaduvm の実装}{20}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {5.4}インターフェースの呼び出し}{22}\protected@file@percent }
+\newlabel{cbc_goto}{{5.6}{22}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}\footnotesize  cbc インターフェースのgoto}{22}\protected@file@percent }
+\newlabel{dummy}{{5.7}{23}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}\footnotesize  dummy を使った呼び出し}{23}\protected@file@percent }
+\@writefile{toc}{\contentsline {chapter}{\numberline {第6章}評価}{25}\protected@file@percent }
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {chapter}{\numberline {第7章}まとめ}{25}\protected@file@percent }
+\@writefile{toc}{\contentsline {chapter}{\numberline {第7章}まとめ}{26}\protected@file@percent }
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {7.1}今後の書き換え方針}{25}\protected@file@percent }
-\@writefile{toc}{\contentsline {chapter}{謝辞}{25}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {7.1}今後の書き換え方針}{26}\protected@file@percent }
+\@writefile{toc}{\contentsline {chapter}{謝辞}{26}\protected@file@percent }
 \citation{*}
 \bibdata{reference}
 \bibcite{xv6}{1}
@@ -73,19 +73,19 @@
 \bibcite{Sigurbjarnarson:2016:PVF:3026877.3026879}{9}
 \bibcite{agda-ryokka}{10}
 \bibcite{agda}{11}
-\@writefile{toc}{\contentsline {chapter}{参考文献}{27}\protected@file@percent }
+\@writefile{toc}{\contentsline {chapter}{参考文献}{28}\protected@file@percent }
 \bibcite{llvm}{12}
 \bibcite{gcc}{13}
 \bibcite{gears}{14}
 \bibcite{arm}{15}
 \bibstyle{junsrt}
-\@writefile{toc}{\contentsline {chapter}{発表履歴}{28}\protected@file@percent }
-\@writefile{toc}{\contentsline {chapter}{付録}{29}\protected@file@percent }
-\@writefile{toc}{\contentsline {chapter}{\numberline {付 録A }ソースコード一覧}{30}\protected@file@percent }
+\@writefile{toc}{\contentsline {chapter}{発表履歴}{29}\protected@file@percent }
+\@writefile{toc}{\contentsline {chapter}{付録}{30}\protected@file@percent }
+\@writefile{toc}{\contentsline {chapter}{\numberline {付 録A }ソースコード一覧}{31}\protected@file@percent }
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {A-1}インターフェース内の private メソッドの実装}{30}\protected@file@percent }
-\newlabel{vm_c_all}{{A.1}{30}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {A.1}\footnotesize  Xv6 の vm.c}{30}\protected@file@percent }
-\newlabel{vm_impl_private}{{A.2}{38}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {A.2}\footnotesize  vm の実装の private}{38}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {A-1}インターフェース内の private メソッドの実装}{31}\protected@file@percent }
+\newlabel{vm_c_all}{{A.1}{31}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {A.1}\footnotesize  Xv6 の vm.c}{31}\protected@file@percent }
+\newlabel{vm_impl_private}{{A.2}{39}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {A.2}\footnotesize  vm の実装の private}{39}\protected@file@percent }