Changeset 153 for docs/trunk/omega-test-slides/omega-test.tex

Legend:

Unmodified

Added

Removed

• docs/trunk/omega-test-slides/omega-test.tex

  r151	r153
  133	133	\end{itemize}
  134	134	\item Output is integer solution or ``unsolveable''
  135	\item All equations are joined by $\land$ (AND); $\lor$ (OR) effectively creates multiple equation-sets.
  135	\item All equations are joined by $\land$ (AND)
  136	\begin{itemize}
  137	\item $\lor$ (OR) effectively creates multiple equation-sets.
  138	\end{itemize}
  136	139	\end{itemize}
  137	140	\end{frame}
  …	…
  145	148	\end{itemize}
  146	149	\end{frame}
  150	(追記) (追記ここまで)
  151	(追記) \begin{frame}[fragile] (追記ここまで)
  152	(追記) \frametitle{Terms} (追記ここまで)
  153	(追記) \[ c + a_1 x_1 + a_2 x_2 \cdots a_n x_n = 0 \] (追記ここまで)
  154	(追記) (追記ここまで)
  155	(追記) Set $x_0 = 1,ドル $a_0 = c$: (追記ここまで)
  156	(追記) (追記ここまで)
  157	(追記) \[ a_0 x_0 + a_1 x_1 + a_2 x_2 \cdots a_n x_n = 0 \] (追記ここまで)
  158	(追記) (追記ここまで)
  159	(追記) \[ \displaystyle\sum_{i=0}^n a_i x_i = 0 \] (追記ここまで)
  160	(追記) \end{frame} (追記ここまで)
  161	(追記) (追記ここまで)
  147	162
  148	163	\begin{frame}[fragile]
  …	…
  624	639	\end{frame}
  625	640
  626	%TODO represent the whole process as a flow chart to give a better idea of
  627	%how all these different cases fit together
  628
  629
  630	\section{Code to Equations}
  641	\section{Formulating Problems}
  631	642
  632	643	\begin{frame}[fragile]
  633	644	\frametitle{Replication}
  645	(追記) \begin{lstlisting} (追記ここまで)
  646	(追記) PAR i = 0 FOR 10 (追記ここまで)
  647	(追記) a[i] := a[i+1] (追記ここまで)
  648	(追記) \end{lstlisting} (追記ここまで)
  634	649	\begin{itemize}
  635	650	\item For parallel replication (e.g. 0 FOR 10), we introduce a ghost variable $i'$: 0ドル \leq i \leq i' - 1,ドル $i' \leq 9$
  …	…
  825	840
  826	841
  827	\section{(削除) Answers to Code (削除ここまで)}
  842	\section{(追記) Feeding Back Answers (追記ここまで)}
  828	843
  829	844	%\begin{frame}

Note: See TracChangeset for help on using the changeset viewer.