# HG changeset patch
# User Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
# Date 1518189592 -32400
# Node ID 800aae8618f07fe09223d99c69c4b6d894fff734
# Parent  83d080f68d19e2f800c954270542f9129a45fb83
Fix

diff -r 83d080f68d19 -r 800aae8618f0 paper/interface.tex
--- a/paper/interface.tex	Sat Feb 10 00:15:33 2018 +0900
+++ b/paper/interface.tex	Sat Feb 10 00:19:52 2018 +0900
@@ -39,10 +39,10 @@
 
 これらの問題点は Context が全ての Code Gear と Data Gear の集合を表現するために起こった問題である。
 そこで、Gears OS をモジュール化する仕組みとして Interface を導入した。
+
 Interface はある Data Gear の定義と、それに対する操作(API)を行う Code Gear の集合を表現する Meta Data Gear である。
 Context では全ての Code Gear と Data Gear の集合を表現していることに対し、Interface は一部の Code Gear と一部の Data Gear の集合を表現する。
-Interface を導入することで、データ構造を使用と実装に分けて記述することが出来る。
-この Interface は Java の インターフェース、Haskell の型クラスに対応する。
+この Interface は Java のインターフェース、Haskell の型クラスに対応し、導入することでデータ構造を仕様と実装に分けて記述することが出来る。
 
 \section{Interface の定義}
 Interface は使用される Data Gear の定義と、それに対する操作を行う Code Gear の集合を表現する Meta Data Gear である。
diff -r 83d080f68d19 -r 800aae8618f0 paper/master_paper.pdf
Binary file paper/master_paper.pdf has changed