--- a/paper/abstract.tex	Sat Feb 10 03:01:54 2018 +0900
+++ b/paper/abstract.tex	Sat Feb 10 03:15:32 2018 +0900
@@ -3,7 +3,7 @@
 本研究室では 処理を Code Gear、 データを Data Gear という単位を用いて信頼性と拡張性をメタレベルで保証する Gears OS を開発している。
 
 Gears OS の信頼性と拡張性は ノーマルレベルの計算に対して別の階層のメタレベルの計算される。
-このメタ計算は CPU、GPU などの実行環境の切り替え, データ拡張等を提供する。
+このメタ計算は CPU、GPU などの実行環境の切り替え、 データ拡張等を提供する。
 
 Gears OS では Task を Code Gear と入力の Input Data Gear と出力の Output Data Gear の組で表現される。
 このInput/Output Data Gear によって依存関係を解決し、Input Data Gear が揃った Code Gear が並列実行される。

--- a/slide/slide.md	Sat Feb 10 03:01:54 2018 +0900
+++ b/slide/slide.md	Sat Feb 10 03:15:32 2018 +0900
@@ -4,13 +4,23 @@
 lang: Japanese
 code-engine: coderay
 
-## Gears OS
-- 並列処理のチューニングや信頼性を保証するのは難しい
+## メタ計算を用いた並列処理
+- 並列処理は現在主流のマルチコアCPU の性能を発揮するには重要なものになっている
+- しかし、並列処理のチューニングや信頼性を保証するのは難しい
     - スレッド間の共通資源の競合などの非決定的な実行
     - 従来のテストやデバッグではテストしきれない部分が残ってしまう
+    - GPU などのアーキテクチャに合わせた並列プログラミングの記述
+
+## Gears OS
+- 本研究室では 処理の単位を Code Gear、 データの単位を Data Gear を用いて 信頼性が高い並列処理を行う Gears OS を開発している
 - Gears OS では計算をノーマルレベルとメタレベルに階層化
-    - 信頼性と拡張性をメタレベルで保証する
-
+- 信頼性と拡張性をメタレベルで保証する
+    - 並列処理の信頼性を通常の計算(ノーマルレベル) に保証
+    - CPU、GPU などの実行環境の切り替え、データ拡張等のを提供
+    
+## Gears OS
+- 本研究ではGears OS の並列処理機構、並列構文の実装を行う
+- 
 ## Code Gear、 Data Gear
 - Gears OS は Code Gear、 Data Gear という Gear で構成される
 - Code Gear はプログラムの処理そのものを表す