changeset 23:ef2d37da04a6

...
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Mon, 17 Apr 2023 19:16:57 +0900
parents c5de57d49cbb
children 6ed7d50cc41c
files Paper/paper.aux Paper/paper.log Paper/paper.pdf Paper/paper.synctex.gz Paper/paper.tex
diffstat 5 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/Paper/paper.aux	Mon Apr 17 18:45:20 2023 +0900
+++ b/Paper/paper.aux	Mon Apr 17 19:16:57 2023 +0900
@@ -21,7 +21,7 @@
 \citation{xv6}
 \@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces CodeGearとMetaCodeGearの関係\relax }}{3}{}\protected@file@percent }
 \newlabel{fig:meta-cgdg}{{3}{3}}
-\@writefile{toc}{\contentsline {section}{\numberline {4}\hskip 1zw{RedBlackTreeよるファイルシステムの構成}}{3}{}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {4}\hskip 1zw{RedBlackTreeによるファイルシステムの構成}}{3}{}\protected@file@percent }
 \@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces 非破壊的なTree編集\relax }}{3}{}\protected@file@percent }
 \newlabel{fig:TreeEdit}{{4}{3}}
 \@writefile{toc}{\contentsline {section}{\numberline {5}\hskip 1zw{ディスク上とメモリ上のデータ構造}}{3}{}\protected@file@percent }
--- a/Paper/paper.log	Mon Apr 17 18:45:20 2023 +0900
+++ b/Paper/paper.log	Mon Apr 17 19:16:57 2023 +0900
@@ -1,4 +1,4 @@
-This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022) (preloaded format=platex 2022.6.9)  17 APR 2023 18:44
+This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022) (preloaded format=platex 2022.6.9)  17 APR 2023 19:16
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
Binary file Paper/paper.pdf has changed
Binary file Paper/paper.synctex.gz has changed
--- a/Paper/paper.tex	Mon Apr 17 18:45:20 2023 +0900
+++ b/Paper/paper.tex	Mon Apr 17 19:16:57 2023 +0900
@@ -220,7 +220,7 @@
 これは,教育用に開発されたx.v6\cite{xv6}をCbCで書き換える形で実装する.
 今回,ファイルシステムを実装する対象は3つ目のCbC\_xv6である.
 
-\section{RedBlackTreeよるファイルシステムの構成}
+\section{RedBlackTreeによるファイルシステムの構成}
 
 ファイルシステムは全てRedBlackTreeで構成する.
 それにより,プログラムの証明がより簡単になるからである.