%% definition of title
\makeatletter

\def\author#1{\gdef\@author{#1}}
\def\gakuseki#1{\gdef\@gakuseki{#1}}
\def\lab#1{\gdef\@lab{#1}}

\setlength{\textwidth}{17cm}
\setlength{\oddsidemargin}{-5mm}
\setlength{\evensidemargin}{-5mm}
\setlength{\topmargin}{-25mm}
\setlength{\textheight}{27.0cm}
%\setlength{\footskip}{18mm}
\pagestyle{empty}

%%%%%%%%%%%%%%%%%%%%%%%%%%%% THEOREM-LIKE %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\catcode`@=11
\renewcommand{\@begintheorem}[2]{\it \trivlist            %change the argument
      \item[\hskip \labelsep{\bf #1\ #2{\rm :}}]}         %of \labelsep 
\renewcommand{\@opargbegintheorem}[3]{\it \trivlist       %as you like.
      \item[\hskip \labelsep{\bf #1\ #2\ {\rm (#3)\/:}}]}
%
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%% SECTIONING %%%%%%%%%%%%%%%%%%%%%%
\def\@sect#1#2#3#4#5#6[#7]#8{\ifnum #2>\c@secnumdepth
     \def\@svsec{}\else 
     \refstepcounter{#1}\edef\@svsec{\csname the#1\endcsname{.}\hskip 1em }\fi
     \@tempskipa #5\relax
      \ifdim \@tempskipa>\z@ 
        \begingroup #6\relax
          \@hangfrom{\hskip #3\relax\@svsec}{\interlinepenalty \@M #8\par}
        \endgroup
       \csname #1mark\endcsname{#7}\addcontentsline
         {toc}{#1}{\ifnum #2>\c@secnumdepth \else
                      \protect\numberline{\csname the#1\endcsname}\fi
                    #7}\else
        \def\@svsechd{#6\hskip #3\@svsec #8\csname #1mark\endcsname
                      {#7}\addcontentsline
                           {toc}{#1}{\ifnum #2>\c@secnumdepth \else
                             \protect\numberline{\csname the#1\endcsname}\fi
                       #7}}\fi
     \@xsect{#5}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\section の再定義
\renewcommand{\section}{\@startsection{section}{1}{\z@}%
   {.5\Cvs \@plus.5\Cdp \@minus.2\Cdp}%
   {.3\Cvs \@plus.3\Cdp}%
   {\reset@font\large\bfseries}}

%タイトルの定義
\def\maketitle{\par
\begingroup
\if@twocolumn
\ifnum \col@number=\@ne
\@maketitle
\else
\twocolumn[\@maketitle]%
\fi
\else
\newpage
\global\@topnum\z@   % Prevents figures from going at top of page.
\@maketitle
\fi
\endgroup
}
\def\@maketitle{
\pagestyle{empty}
\begin{center}
{\LARGE \@title}\vspace{2mm}\\
{\large 静岡大学工学部システム工学科\ \ }%\vspace{3mm}\\
{\large \@lab\ \ \@gakuseki\ \ \@author}\vspace{2mm}\\
\@date\vspace{3mm}
\end{center}
}


%abstract環境再定義
%\renewenvironment{abstract}{%
%\pagenumbering{roman}
%\vspace*{4cm}
%\begin{center}{\large\bf \abstractname}\end{center}
%}
%{
%\vfill
%\newpage
%}

\makeatother
\newtheorem{theorem}{定理}[section]
\newtheorem{lemma}[theorem]{補題}
\newtheorem{corollary}[theorem]{系}
\newtheorem{proposition}[theorem]{命題}
\newtheorem{remark}[theorem]{注意}
\newtheorem{example}[theorem]{例}
\newtheorem{definition}[theorem]{定義}
\newtheorem{conjecture}[theorem]{予想}
\newtheorem{exercise}[theorem]{例題}
\newtheorem{observation}[theorem]{観察}

\def\proof{\par\noindent{(証明)} \ignorespaces}
\def\endproof{\vbox{
               \hrule height0.6pt
               \hbox{%
                     \vrule height1.3ex width0.6pt\hskip0.8ex
                     \vrule width0.6pt}
               \hrule height0.6pt
               }
              }