Mercurial > hg > Papers > 2020 > ikkun-sigos

comparison paper/ikkun-sigos.tex @ 12:2c17d3dc56f0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add pdf
author ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
date Thu, 07 May 2020 17:07:53 +0900
parents 452f0f1e582c
children 1b6aaaf34d9f
comparison
equal deleted inserted replaced
11:452f0f1e582c 12:2c17d3dc56f0
139 \item eating 139 \item eating
140 \item Put Right fork 140 \item Put Right fork
141 \item Put Left fork 141 \item Put Left fork
142 \item Thinking 142 \item Thinking
143 \end{itemize} 143 \end{itemize}
144 この状態は goto next によって遷移する。またタブロー法を用いてデッドロックを左g酢ため、にこの状態遷移を Memory Tree として保管する。 144 この状態は goto next によって遷移する。またこの状態遷移は無限ループするのでMemoryTree に保管し、保管されている状態とはstat DB によって保管される
145
146 　 145 　
147 146
148 147
149 148
150 \begin{figure}[tb] 149 \begin{figure}[tb]
151 \begin{center} 150 \begin{center}
152 \includegraphics[width=70mm]{./pic/model_checking.pdf} 151 \includegraphics[width=90mm]{./pic/model_checking.pdf}
153 \end{center} 152 \end{center}
154 \caption{DPP chacking} 153 \caption{DPP chacking}
155 \label{DPP_chacking} 154 \label{DPP_chacking}
156 \end{figure} 155 \end{figure}
157 156
158 157
159 158
160 159
161 \nocite{*} 160 \nocite{*}
162 \bibliographystyle{ipsjunsrt} 161
163 \bibliography{anatofuz-bib} 162
164 163
165 164
166 165
167 \end{document} 166 \end{document}