\def\VolTitle{*******************************************************}
\def\VolNo{**}
\def\VolYear{2006}

\lineskip 1pt \normallineskip 1pt
\def\baselinestretch{1}
\renewcommand\normalsize{%
   \@setfontsize\normalsize\@xpt{13pt}
   \abovedisplayskip 4\p@ \@plus2\p@ 
   \abovedisplayshortskip 2\p@ \@plus2\p@
   \belowdisplayshortskip 2\p@ \@plus2\p@ 
   \belowdisplayskip \abovedisplayskip
   \let\@listi\@listI}
\normalsize
\def\small{\@setsize\small{11.7pt}\ixpt\@ixpt
\abovedisplayskip 4pt plus 2pt \belowdisplayskip \abovedisplayskip
\abovedisplayshortskip 2pt plus 1pt\belowdisplayshortskip 2pt plus 1pt 
\def\@listi{\leftmargin0pt \topsep 2pt plus1pt \parsep 0pt 
\itemsep 2pt plus 1pt}}
\def\large{\@setsize\large{14pt}\xiipt\@xiipt}
\let\nine\small
\def\sevenrm{\@setfontsize\sevenrm\@viipt{9}}

\newbox\VolBox
\setbox\VolBox=\hbox{\sevenrm \uppercase\expandafter{\VolTitle}}%
\newbox\MTEBox
\setbox\MTEBox=\hbox{\sevenrm PROCEEDINGS OF KOSEN WORKSHOP MTE2006}
\newdimen\VolDim
\ifdim\wd\VolBox>\wd\MTEBox \VolDim\wd\VolBox \else \VolDim\wd\MTEBox \fi

\let\Large\@undefined
\let\LARGE\@undefined
\let\huge\@undefined
\let\Huge\@undefined
\let\footnotesize\@undefined

\def\@secfnt#1{\csname fnt#1\endcsname}
\def\fntsection{\bf}
\def\fntsubsection{\bf}
\def\fntsubsubsection{\rm}
\def\fntparagraph{\rm}
\def\@seccntformat#1{{\@secfnt{#1}\csname the#1\endcsname.}\kern5pt}
\def\thesection {\arabic{section}}
\def\thesubsection {\thesection.\arabic{subsection}}
\def\thesubsubsection {\arabic{section}.\arabic{subsection}.\arabic{subsubsection}}
\def\theparagraph {\thesubsubsection.\arabic{paragraph}}

\def\section{\@startsection {section}{1}{\parindent}{12pt plus 2pt minus
2pt}{-4pt}{\bf}}
\def\subsection{\@startsection {subsection}{2}{\parindent}{6pt plus 2pt minus
 2pt}{-4pt}{\it}}
\def\subsubsection{\@startsection{subsubsection}{3}{\parindent}{4pt plus
2pt minus 1pt}{-4pt}{\it}}
\def\paragraph{\@startsection
 {paragraph}{4}{\parindent}{2pt plus1pt}{-4pt}{\it}}

\newdimen\myindent
\def\@listI{\leftmargin0pt \parsep 0pt \topsep 2pt plus1pt
\itemsep 2pt plus 1pt \itemindent\myindent}
\let\@listi\@listI
\@listi
\def\@listii{\leftmargin0pt
 \topsep 0pt \parsep 0pt  \itemsep \parsep
 \itemindent\myindent}

\textwidth30cc
\textheight44cc

\exhyphenpenalty100
\oddsidemargin0pt \evensidemargin0pt
\topmargin-25pt
\headheight 12pt \headsep14pt
\marginparwidth 90pt \marginparsep 10pt
\footskip 30pt \footnotesep 6.65pt \skip\footins 9pt plus 4pt minus 2pt
\labelsep0.5em
\smallskipamount=2pt plus1pt
\medskipamount=4pt plus2pt

\newcount\beg
\newbox\aabox
\newbox\atbox
\def\lewyhead{\noindent\rlap{\nine\the\count0}\hfil\copy\aabox\hfil}
\def\prawyhead{\noindent\hfill\copy\atbox\hfill\llap{\nine\the\count0}}
\def\ps@MTE{\let\@mkboth\markboth
\def\@oddhead{\ifnum\beg=\count0 \else\prawyhead\fi}\def\@evenhead{\lewyhead}%
\def\@oddfoot{\ifnum\beg=\count0\hfill\nine[\the\count0]\hfill\fi}%
\def\@evenfoot{}}
\ps@MTE
\def\ds@twoside{\@twosidetrue \@mparswitchtrue} 
\ds@twoside
\def\abbrevauthors#1{\setbox\aabox=\hbox{\sevenrm\uppercase{#1}}}
\def\abbrevtitle#1{\setbox\atbox=\hbox{\sevenrm\uppercase{#1}}}
\long\def\pag{\beg=\count0
\def\phead{\noindent\vbox to4.5pt{\hsize\VolDim \sevenrm
\vglue-24truept
\centerline{\copy\VolBox}

\centerline{\copy\MTEBox}

\centerline{-- MATHEMATICS, TECHNOLOGY AND EDUCATION --}

\centerline{IBARAKI NATIONAL COLLEGE OF TECHNOLOGY}

\centerline{HITACHNAKA, IBARAKI, JAPAN}

\centerline{DECEMBER 5-7, 2006
%\VolYear
}\vss}\hfill}\phead}

