changeset 21:19f19ec356f5

Fix
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Fri, 03 Feb 2023 19:06:13 +0900
parents bc0d518ed166
children b37e4cd69468
files Paper/master_paper.out Paper/master_paper.pdf Paper/master_paper.sty Paper/master_paper.tex Paper/tex/continuation_agda.tex Paper/tex/thanks.tex
diffstat 6 files changed, 7 insertions(+), 10 deletions(-) [+]
line wrap: on
line diff
--- a/Paper/master_paper.out	Fri Feb 03 03:10:18 2023 +0900
+++ b/Paper/master_paper.out	Fri Feb 03 19:06:13 2023 +0900
@@ -41,6 +41,3 @@
 \BOOKMARK [1][]{section.7.1}{\376\377\0007\000.\0001\000\040\116\312\137\214\060\156\212\262\230\114}{chapter.7}% 40
 \BOOKMARK [0][]{chapter*.7}{\376\377\213\035\217\236}{}% 41
 \BOOKMARK [0][]{chapter*.8}{\376\377\123\302\200\003\145\207\163\056}{}% 42
-\BOOKMARK [0][]{chapter*.8}{\376\377\116\330\223\062}{}% 43
-\BOOKMARK [0][]{appendix.A}{\376\377\116\330\000\040\223\062\000A\000\040\000\040\060\275\060\374\060\271\060\263\060\374\060\311\116\000\211\247}{}% 44
-\BOOKMARK [1][]{section.A.1}{\376\377\000A\000-\0001\000\040\170\024\172\166\117\032\166\172\210\150\214\307\145\231}{appendix.A}% 45
Binary file Paper/master_paper.pdf has changed
--- a/Paper/master_paper.sty	Fri Feb 03 03:10:18 2023 +0900
+++ b/Paper/master_paper.sty	Fri Feb 03 19:06:13 2023 +0900
@@ -197,7 +197,7 @@
   氏\hspace{4ex}名: 上地 悠斗
   \vspace*{4.5cm}
   \begin{center}
-    本論文は,修士(工学)の学位論文として適切であると認める.
+    本論文は、修士(工学)の学位論文として適切であると認める。
   \end{center}
   \vskip 10 em
   \begin{minipage}{0.5\hsize}
--- a/Paper/master_paper.tex	Fri Feb 03 03:10:18 2023 +0900
+++ b/Paper/master_paper.tex	Fri Feb 03 19:06:13 2023 +0900
@@ -142,9 +142,9 @@
 %\input{chapter/history.tex}
 
 %付録
-\addcontentsline{toc}{chapter}{付録}
-\appendix
-\input{tex/appendix.tex}
+% \addcontentsline{toc}{chapter}{付録}
+% \appendix
+% \input{tex/appendix.tex}
 \end{document}
 
 
--- a/Paper/tex/continuation_agda.tex	Fri Feb 03 03:10:18 2023 +0900
+++ b/Paper/tex/continuation_agda.tex	Fri Feb 03 19:06:13 2023 +0900
@@ -6,4 +6,4 @@
 コードに (next : Envc → t) と (exit : Envc → t) を引数に受け取っている。
 これで次の遷移先を引数として受け取る事で、実行を継続していることを示す。
 = の後は next Envc もしくは exit Envc となっていることからも
-実行を継続している事が分かる。
+実行を継続している事が分かる。
\ No newline at end of file
--- a/Paper/tex/thanks.tex	Fri Feb 03 03:10:18 2023 +0900
+++ b/Paper/tex/thanks.tex	Fri Feb 03 19:06:13 2023 +0900
@@ -2,11 +2,11 @@
 \addcontentsline{toc}{chapter}{謝辞}
 
 本研究の遂行、本論文の作成にあたり、御多忙にも関わらず終始懇切なる御指導と御教授を賜わりました河野真治准教授に心より感謝致します。
-共に研究を行い暖かな気遣いと励ましをもって支えてくれた並列信頼研究室の全てのメンバーに感謝致します。
+共に研究を行い暖かな気遣いと励ましをもって支えてくれた並列信頼研究室の全てのメンバーと学科システムを保守してくれたシステム管理チームに感謝致します。
 私の研究において苦楽を共にした Manjaro Linux とその開発者には頭が上がりません。
 さらに、ゼミの前においしいご飯で元気づけてくれた Hally's Cafe に感謝しております。
 最後に、有意義な時間を共に過ごした理工学研究科工学専攻の学友、並びに物心両面で支えてくれた家族に深く感謝致します。
 
 \begin{flushright}
-    2023年 3月 \\ 上地悠斗
+    2023年 3月 \\ 上地 悠斗
 \end{flushright}
\ No newline at end of file