Changeset 155 for docs/trunk

Legend:

Unmodified

Added

Removed

• docs/trunk/omega-test-slides/Makefile

  r130	r155
  1	targets = omega-test.pdf omega-test.(削除) (削除ここまで)handout.pdf proofs.pdf .all-pngs
  1	targets = omega-test.pdf omega-test.(追記) notes.pdf omega-test. (追記ここまで)handout.pdf proofs.pdf .all-pngs
  2	2
  3	3	all: $(targets)
  …	…
  21	21	-e 's:%notes:\\setbeameroption{show notes}:' \
  22	22	<$< >$@
  23	(追記) (追記ここまで)
  24	(追記) %.notes.tex: %.tex (追記ここまで)
  25	(追記) sed \ (追記ここまで)
  26	(追記) -e 's:%notes:\\setbeameroption{show notes}:' \ (追記ここまで)
  27	(追記) <$< >$@ (追記ここまで)
  23	28
  24	29	clean:

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

  r154	r155
  779	779	as[(i + 1) REM n] := 42
  780	780	\end{lstlisting}
  781	(追記) (追記ここまで)
  782	(追記) \note{ (追記ここまで)
  783	(追記) \begin{tabular}{lll} (追記ここまで)
  784	(追記) & $x = 0,ドル & $x \operatorname{REM} y = 0$ \\ (追記ここまで)
  785	(追記) \hline (追記ここまで)
  786	(追記) $a = 0$:& $x \geq 1,ドル& $x \operatorname{REM} y = x,ドル \\ (追記ここまで)
  787	(追記) 1ドル \leq y$ && $y - 1 \geq x \geq 0$ \\ (追記ここまで)
  788	(追記) \hline (追記ここまで)
  789	(追記) $a = - \operatorname{sign}(x)|y| \lfloor \frac{|x|}{|y|} \rfloor$:& $x \geq 1,ドル& $x \operatorname{REM} y = x + a,ドル \\ (追記ここまで)
  790	(追記) 1ドル \leq y$ & $a \leq -y,ドル& $y - 1 \geq x + a \geq 0$ \\ (追記ここまで)
  791	(追記) \hline (追記ここまで)
  792	(追記) $a = 0$:& $x \leq -1,ドル& $x \operatorname{REM} y = x,ドル \\ (追記ここまで)
  793	(追記) $y \leq -1$ & & 1ドル + y \leq x \leq 0$ \\ (追記ここまで)
  794	(追記) \hline (追記ここまで)
  795	(追記) $a = - \operatorname{sign}(x)|y| \lfloor \frac{|x|}{|y|} \rfloor$: & $x \leq -1,ドル& $x \operatorname{REM} y = x + a ,ドル \\ (追記ここまで)
  796	(追記) $y \leq -1$ & $a \geq -y,ドル & 1ドル + y \leq x + a \leq 0$ \\ (追記ここまで)
  797	(追記) \hline (追記ここまで)
  798	(追記) \end{tabular} (追記ここまで)
  799	(追記) (追記ここまで)
  800	(追記) } %note (追記ここまで)
  801	(追記) (追記ここまで)
  781	802	\end{frame}
  782	803	%TODO try Adam's problem from the last presentation

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