1 Mozilla/5.0 (Windows; U; Windows NT 5.1; ja; rv:1.9.2.23) Gecko/20110920 Firefox/3.6.23 /rde/contents/library/ps2img/cgi-bin/eqn2gif.cgi 157.118.3.12 1319167098 2011/10/21 12:18:18 $C=\{ c ~|~ c___L \in Lit_P_____________________\}$, $\psi \subseteq C^2$_________ \begin{itemize} \item[1.] $\preceq$($c_1$,$c_2$)$ \leftarrow $. ______ $\forall $($c_1$,$c_2$) $ \in \psi$ \item[2.] $claim$($a$, $c_L$)$ \leftarrow.______, \forall $ $a \in AR$, $name$($A$)=$a$, $A \in Args_P$, $c_L|claim$($A$)_______________________________________. ~ \item[3.] $\preceq$($A$,$C$)$ \leftarrow \preceq$($A$,$B$), $\preceq$($B$,$C$). ____________ \item[4.] $\preceq$($A$,$A$)$ \leftarrow claim$($A$,$X$). ____________ \item[5.] $\leq$($A$,$B$)$ \leftarrow \preceq$($X$,$Y$), $claim$($A$,$X$), $claim$($B$,$Y$). \end{itemize} 2 [画像は表示できません] ______ エラーがありました 使用できないTeXコマンドがありました \in \subseteq \begin{itemize} \item \preceq \in \item \in \in \item \preceq \preceq \preceq \item \preceq \item \preceq \end{itemize} ! Missing } inserted. <inserted text> } l.18 $ C=\{ c ~|~ c___L Lit_P_____________________\}$, $\psi C^2$_________% ? ! Emergency stop. <inserted text> } l.18 $ C=\{ c ~|~ c___L Lit_P_____________________\}$, $\psi C^2$_________% 20111021_121654 http://www.mech.tohoku-gakuin.ac.jp/rde/contents/library/ps2img/eqn2gif_online.html Fri Oct 21 12:18:18 2011