diff main.tex @ 40:470d99799398

Add description functor record
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Fri, 13 Feb 2015 11:31:46 +0900
parents 8a70394e45b4
children 1b688e70f2a8
line wrap: on
line diff
--- a/main.tex	Thu Feb 12 18:08:01 2015 +0900
+++ b/main.tex	Fri Feb 13 11:31:46 2015 +0900
@@ -9,7 +9,7 @@
 \usepackage[utf8]{inputenc}
 
 \setlength{\itemsep}{-1zh}
-\title{圏によるプログラムの変更の形式化}
+\title{プログラムの変更の圏による形式化}
 \icon{
     \includegraphics[width=80mm,bb=0 0 595 642]{fig/ryukyu.pdf}
 }