Mercurial > hg > Papers > 2017 > atton-master

changeset 89:865c83d5dcd7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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{　　　　　　　　　　　　　　　　　　印}\\
       (副　査)　　　　河野　真治