# HG changeset patch
# User ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
# Date 1588838873 -32400
# Node ID 2c17d3dc56f08d366ba52564768d55463fe2b54c
# Parent  452f0f1e582c12575d4482c76280583ee90f7f5e
add pdf

diff -r 452f0f1e582c -r 2c17d3dc56f0 paper/ikkun-sigos.pdf
Binary file paper/ikkun-sigos.pdf has changed
diff -r 452f0f1e582c -r 2c17d3dc56f0 paper/ikkun-sigos.tex
--- a/paper/ikkun-sigos.tex	Thu May 07 16:28:01 2020 +0900
+++ b/paper/ikkun-sigos.tex	Thu May 07 17:07:53 2020 +0900
@@ -141,15 +141,14 @@
 \item Put Left fork
 \item Thinking
 \end{itemize}
-この状態は goto next によって遷移する。またタブロー法を用いてデッドロックを左g酢ため、にこの状態遷移を Memory Tree として保管する。
-
+この状態は goto next によって遷移する。またこの状態遷移は無限ループするのでMemoryTree に保管し、保管されている状態とはstat DB によって保管される
 　
 
  
 
 \begin{figure}[tb]
     \begin{center}
-        \includegraphics[width=70mm]{./pic/model_checking.pdf}
+        \includegraphics[width=90mm]{./pic/model_checking.pdf}
     \end{center}
     \caption{DPP chacking}
     \label{DPP_chacking}
@@ -159,8 +158,8 @@
 
 
 \nocite{*}
-\bibliographystyle{ipsjunsrt}
-\bibliography{anatofuz-bib}
+
+
 
 
 
diff -r 452f0f1e582c -r 2c17d3dc56f0 paper/pic/model_checking.pdf
Binary file paper/pic/model_checking.pdf has changed