--- a/tex/spec.tex	Mon Sep 14 02:58:14 2020 +0900
+++ b/tex/spec.tex	Mon Sep 14 05:41:23 2020 +0900
@@ -23,19 +23,14 @@
 今回はその Meta Gears をagdaによる検証の為に用いる。
 
 \begin{itemize}
-  \item Meta DataGear
-  \begin{itemize}
-    \item
-    Agda 上で Meta DataGear を持つことでデータ構造自体が関係を持つデータを作ることができる。
-    これを用いることで、仕様となる制約条件を記述することができる。
-  \end{itemize}
-  \item Meta CodeGear
-  \begin{itemize}
-    \item
-    Meta CodeGear は 通常の CodeGear では扱えないメタレベルの計算を扱う CodeGear
-    である。Agda での Meta CodeGear は Meta DataGear を引数に取りそれらの関係を返
-    す CodeGear である。故に、Meta CodeGear は Agda で記述した CodeGear の検証そのものである
-  \end{itemize}
+    \item Meta DataGear \mbox{}\\
+		Agda 上で Meta DataGear を持つことでデータ構造自体が関係を持つデータを作ることができる。
+		これを用いることで、仕様となる制約条件を記述することができる。
+
+	\item Meta CodeGear\mbox{}\\
+		Meta CodeGear は 通常の CodeGear では扱えないメタレベルの計算を扱う CodeGear
+		である。Agda での Meta CodeGear は Meta DataGear を引数に取りそれらの関係を返
+		す CodeGear である。故に、Meta CodeGear は Agda で記述した CodeGear の検証そのものである
 \end{itemize}
 
 \subsection{Code Gear の 遷移の検証}