--- a/future.tex	Sun Feb 15 21:46:38 2015 +0900
+++ b/future.tex	Sun Feb 15 21:56:19 2015 +0900
@@ -16,4 +16,4 @@
 次に、 category theory によるプログラムの変更に対する意味付けがある。
 category theory は category の構造から性質を導いたり、他の category への関連を導くことができる。
 プログラムの変更を Monad として表した時に持つ意味や、 category が持つ有益な性質をプログラムに適用したい。
-特に、複数のプログラムを同時に実行するのは product に、全てのプログラムを生成できる Delta 全体を表す集合は colimit に関連があるように考えている。
+特に、複数のプログラムを同時に実行するのは product に、全てのプログラムを生成できる Delta 全体を表す集合は colimit に関連があると考えている。

--- a/thanks.tex	Sun Feb 15 21:46:38 2015 +0900
+++ b/thanks.tex	Sun Feb 15 21:56:19 2015 +0900
@@ -6,18 +6,12 @@
 %GISゼミや英語ゼミに参加した人はその分も入れておく．
 %順番は重要なので気を付けるように．(提出前に周りの人に確認してもらう．)
 
-\hspace{1zw}本研究の遂行，また本論文の作成にあたり、御多忙にも関わらず終始懇切なる御指導と御教授を賜わりましたhoge助教授に深く感謝したします。
-
-また、本研究の遂行及び本論文の作成にあたり、日頃より終始懇切なる御教授と御指導を賜わりましたhoge教授に心より深く感謝致します。
+\hspace{1zw}本研究の遂行、また本論文の作成にあたり、御多忙にも関わらず終始懇切なる御指導と御教授を賜わりました河野真治準教授に深く感謝したします。
 
-数々の貴重な御助言と細かな御配慮を戴いたhoge研究室のhoge氏に深く感謝致します。
-
-また一年間共に研究を行い、暖かな気遣いと励ましをもって支えてくれたhoge研究室のhoge君、hoge君、hogeさん並びにhoge研究室のhoge、hoge君、hoge君、hoge君、hoge君に感謝致します。
+また一年間共に研究を行い、暖かな気遣いと励ましをもって支えてくれた並列信頼研究室のみなさんに感謝致します。
 
 最後に、有意義な時間を共に過ごした情報工学科の学友、並びに物心両面で支えてくれた両親に深く感謝致します。
 
 \begin{flushright}
- 2010年 3月 \\ hoge
+    2015年 3月 \\ 比嘉健太
 \end{flushright}
-
-