% $OpenXM: OpenXM/doc/Papers/jsiam-noro.tex,v 1.1 2001/10/04 08:16:27 noro Exp $
\documentstyle[epsf]{slides}
\newtheorem{df}{Definition}
\newtheorem{pr}[df]{Proposition}
\newtheorem{lm}[df]{Lemma}
\newtheorem{th}[df]{Theorem}
\newtheorem{co}[df]{Corollary}
\newtheorem{al}[df]{Algorithm}
\newtheorem{re}[df]{Remark}
\newtheorem{ex}[df]{Example}
\newtheorem{mt}[df]{Method}
\newtheorem{nt}[df]{Notation}
\newtheorem{as}[df]{Assumption}
\newtheorem{pro}[df]{Procedure}
\newtheorem{prob}[df]{Probrem}
\newcommand{\qed}{$\Box$}
\newcommand{\mred}[1]{\smash{\mathop{\hbox{\rightarrowfill}}\limits_{\scriptstyle #1}}}
\newcommand{\tmred}[1]{\smash{\mathop{\hbox{\rightarrowfill}}\limits_{\scriptstyle #1}\limits^{\scriptstyle *}}}
\def\gr{Gr\"obner basis }
\def\st{\, s.t. \,}
\def\ni{\noindent} 
\def\ve{\vfill\eject} 
\textwidth 9.2in
\textheight 7.2in
\columnsep 0.33in
\topmargin -1in

\title{Risa/Asir の現状とその能力 $\cdot$ 応用事例}

\author{野呂 正行 (神戸大学理学部)}
\begin{document}
\setlength{\parskip}{10pt}
\maketitle
\blackandwhite{jsiamb-noro.tex}
\end{document}