Mercurial > hg > Papers > 2013 > nobuyasu-sigos
changeset 21:cb021065b07d
modified model.tex
author | Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 31 Mar 2013 05:08:44 +0900 |
parents | ba681b64d686 |
children | 339fea765021 |
files | paper/acknowledgments.tex paper/figure/TOModel0.bb paper/figure/TOModel0_2.bb paper/figure/TOModel2.bb paper/figure/TOModel2_2.bb paper/figure/architecture.bb paper/figure/d_add.bb paper/figure/usecase.bb paper/figure/usecase.pdf paper/model.tex |
diffstat | 10 files changed, 37 insertions(+), 11 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/acknowledgments.tex Sun Mar 31 04:09:56 2013 +0900 +++ b/paper/acknowledgments.tex Sun Mar 31 05:08:44 2013 +0900 @@ -1,4 +1,4 @@ \section{謝辞} 本研究は, JST/CREST 研究領域「実用化を目指した組み込みシステム用ディペンダブル・オペレーティングシステム」 D-ADD研究チームの助成を受けて行われた. -適切な助言と支援をいただきましたD-ADD研究チームの永山辰巳氏, 横手靖彦氏に感謝する. +適切な助言と支援をいただきましたD-ADD研究チームの永山辰巳氏, 横手靖彦氏に感謝します.
--- a/paper/figure/TOModel0.bb Sun Mar 31 04:09:56 2013 +0900 +++ b/paper/figure/TOModel0.bb Sun Mar 31 05:08:44 2013 +0900 @@ -1,5 +1,5 @@ %%Title: ./TOModel0.pdf %%Creator: extractbb 20110311 %%BoundingBox: 0 0 554 138 -%%CreationDate: Sun Mar 31 04:06:41 2013 +%%CreationDate: Sun Mar 31 04:21:01 2013
--- a/paper/figure/TOModel0_2.bb Sun Mar 31 04:09:56 2013 +0900 +++ b/paper/figure/TOModel0_2.bb Sun Mar 31 05:08:44 2013 +0900 @@ -1,5 +1,5 @@ %%Title: ./TOModel0_2.pdf %%Creator: extractbb 20110311 %%BoundingBox: 0 0 573 257 -%%CreationDate: Sun Mar 31 04:06:41 2013 +%%CreationDate: Sun Mar 31 04:21:01 2013
--- a/paper/figure/TOModel2.bb Sun Mar 31 04:09:56 2013 +0900 +++ b/paper/figure/TOModel2.bb Sun Mar 31 05:08:44 2013 +0900 @@ -1,5 +1,5 @@ %%Title: ./TOModel2.pdf %%Creator: extractbb 20110311 %%BoundingBox: 0 0 545 522 -%%CreationDate: Sun Mar 31 04:06:41 2013 +%%CreationDate: Sun Mar 31 04:21:01 2013
--- a/paper/figure/TOModel2_2.bb Sun Mar 31 04:09:56 2013 +0900 +++ b/paper/figure/TOModel2_2.bb Sun Mar 31 05:08:44 2013 +0900 @@ -1,5 +1,5 @@ %%Title: ./TOModel2_2.pdf %%Creator: extractbb 20110311 %%BoundingBox: 0 0 675 513 -%%CreationDate: Sun Mar 31 04:06:41 2013 +%%CreationDate: Sun Mar 31 04:21:01 2013
--- a/paper/figure/architecture.bb Sun Mar 31 04:09:56 2013 +0900 +++ b/paper/figure/architecture.bb Sun Mar 31 05:08:44 2013 +0900 @@ -1,5 +1,5 @@ %%Title: ./architecture.pdf %%Creator: extractbb 20110311 %%BoundingBox: 0 0 638 261 -%%CreationDate: Sun Mar 31 04:06:41 2013 +%%CreationDate: Sun Mar 31 04:21:01 2013
--- a/paper/figure/d_add.bb Sun Mar 31 04:09:56 2013 +0900 +++ b/paper/figure/d_add.bb Sun Mar 31 05:08:44 2013 +0900 @@ -1,5 +1,5 @@ %%Title: ./d_add.pdf %%Creator: extractbb 20110311 %%BoundingBox: 0 0 428 353 -%%CreationDate: Sun Mar 31 04:06:41 2013 +%%CreationDate: Sun Mar 31 04:21:01 2013
--- a/paper/figure/usecase.bb Sun Mar 31 04:09:56 2013 +0900 +++ b/paper/figure/usecase.bb Sun Mar 31 05:08:44 2013 +0900 @@ -1,5 +1,5 @@ %%Title: ./usecase.pdf %%Creator: extractbb 20110311 -%%BoundingBox: 0 0 498 525 -%%CreationDate: Sun Mar 31 04:06:41 2013 +%%BoundingBox: 0 0 503 525 +%%CreationDate: Sun Mar 31 04:21:01 2013
--- a/paper/model.tex Sun Mar 31 04:09:56 2013 +0900 +++ b/paper/model.tex Sun Mar 31 05:08:44 2013 +0900 @@ -105,8 +105,34 @@ \end{figure} -%\subsection{トゥールミンモデル} -%また, それぞれの主張に対して, トゥールミンモデルを適用する. +\subsection{トゥールミンモデル} +また, それぞれ個々の主張に対してもモデルを考えてみる. +今回は, トゥールミンモデルと呼ばれるモデルを適用できるようにしておく. +トゥールミンモデルは1つの主張には以下の5つの情報も必要であるとするモデルである. +\begin{itemize} + \item データ(Data) + \item 根拠(Warrant) + \item 裏付け(Backing) + \item 論駁(Rebuttal) + \item 限定詞(Qualifier) +\end{itemize} + +主張を後押しする客観的な資料となるデータがあり, 根拠はデータがなぜ主張を後押しするのかを示す. +裏付けは根拠が正しいことを示し, 論駁には主張が成り立たなくなる例外の条件が入る. +限定詞を使うことで主張が完全であるかないかを表すことができる. +これらの情報をもった主張がトゥールミンモデルとなる. +このトゥールミンモデルはGraphDB上の主張となるノードにプロパティとしてそれぞれ持たせられるようにする. +トゥールミンモデルの概略図を示したのが図\ref{fig:toulmin}となる. +\begin{figure}[tb] + \begin{center} + \includegraphics[scale=0.30]{figure/toulmin.pdf} + \caption{トゥールミンモデル概略図} + \label{fig:toulmin} + \end{center} +\end{figure} + +もちろんD-ADDにおける主張のモデルはトゥールミンモデルだけでなく, 別のモデルを用いても良い. +D-ADDによる合意形成で扱う主張のモデルは熟考していく必要がある.