# HG changeset patch
# User matac42 <matac@cr.ie.u-ryukyu.ac.jp>
# Date 1651556767 -32400
# Node ID 325c0d05d3e4b75ca3135fdb265b415ac435e87b
# Parent  46ed84991a9d7e752017fe03a41735aa534166e8
fix: bib

diff -r 46ed84991a9d -r 325c0d05d3e4 Paper/matac-bib.bib
--- a/Paper/matac-bib.bib	Tue May 03 14:20:41 2022 +0900
+++ b/Paper/matac-bib.bib	Tue May 03 14:46:07 2022 +0900
@@ -46,6 +46,15 @@
   year    = 2021
 }
 
+@article{cfile,
+  author      = {一木 貴裕},
+  title       = {GearsOSの分散ファイルシステム設計},
+  institution = {琉球大学工学部情報工学科, 琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科},
+  journal     = {修士 (工学) 学位論文},
+  month       = {March},
+  year        = 2022
+}
+
 @article{modelcheck,
   author  = {東恩納 琢偉，奥田 光希，河野 真治(琉球大学)},
   title   = {Gears OSでモデル検査を実現する手法について},
diff -r 46ed84991a9d -r 325c0d05d3e4 Paper/paper.tex
--- a/Paper/paper.tex	Tue May 03 14:20:41 2022 +0900
+++ b/Paper/paper.tex	Tue May 03 14:46:07 2022 +0900
@@ -357,7 +357,7 @@
 \section{GearsFileSystemにおけるファイルの構成}
 
 ファイルシステムはディレクトリの構成だけでなく，ファイルの構成についても考える必要がある．
-本研究と並行する形で一木貴裕による分散ファイルシステムの設計が行われており，
+本研究と並行する形で一木貴裕による分散ファイルシステムの設計が行われており\cite{cfile}，
 ファイルの構成に関しても実装，検討されている．
 GearsOSにおけるファイル構成を説明する．