--- a/Paper/tex/conclusion.tex	Wed Feb 01 20:27:04 2023 +0900
+++ b/Paper/tex/conclusion.tex	Wed Feb 01 22:16:45 2023 +0900
@@ -1,10 +1,10 @@
 \section{まとめ}
-本稿では、Gears Agda を用いてAI研究への適応方法について述べた。
-手法として、Gears Agda によりプログラムの内部にアルゴリズムを使用したコードで
-置き換えられる部分が存在するかをモデル検査で探索する。
-これをニューラルネットワークの中間層の最適化に使用する。
-したがって、中間層を別の少ないレイヤーで置き換えられないかを探索する。
-加えて、考慮するレイヤーの中に新規で計算式を加えることで新しいレイヤーを
-開発できるのではないかとも考えている。
+本稿では,Gears Agda を用いてAI研究への適応方法について述べた.
+手法として,Gears Agda によりプログラムの内部にアルゴリズムを使用したコードで
+置き換えられる部分が存在するかをモデル検査で探索する.
+これをニューラルネットワークの中間層の最適化に使用する.
+したがって,中間層を別の少ないレイヤーで置き換えられないかを探索する.
+加えて,考慮するレイヤーの中に新規で計算式を加えることで新しいレイヤーを
+開発できるのではないかとも考えている.