\newbox\tbox
\newbox\aubox
\newbox\adbox
\newbox\mathbox
\newbox\keybox
\newbox\thanksbox

\def\title#1{\setbox\tbox=\hbox{\let\\=\cr
\vbox{\large\bf\tabskip 0pt plus15cc
\halign to\hsize{\hfil\ignorespaces \uppercase{##}\hfil\cr#1\cr}}}}

\newbox\abbox
\setbox\abbox=\vbox{\vglue18pt}

\def\author#1{\setbox\aubox=\hbox{\let\\=\cr
\nine\baselineskip12pt\vbox{\tabskip 0pt plus15cc
\halign to\hsize{\hfil\ignorespaces \uppercase{##}\hfil\cr#1\cr}}}%
\global\setbox\abbox=\vbox{\unvbox\abbox\box\aubox\vskip8pt}}

\def\address#1{\setbox\adbox=\hbox{\let\\=\cr
\nine\baselineskip12pt\vbox{\it\tabskip 0pt plus15cc
\halign to\hsize{\hfil\ignorespaces {##}\hfil\cr#1\cr}}}%
\global\setbox\abbox=\vbox{\unvbox\abbox\box\adbox\vskip16pt}}

\def\mathclass#1{\setbox\mathbox=\hbox{\vfootnote{}{2000 {\it Mathematics Subject
Classification}\/: #1}{}}}
\long\def\keywords#1{\setbox\keybox=\hbox{\vfootnote{}{{\it Key words and phrases}\/: #1.}}}
\long\def\thanks#1{\setbox\thanksbox=\hbox{\vfootnote{}{#1}}}

\long\def\maketitleMTE{\pag\unhbox\mathbox \unhbox\keybox
\unhbox\thanksbox
\vfootnote{}{The paper is in preliminary form and the final version
of it will be published elsewhere.}{}
\vglue7cc
\box\tbox
\box\abbox
\vskip8pt}

\def\abstract{\bgroup\nine{\bf Abstract.}}
\def\endabstract{\par\egroup}

\def\textindent#1{\indent\llap{#1\enspace}\ignorespaces}% PLAIN
\def\fo@t{\ifcat\bgroup\noexpand\next \let\next\f@@t
  \else\let\next\f@t\fi \next}
\def\f@@t{\bgroup\aftergroup\@foot\let\next}
\def\f@t#1{#1\@foot}
\def\@foot{\strut\egroup}
\def\footstrut{\vbox to\splittopskip{}}
\def\vfootnote#1%
{\insert\footins\bgroup\nine\interlinepenalty\interfootnotelinepenalty%
\splittopskip\ht\strutbox\splitmaxdepth\dp\strutbox\floatingpenalty\@MM%
\leftskip\z@skip\rightskip\z@skip\spaceskip\z@skip\xspaceskip\z@skip%
\textindent{#1}\footstrut\futurelet\next\fo@t}
\def\footnt#1#2{$(^{#1})$\vfootnote{$(^{#1})$}{#2}}
\def\footnoterule{\kern -3pt \hrule width 4cc \kern 2.6pt}

\myindent\parindent
\def\akap#1{\setbox0=\hbox{#1\enspace}\par\bgroup\advance\myindent\wd0
\itemindent\myindent}
\def\itemiz{\akap{\textbullet}\itemize \parindent\myindent \vspace{-\smallskipamount}} %\topsep0pt}
\def\enditemiz{\enditemize\egroup}
\def\enum#1{\akap{#1}\enumerate\parindent\myindent \topsep0pt}
\def\endenum{\endenumerate\egroup}

\setlength\abovecaptionskip{4pt plus2pt}
\setlength\belowcaptionskip{0pt}
\long\def\@makecaption#1#2{%
  \vskip\abovecaptionskip
  \sbox\@tempboxa{\small #1. #2}%
  \ifdim \wd\@tempboxa >\hsize
    {\small #1. #2\par}
  \else
    \global \@minipagefalse
    \hb@xt@\hsize{\hfil\box\@tempboxa\hfil}%
  \fi
  \vskip\belowcaptionskip}

\def\newdefin#1{%
  \@ifnextchar[{\@odfn{#1}}{\@ndfn{#1}}}
\def\@ndfn#1#2{%
  \@ifnextchar[{\@xndfn{#1}{#2}}{\@yndfn{#1}{#2}}}
\def\@xndfn#1#2[#3]{%
  \expandafter\@ifdefinable\csname #1\endcsname
    {\@definecounter{#1}\@newctr{#1}[#3]%
     \expandafter\xdef\csname the#1\endcsname{%
       \expandafter\noexpand\csname the#3\endcsname \@thmcountersep
          \@thmcounter{#1}}%
     \global\@namedef{#1}{\@dfn{#1}{#2}}%
     \global\@namedef{end#1}{\@endtheorem}}}
\def\@yndfn#1#2{%
  \expandafter\@ifdefinable\csname #1\endcsname
    {\@definecounter{#1}%
     \expandafter\xdef\csname the#1\endcsname{\@thmcounter{#1}}%
     \global\@namedef{#1}{\@dfn{#1}{#2}}%
     \global\@namedef{end#1}{\@endtheorem}}}
\def\@odfn#1[#2]#3{%
  \@ifundefined{c@#2}{\@nocounterr{#2}}%
    {\expandafter\@ifdefinable\csname #1\endcsname
    {\global\@namedef{the#1}{\@nameuse{the#2}}%
  \global\@namedef{#1}{\@dfn{#2}{#3}}%
  \global\@namedef{end#1}{\@endtheorem}}}}
\def\@dfn#1#2{%
  \refstepcounter{#1}%
  \@ifnextchar[{\@ydfn{#1}{#2}}{\@xdfn{#1}{#2}}}
\def\@xdfn#1#2{%
  \@begindef{#2}{\csname the#1\endcsname}\ignorespaces}
\def\@ydfn#1#2[#3]{%
  \@opargbegindef{#2}{\csname the#1\endcsname}{#3}\ignorespaces}
\def\@thmcounter#1{\noexpand\arabic{#1}}
\def\@thmcountersep{.}

\def\@begintheorem#1#2{\trivlist 
    \item[\hskip \parindent\hskip\labelsep{\sc #1\ #2.}]\itshape}
\def\@opargbegintheorem#1#2#3{\trivlist
      \item[\hskip\parindent \hskip\labelsep{\sc #1\ #2\ \rm (#3).}]\itshape}
\def\@begindef#1#2{\trivlist 
    \item[\hskip \parindent\hskip\labelsep{\sc #1\ #2.}]\rmfamily}
\def\@opargbegindef#1#2#3{\trivlist
      \item[\hskip\parindent \hskip\labelsep{\sc #1\ #2\ \rm (#3).}]\rmfamily}
\def\thmSN#1{\trivlist 
    \item[\hskip \parindent\hskip\labelsep{\sc #1.}]\itshape}
\def\dfnSN#1{\trivlist 
    \item[\hskip \parindent\hskip\labelsep{\sc #1.}]\rmfamily}
\def\endthmSN{\endtrivlist}
\def\enddfnSN{\endtrivlist}

\long\def\th#1#2#3{\vskip-\lastskip\vskip4pt plus2pt
{\sc #1} #2 \hskip-\lastskip\ \hskip\labelsep {\it #3}\vskip-\lastskip\vskip4pt plus2pt}

\long\def\defin#1#2{\vskip-\lastskip\vskip4pt plus2pt
{\sc #1} \hskip\labelsep #2 \vskip-\lastskip\vskip4pt plus2pt}

\long\def\remar#1#2{\vskip-\lastskip\vskip4pt plus2pt
{\sc #1} \hskip\labelsep #2 \vskip-\lastskip\vskip4pt plus2pt}

\def\Proof{\vskip-\lastskip\vskip4pt plus2pt
{\it Proof. }\ignorespaces}
\def\Pf#1{\vskip-\lastskip\vskip4pt plus2pt
{\it #1\ }\ignorespaces}

\def\endproof{\unskip\nobreak\kern5pt\nobreak\vrule height4pt width4pt depth0pt
\vskip4pt plus2pt}

\def\refname{References} 
\def\thebibliography#1{\vskip24pt plus4pt minus4pt
\small
\centerline{\bf \refname}
\vglue11pt plus2pt minus2pt
\nobreak\list
 {[\arabic{enumi}]}{\settowidth\labelwidth{[#1]}\leftmargin\labelwidth
 \parsep-3pt plus1pt \itemindent0pt
 \itemsep 4pt plus 2pt minus 1pt
 \advance\leftmargin\labelsep
 \usecounter{enumi}}
 \def\newblock{\hskip .11em plus .33em minus .07em}
 \sloppy\clubpenalty4000\widowpenalty4000
 \sfcode`\.=1000\relax}
\let\endthebibliography=\endlist

\arraycolsep1.5pt
\flushbottom
\frenchspacing

\let\dsl\displaylines
\def\dsll#1{{\advance\displaywidth-4em
 \abovedisplayskip0pt \belowdisplayskip0pt
 \vcenter{\hsize\displaywidth $$\dsl{#1}$$}}}

\def\vsk{\vskip4pt plus2pt}

\endinput
\def\luz#1{\luzno#1?}
\def\luzno#1{\ifx#1?\let\next=\relax\yyy
\else \let\next=\luzno#1\xxx\fi\next}
\def\sp#1{\def\xxx{\kern1.7pt}\def\yyy{\kern-1.7pt}\luz{#1}}
\def\spa#1{\def\xxx{\kern1pt}\def\yyy{\kern-1pt}\luz{#1}}



