# HG changeset patch
# User mir3636
# Date 1549769467 -32400
# Node ID eaa1622dec068b5c7088fd6fb5a0a46b1ab70b67
# Parent  75efd3df0c7e7cd54941ef7c856e8bb726d66857
update

diff -r 75efd3df0c7e -r eaa1622dec06 paper/fig/xv6.graffle
Binary file paper/fig/xv6.graffle has changed
diff -r 75efd3df0c7e -r eaa1622dec06 paper/fig/xv6.pdf
Binary file paper/fig/xv6.pdf has changed
diff -r 75efd3df0c7e -r eaa1622dec06 paper/introduction.tex
--- a/paper/introduction.tex	Fri Feb 08 17:23:51 2019 +0900
+++ b/paper/introduction.tex	Sun Feb 10 12:31:07 2019 +0900
@@ -19,7 +19,7 @@
 その OS/360 は強力なソフトウェア互換を持っていた。
 ソフトウェア互換により全てのソフトウェアが全てのマシンで動作するようになった。
 その後、OS は、スプーリングやタイムシェアリングといった機能も導入されるようになった。
-1970年代には UNIX が開発され、後に様々なバージョンが開発され、System V、BSD といった派生 OS なども開発され、現在に至る。
+1970年代には UNIX が開発され、後に様々なバージョンが開発され、System V、BSD といった派生 OS なども開発され、現在に至る。\cite{os}
 
 OS はさまざまなコンピュータの信頼性の基本である。
 OS の信頼性を保証する事自体が難しいが、
diff -r 75efd3df0c7e -r eaa1622dec06 paper/master_paper.pdf
Binary file paper/master_paper.pdf has changed
diff -r 75efd3df0c7e -r eaa1622dec06 paper/master_paper.sty
--- a/paper/master_paper.sty	Fri Feb 08 17:23:51 2019 +0900
+++ b/paper/master_paper.sty	Sun Feb 10 12:31:07 2019 +0900
@@ -210,7 +210,7 @@
       (主　査)　　　　和田　知久　　　　
       \vskip 2 em
       \underline{　　　　　　　　　　　　　　　　　　印}\\
-      (副　査)　　　　岡\UTF{FA11} 威生　　　
+      (副　査)　　　　岡　威生　　　
       \vskip 2 em
       \underline{　　　　　　　　　　　　　　　　　　印}\\
       (副　査)　　　　赤嶺　有平