Mercurial > hg > Papers > 2023 > matac-sigos
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.
--- 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で構成する. それにより,プログラムの証明がより簡単になるからである.