changeset 89:865c83d5dcd7

Fix
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Thu, 09 Feb 2017 18:12:12 +0900
parents 2be864ed3a79
children f535393e4043
files paper/atton-master.pdf paper/atton-master.tex paper/master_paper.sty
diffstat 3 files changed, 2 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
Binary file paper/atton-master.pdf has changed
--- a/paper/atton-master.tex	Thu Feb 09 17:50:50 2017 +0900
+++ b/paper/atton-master.tex	Thu Feb 09 18:12:12 2017 +0900
@@ -7,7 +7,6 @@
 %    type system に名前を付ける?
 %    先の展望を書くべきだな
 %    delta monad
-%    副査名修正
 %    csComp, push-pop, exec-comp の解説
 %    型システムの説明は付録に
 %        というか説明が良くない
--- a/paper/master_paper.sty	Thu Feb 09 17:50:50 2017 +0900
+++ b/paper/master_paper.sty	Thu Feb 09 18:12:12 2017 +0900
@@ -197,10 +197,10 @@
       (主 査)    和田 知久    
       \vskip 2 em
       \underline{                  印}\\
-      (副 査)    高良 富夫    
+      (副 査)    岡﨑 威生    
       \vskip 2 em
       \underline{                  印}\\
-      (副 査)    長田 智和    
+      (副 査)    名嘉村 盛和   
       \vskip 2 em
       \underline{                  印}\\
       (副 査)    河野 真治