--- a/paper/chapter/06-evaluation.tex	Wed Feb 03 21:29:14 2021 +0900
+++ b/paper/chapter/06-evaluation.tex	Thu Feb 04 11:43:18 2021 +0900
@@ -1,7 +1,14 @@
 \chapter{評価}
 
-\section{GearsOSのビルドシステム}
+\section{GearsOSの構文作製}
+GearsOSで使われるInterface、およびそのImplementの型定義ファイルを導入した。
+GearsOSでプログラミングする際に通常のC言語やJavaなどの言語の様に、まず型を作成してからプログラミングすることが可能になった。
+
+ただし現状のGearsOSでは1ファイルに1つの型定義しかできない。
+アプリケーションとしてGearsOSを動かす現在の例題ではそこまで問題になっていない。
+しかし、CbC xv6などの実用的なアプリケーションを実装する場合は、ファイルの数が莫大になる可能性がある。
+1ファイル内で様々な型が定義可能になれば、 より見通しの良いプログラミングが可能であると考えられる。
 
 \section{GearsOSのトランスコンパイラ}
 
-\section{GearsOSのメタ計算}
\ No newline at end of file
+\section{GearsOSのメタ計算}