Changeset 204

Legend:

Unmodified

Added

Removed

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

  r203	r204
  815	815	\item Instead of $a \leq 0,ドル consider two cases (recall: $a$ is a multiple of $y$):
  816	816	\begin{itemize}
  817	\item $a = 0$(削除) (削除ここまで)
  817	\item $a = 0$(追記) ($\implies x \operatorname{REM} y = x$) (追記ここまで)
  818	818	\item $a \leq -y$ ($\implies y \leq -a$)
  819	819	\end{itemize}

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