Mercurial > hg > Papers > 2015 > atton-thesis

changeset 20:beebe0ffbcad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix figures
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 08 Feb 2015 22:34:58 +0900
parents 43d3e7b31fc0
children 7d94faaeb448
files category.tex main.tex
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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}
--- 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{琉球大学工学部情報工学科}