# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1423402498 -32400
# Node ID beebe0ffbcad1b00d0ac563c8dd431585f54d1a0
# Parent  43d3e7b31fc0cc34f206c98f413a9fe3886892cd
Fix figures

diff -r 43d3e7b31fc0 -r beebe0ffbcad category.tex
--- a/category.tex	Sun Feb 08 22:23:56 2015 +0900
+++ b/category.tex	Sun Feb 08 22:34:58 2015 +0900
@@ -250,7 +250,7 @@
 
 \begin{figure}[htbp]
     \begin{center}
-        \includegraphics[scale=1.0]{fig/monad_laws.pdf}
+        \includegraphics[scale=0.9]{fig/monad_laws.pdf}
         \caption{$ triple (T, \eta, \mu) $ が Monad であるために満たすべき可換図}
         \label{fig:monad_laws}
     \end{center}
diff -r 43d3e7b31fc0 -r beebe0ffbcad main.tex
--- a/main.tex	Sun Feb 08 22:23:56 2015 +0900
+++ b/main.tex	Sun Feb 08 22:34:58 2015 +0900
@@ -8,7 +8,7 @@
 \setlength{\itemsep}{-1zh}
 \title{圏によるプログラムの変更の形式化}
 \icon{
-    \includegraphics[width=80mm,bb=0 0 595 842]{fig/ryukyu.pdf}
+    \includegraphics[width=80mm,bb=0 0 595 642]{fig/ryukyu.pdf}
 }
 \year{平成26年度 卒業論文}
 \belongto{琉球大学工学部情報工学科}