% sigpl.cls
% ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö ÀÛ¼ºÀ» À§ÇÑ latex2e class
% ¼öÁ¤: À̱¤±Ù, Ç¥ À̸§ÈÄ¿¡ ``1mm''°¡ ³ªÅ¸³ª´Â °ÍÀ» ¾ø¾Ú. 9/20/2004
% ÀÛ¼ºÀÚ : ÃÖ¿õ½Ä (wschoi@ropas.kaist.ac.kr)
%   ( ACM TOPLAS ÀÇ class È­ÀÏ(acmtrans.cls)¸¦ º¯°æÇؼ­ ¸¸µé¾úÀ½. )
% ÀÛ¼ºÀÏÀÚ : 2002³â 10¿ù 11ÀÏ
%
%
% ÀÌ class È­ÀÏÀ» »ç¿ëÇÏ´Â latex ¹®¼­ÀÇ ¿¹´Â 
% ¾Æ·¡ EXAMPLE.tex À̸§À¸·Î ÁÖ¼®Ã³¸®µÈ ºÎºÐÀ» Âü°í¹Ù¶ø´Ï´Ù.

\NeedsTeXFormat{LaTeX2e}
\ProvidesClass{sigpl} [2002/10/11 SIGPL class based on ACM Transactions class]
\RequirePackage{latexsym,hfont,graphicx}


\if@compatibility\else
\DeclareOption{a4paper}
   {\setlength\paperheight {297mm}%
    \setlength\paperwidth  {210mm}%
    \def\special@paper{210mm,297mm}}
\DeclareOption{a5paper}
   {\setlength\paperheight {210mm}%
    \setlength\paperwidth  {148mm}%
    \def\special@paper{148mm,210mm}}
\DeclareOption{b5paper}
   {\setlength\paperheight {250mm}%
    \setlength\paperwidth  {176mm}%
    \setlength\voffset     {-15mm}%
    \setlength\hoffset     {-20mm}%
    \def\special@paper{176mm,250mm}}
\DeclareOption{letterpaper}
   {\setlength\paperheight {11in}%
    \setlength\paperwidth  {8.5in}%
    \def\special@paper{8.5in,11in}}
\DeclareOption{legalpaper}
   {\setlength\paperheight {14in}%
    \setlength\paperwidth  {8.5in}%
    \def\special@paper{8.5in,14in}}
\DeclareOption{executivepaper}
   {\setlength\paperheight {10.5in}%
    \setlength\paperwidth  {7.25in}%
    \def\special@paper{7.25in,10.5in}}
\DeclareOption{landscape}
   {\setlength\@tempdima   {\paperheight}%
    \setlength\paperheight {\paperwidth}%
    \setlength\paperwidth  {\@tempdima}}
\fi

\DeclareOption{checkMargin}{\setlength\overfullrule{5pt}}
\DeclareOption{final}{\setlength\overfullrule{0pt}}

\DeclareOption{oneside}{\@twosidefalse \@mparswitchfalse}
\DeclareOption{twoside}{\@twosidetrue  \@mparswitchtrue}

\DeclareOption{10pt}{\def\@ptsize{0}} %needed for amssymbols.sty 
\DeclareOption{11pt}{\ClassError{acmtrans}{11pt style not supported}
            {ACM transactions doecuments can be set in 10pt only}}
\DeclareOption{12pt}{\ClassError{acmtrans}{11pt style not supported}
            {ACM transactions doecuments can be set in 10pt only}}

\DeclareOption{hyperref}{%
    \def\pages{\realpageref{@firstpg}--\realpageref{@lastpg}}%
    \def\mypage{\thepage}%
    \setlength{\bibitemindent}{-1em}
    \def\@getpagenum#1#2#3#4{#2}%
    \def\pdfinfo#1#2{\pdfmark{pdfmark=/DOCINFO,Title=#1,Author=#2}}
    }
\DeclareOption{nohyperref}{
        \def\pages{\pageref{@firstpg}--\pageref{@lastpg}}%
        \def\@getpagenum#1#2{#2}%
        \def\mypage{\thepage}%
        \def\pdfinfo#1#2{}%
        \def\href#1#2{#2}%
        \def\pdfbookmark#1#2{}%
        }
\DeclareOption{notfinal}{
        \def\pages{TBD}%
        \def\mypage{TBD}%
        \def\@getpagenum#1#2{#2}%
        \def\pdfinfo#1#2{}%
        \def\pdfbookmark#1#2{}%
        }
\DeclareOption{omitline}{\def\@abstractbottom{\relax}}
\DeclareOption{dontomitline}{\def\@abstractbottom{\hbox{\vrule height .2pt width 14cm}}}
\newlength{\bibitemindent}
\ExecuteOptions{twoside,final,10pt,dontomitline,nohyperref,letterpaper} % defaults



\ProcessOptions


 \widowpenalty=5000
 \clubpenalty=5000


\lineskip 1pt \normallineskip 1pt
\def\baselinestretch{1}

\renewcommand\normalsize{%
  \@setfontsize\normalsize\@xpt\@xiipt
  \abovedisplayskip 6pt plus2pt minus1pt\belowdisplayskip \abovedisplayskip
  \abovedisplayshortskip 6pt plus0pt minus 3pt
  \belowdisplayshortskip 6pt plus0pt minus3pt\let\@listi\@listI} 

\newcommand\small{%
  \@setfontsize\small\@ixpt{11pt}%
  \abovedisplayskip 5pt plus 2pt minus 1pt\belowdisplayskip \abovedisplayskip
  \abovedisplayshortskip 5pt plus0pt minus2pt\belowdisplayshortskip 5pt plus0pt
      minus 2pt
  \def\@listi{\leftmargin\leftmargini \topsep 5pt plus 2pt minus 1pt\parsep 0pt
    plus .7pt 
  \itemsep 1.6pt plus .8pt}}
\newcommand\footnotesize{%
%   \@setfontsize\footnotesize\@viiipt{10pt}
 \@setsize\footnotesize{10pt}\viiipt\@viiipt
  \abovedisplayskip 4pt plus 1pt minus 0pt\belowdisplayskip \abovedisplayskip
  \abovedisplayshortskip 4pt plus 0pt minus 1pt\belowdisplayshortskip 4pt plus
       0pt minus 1pt
  \def\@listi{\leftmargin\leftmargini \topsep 4pt plus 1pt minus
     0pt\parsep 0pt plus .5pt 
     \itemsep 1pt plus .7pt}}

\newcommand\scriptsize{\@setfontsize\scriptsize\@viipt\@viiipt}
\newcommand\tiny{\@setfontsize\tiny\@vpt\@vipt}
\newcommand\large{\@setfontsize\large\@xiipt{14}}
\newcommand\Large{\@setfontsize\Large\@xivpt{18}}
\newcommand\LARGE{\@setfontsize\LARGE\@xviipt{20}}
\newcommand\huge{\@setfontsize\huge\@xxpt{25}}
\newcommand\Huge{\@setfontsize\Huge\@xxvpt{30}}

\normalsize 

 \oddsidemargin .40in \evensidemargin .40in \marginparwidth .5in 
 \marginparsep .125in 
 \topmargin .25in \headheight 12pt\headsep 16pt
  %% not in latex2e  \footheight 10pt
  \footskip 15pt 

\textheight 47pc \textwidth 14cm \columnsep 10pt \columnseprule 0pt 

\footnotesep 7pt
\skip\footins 15pt plus 4pt minus 3pt 
\floatsep 12pt plus 2pt minus 2pt 
\textfloatsep \floatsep 
\intextsep 1pc plus 1pc 
%%% not in 2e %% \@maxsep 1pc 
%%% not in 2e %% \@dblmaxsep 20pt 
\dblfloatsep 12pt plus 2pt minus 2pt 
\dbltextfloatsep 20pt plus 2pt minus 4pt 
\@fptop 0pt plus 1fil \@fpsep 1pc plus 2fil \@fpbot 0pt plus 1fil 
\@dblfptop 0pt plus 1fil \@dblfpsep 8pt plus 2fil \@dblfpbot 0pt plus 1fil
\marginparpush 6pt 

\parskip 0pt plus .1pt \parindent 10pt \partopsep 0pt 
\@lowpenalty 51 \@medpenalty 151 \@highpenalty 301 
\@beginparpenalty -\@lowpenalty \@endparpenalty -\@lowpenalty \@itempenalty
-\@lowpenalty 


%%%%%%%%%%
% WSCHOI %  

\def\@defpaperno{\Large\textsf{³í$\cdot$¹®}}
\global\let\@etitle\@empty
\global\let\@paperno\@defpaperno

\def\etitle#1{\def\@etitle{#1}}
\def\paperno#1{\def\@paperno{#1}}
\def\authorsep{\vspace{1mm}}


\newcommand{\vitae}[4]{
\vspace{7mm}
\hspace{-1cm}
\begin{tabular}[t]{ll}
&\hspace{-5mm} {\large #1}\vspace{1.5mm} \\
\begin{minipage}[t]{3cm}
\includegraphics[height=3cm]{#2}
\end{minipage}
&
\hspace{-1cm}
\begin{tabular}[t]{l}
\vspace{-3cm}\\
\begin{tabular}[t]{@{\textbf{--} }p{11.3cm}}
#3
\end{tabular}
\vspace{2mm}\\
\begin{minipage}[t]{11.6cm}
$<$°ü½ÉºÐ¾ß$>$ #4
\end{minipage}
\end{tabular}
\end{tabular}
}
%%%%%%%%%%


\def\part{\@ucheadfalse
 \@startsection{part}{9}{\z@}{-10pt plus -4pt minus 
 -2pt}{4pt}{\reset@font\Large\sffamily}}
\def\section{\@ucheadfalse
 \@startsection{section}{1}{\z@}{-3.5ex \@plus -1ex \@minus -.2ex}
{2.3ex \@plus.2ex}{\reset@font\Large\sffamily}}
\def\subsection{\@ucheadfalse
 \@startsection{subsection}{2}{\z@}{-8pt plus -2pt minus 
 -1pt}{2.3ex \@plus.2ex}{\reset@font\large\sffamily}}
\def\subsubsection{\@ucheadfalse
 \@startsection{subsubsection}{3}{\parindent}{6pt plus 
1pt}{-5pt}{\reset@font\normalsize\itshape}}
\def\paragraph{\@ucheadfalse
 \@startsection{paragraph}{3}{\parindent}{6pt plus 
1pt}{-5pt}{\reset@font\normalsize\itshape}}

\renewcommand{\@seccntformat}[1]{\textup{\csname the#1\endcsname}}

\gdef\@period{.}
\def\@trivlist{\@topsepadd\topsep
\if@noskipsec \gdef\@period{}\leavevmode\gdef\@period{.}\fi
 \ifvmode \advance\@topsepadd\partopsep \else \unskip\par\fi
 \if@inlabel \@noparitemtrue \@noparlisttrue 
 \else \@noparlistfalse \@topsep\@topsepadd \fi
 \advance\@topsep \parskip
 \leftskip\z@\rightskip\@rightskip \parfillskip\@flushglue
 \@setpar{\if@newlist\else{\@@par}\fi} \global\@newlisttrue
\@outerparskip\parskip}


\def\@startsection#1#2#3#4#5#6{%
  \if@noskipsec \leavevmode \fi
  \par
  \@tempskipa #4\relax
  \@afterindenttrue
  \ifdim \@tempskipa <\z@
    \@tempskipa -\@tempskipa \@afterindentfalse
  \fi
  \if@nobreak
    \everypar{}%
  \else
    \addpenalty\@secpenalty\addvspace\@tempskipa
  \fi
  \@ifstar
    {\@ssect{#3}{#4}{#5}{#6}}%
    {\@dblarg{\@sect{#1}{#2}{#3}{#4}{#5}{#6}}}}
\def\@sect#1#2#3#4#5#6[#7]#8{%
  \ifnum #2>\c@secnumdepth
    \let\@svsec\@empty
  \else
    \refstepcounter{#1}%
      \if@uchead%
        \protected@edef\@svsec{\@seccntformat{#1}.\quad\relax}%
    \else%
        \protected@edef\@svsec{\@seccntformat{#1}\quad\relax}%
    \fi%
  \fi
  \@tempskipa #5\relax
  \ifdim \@tempskipa>\z@
    \begingroup
      #6{%
        \@hangfrom{\hskip #3\relax\@svsec}%
          \interlinepenalty \@M \if@uchead\MakeUppercase{#8}\else#8\fi \@@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\relax
      \@svsec \if@uchead\Makeuppercase{#8}\else#8\fi}%
      \csname #1mark\endcsname{#7}%
      \addcontentsline{toc}{#1}{%
        \ifnum #2>\c@secnumdepth \else
          \protect\numberline{\csname the#1\endcsname}%
        \fi
        #7}}%
  \fi
  \@xsect{#5}}

\def\@xsect#1{\@tempskipa #1\relax
 \ifdim \@tempskipa>\z@
 \par \nobreak
 \vskip \@tempskipa
 \@afterheading
 \else \global\@nobreakfalse \global\@noskipsectrue
 \everypar{\if@noskipsec \global\@noskipsecfalse
 \clubpenalty\@M \hskip -\parindent
 \begingroup \@svsechd\@period \endgroup \unskip
 \hskip -#1
 \else \clubpenalty \@clubpenalty
 \everypar{}\fi}\fi\ignorespaces}
\newif\if@uchead\@ucheadfalse


\setcounter{secnumdepth}{3}
\newcounter{secnumbookdepth}
\setcounter{secnumbookdepth}{3}

% for appendix
\newfont{\apbf}{cmbx9}
\def\@appsec{}

\def\appendix{\par
 \setcounter{section}{0}
 \setcounter{subsection}{0}
 \def\@appsec{ºÎ·Ï } 
    \def\thesection{\Alph{section}}
    \def\theHsection{\Alph{section}}}


\labelsep 5pt
\settowidth{\leftmargini}{(9)} \addtolength\leftmargini\labelsep
\settowidth{\leftmarginii}{(b)} \addtolength\leftmarginii\labelsep
\leftmarginiii \leftmarginii
\leftmarginiv \leftmarginii 
\leftmarginv \leftmarginii 
\leftmarginvi \leftmarginii 
\leftmargin\leftmargini
\labelwidth\leftmargini\advance\labelwidth-\labelsep
\def\@listI{\leftmargin\leftmargini \parsep 0pt plus 1pt\topsep 6pt plus 2pt
minus 2pt\itemsep 2pt plus 1pt minus .5pt}
\let\@listi\@listI
\@listi 
\def\@listii{\leftmargin\leftmarginii
 \labelwidth\leftmarginii\advance\labelwidth-\labelsep
 \topsep 0pt plus 1pt 
 \parsep 0pt plus .5pt 
 \itemsep \parsep}
\def\@listiii{\leftmargin\leftmarginiii
 \labelwidth\leftmarginiii\advance\labelwidth-\labelsep
 \topsep 0pt plus 1pt 
 \parsep 0pt plus .5pt 
 \itemsep \parsep}
\def\@listiv{\leftmargin\leftmarginiv
 \labelwidth\leftmarginiv\advance\labelwidth-\labelsep}
\def\@listv{\leftmargin\leftmarginv
 \labelwidth\leftmarginv\advance\labelwidth-\labelsep}
\def\@listvi{\leftmargin\leftmarginvi
 \labelwidth\leftmarginvi\advance\labelwidth-\labelsep}




\def\enumerate{\ifnum \@enumdepth >3 \@toodeep\else
 \advance\@enumdepth \@ne 
 \edef\@enumctr{enum\romannumeral\the\@enumdepth}\list
 {\csname label\@enumctr\endcsname}{\usecounter
 {\@enumctr}\def\makelabel##1{##1\hss}}\fi}
\def\longenum{\ifnum \@enumdepth >3 \@toodeep\else
 \advance\@enumdepth \@ne 
 \edef\@enumctr{enum\romannumeral\the\@enumdepth}\list
 {\csname label\@enumctr\endcsname}{\usecounter
 {\@enumctr}\labelwidth\z@}\fi}
%\leftmargin\z@ \itemindent\parindent}\fi} - this indents each item in enumerate
\let\endlongenum\endlist
%%--------------------CHANGED: always roman parentheses. dave ---------------%%
\def\labelenumi{{\rm (}\arabic{enumi}\/{\rm )}} 
\def\theenumi{\arabic{enumi}} 
\def\labelenumii{{\rm (}\alph{enumii}\rm{)}}
\def\theenumii{\alph{enumii}}
\def\p@enumii{\theenumi}
\def\labelenumiii{\roman{enumiii}.}
\def\theenumiii{\roman{enumiii}}
\def\p@enumiii{\theenumi{\rm (}\theenumii{\rm )}}
\def\labelenumiv{\Alph{enumiv}.}
\def\theenumiv{\Alph{enumiv}} 
\def\p@enumiv{\p@enumiii\theenumiii}

\def\p@enumiv{\p@enumiii\theenumiii}

\def\itemize{\list{\normalfont\bf --\ \hskip -\labelsep}{\settowidth
 {\leftmargin}{---}\labelwidth\leftmargin
 \addtolength{\labelwidth}{-\labelsep}}}
\let\enditemize\endlist
\def\longitem{\list{---}{\labelwidth\z@
 \leftmargin\z@ \itemindent\parindent \advance\itemindent\labelsep}}
\let\endlongitem\endlist

\def\verse{\let\\=\@centercr 
 \list{}{\leftmargin 2pc 
 \itemindent -1.5em\listparindent \itemindent 
 \rightmargin\leftmargin\advance\leftmargin 1.5em}\item[]}
\let\endverse\endlist
\def\quotation{\list{}{\leftmargin 2pc \listparindent .5em
 \itemindent\listparindent
 \rightmargin\leftmargin \parsep 0pt plus 1pt}\item[]}
\let\endquotation=\endlist
\def\quote{\list{}{\leftmargin 2pc \rightmargin\leftmargin}\item[]}
\let\endquote=\endlist


\def\description{\list{}{\labelwidth\z@
 \leftmargin\z@ \advance\itemindent\labelsep
 \def\makelabel##1{\bf ##1.}}}
\let\enddescription\endlist

\def\theequation{\arabic{equation}}

\def\titlepage{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
 \else \newpage \fi \thispagestyle{empty}\c@page\z@}
\def\endtitlepage{\if@restonecol\twocolumn \else \newpage \fi}

\arraycolsep 2.5pt \tabcolsep 6pt \arrayrulewidth .4pt \doublerulesep 2pt 
\tabbingsep \labelsep 

\skip\@mpfootins = \skip\footins
\fboxsep = 3pt \fboxrule = .4pt 

\newcounter{part}
\newcounter{section}
\newcounter{subsection}[section]
\newcounter{subsubsection}[subsection]
\newcounter{paragraph}[subsubsection]

\def\thepart{\Roman{part}} 
\def\thesection {\arabic{section}}
\def\thesubsection {\thesection.\arabic{subsection}}
\def\thesubsubsection {\thesubsection.\arabic{subsubsection}}
\def\theparagraph {\thesubsubsection.\arabic{paragraph}}

\def\@pnumwidth{1.55em}
\def\@tocrmarg {2.55em}
\def\@dotsep{4.5}
\setcounter{tocdepth}{3}

\newdimen\bibindent
\setlength\bibindent{1.5em}
\newenvironment{thebibliography}[1]
     {\section*{Âü°í¹®Çå
        \@mkboth{\MakeUppercase\refname}{\MakeUppercase\refname}}%
      \list{\@biblabel{\@arabic\c@enumiv}}%
           {\settowidth\labelwidth{\@biblabel{#1}}%
            \leftmargin\labelwidth
            \advance\leftmargin\labelsep
            \@openbib@code
            \usecounter{enumiv}%
            \let\p@enumiv\@empty
            \renewcommand\theenumiv{\@arabic\c@enumiv}}%
      \sloppy
      \clubpenalty4000
      \@clubpenalty \clubpenalty
      \widowpenalty4000%
      \sfcode`\.\@m}
     {\def\@noitemerr
       {\@latex@warning{Empty `thebibliography' environment}}%
      \endlist}
\newcommand\newblock{\hskip .11em\@plus.33em\@minus.07em}
\let\@openbib@code\@empty


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 

\newif\if@restonecol
\def\theindex{\@restonecoltrue\if@twocolumn\@restonecolfalse\fi
\columnseprule \z@
\columnsep 35pt\twocolumn[\section*{Index}]
 \@mkboth{INDEX}{INDEX}\thispagestyle{plain}\parindent\z@
 \parskip\z@ plus .3pt\relax\let\item\@idxitem}
\def\@idxitem{\par\hangindent 40pt}
\def\subitem{\par\hangindent 40pt \hspace*{20pt}}
\def\subsubitem{\par\hangindent 40pt \hspace*{30pt}}
\def\endtheindex{\if@restonecol\onecolumn\else\clearpage\fi}
\def\indexspace{\par \vskip 10pt plus 5pt minus 3pt\relax}

\def\footnoterule{\kern-3\p@
 \hrule \@height 0.2\p@ \@width 47\p@ 
  \kern 2.6\p@
} 

\long\def\@makefntext#1{\parindent 1em\noindent 
 $^{\@thefnmark}$#1}


\setcounter{topnumber}{3}
\def\topfraction{.99}
\setcounter{bottomnumber}{1}
\def\bottomfraction{.5}
\setcounter{totalnumber}{3}
\def\textfraction{.01}
\def\floatpagefraction{.85}
\setcounter{dbltopnumber}{2}
\def\dbltopfraction{.7}
\def\dblfloatpagefraction{.5}


\long\def\@makecaption#1#2{\vskip 1pc \setbox\@tempboxa\hbox{#1 \relax #2}
 \ifdim \wd\@tempboxa >\hsize #1 #2\par \else \hbox
to\hsize{\hfil\box\@tempboxa\hfil} 
 \fi}

\def\nocaption{\refstepcounter\@captype \par
 \vskip 1pc \hbox to\hsize{\hfil \footnotesize \sf[±×¸²] \thefigure
 \hfil}}

\newcounter{figure}
\def\thefigure{\@arabic\c@figure}
\def\fps@figure{tbp}
\def\ftype@figure{1}
\def\ext@figure{lof}
\def\fnum@figure{\bf\sf[±×¸²~\thefigure]}
\def\figure{\let\normalsize\footnotesize \normalsize \@float{figure}}
\let\endfigure\end@float
\@namedef{figure*}{\@dblfloat{figure}}
\@namedef{endfigure*}{\end@dblfloat}
\newcounter{table}
\def\thetable{\@Roman\c@table}
\def\fps@table{tbp}
\def\ftype@table{2}
\def\ext@table{lot}
\newcommand{\fnum@table}[1]{\sf[Ç¥~\thetable]}
\def\table{\let\normalsize\footnotesize \normalsize\@float{table}}
\let\endtable\end@float
\@namedef{table*}{\@dblfloat{table}}
\@namedef{endtable*}{\end@dblfloat}
\def\acmtable#1{\@narrowfig #1\relax
 \let\caption\@atcap \let\nocaption\@atnocap
 \def\@tmpnf{}\@ifnextchar[{\@xntab}{\@ntab}}
\def\endacmtable{\hbox to \textwidth{\hfil
\vbox{\hsize \@narrowfig
\box\@nfcapbox
{\baselineskip 4pt \hbox{\vrule height .4pt width \hsize}}
\vskip -1pt
\box\@nfigbox\vskip -1pt
{\baselineskip 4pt \hbox{\vrule height .4pt width \hsize}}}\hfil}
\end@float}
\def\@xntab[#1]{\def\@tmpnf{[#1]}\@ntab}
\def\@ntab{\expandafter\table\@tmpnf
 \setbox\@nfigbox\vbox\bgroup
 \hsize \@narrowfig \@parboxrestore}
\def\@atmakecap #1#2{\setbox\@tempboxa\hbox{#1.\hskip 1em\relax #2}
 \ifdim \wd\@tempboxa >\hsize \sloppy #1.\hskip 1em\relax #2 \par \else \hbox
to\hsize{\hfil\box\@tempboxa\hfil}
 \fi}
\def\@atcap{\par\egroup\refstepcounter\@captype 
 \@dblarg{\@atcapx\@captype}}
\long\def\@atcapx#1[#2]#3{\setbox\@nfcapbox\vbox {\hsize \wd\@nfigbox
 \@parboxrestore
 \@atmakecap{\csname fnum@#1\endcsname}{\ignorespaces #3}\par}}
\def\@atnocap{\egroup \refstepcounter\@captype 
 \setbox\@nfcapbox\vbox {\hsize \wd\@nfigbox
 \hbox to\hsize{\hfil \footnotesize [Ç¥] \thetable\hfil}}}

\def\maketitle{\newpage \thispagestyle{titlepage}\par
 \begingroup \lineskip = \z@\null \vskip -15pt\relax
 \parindent\z@ \LARGE {\raggedright \hyphenpenalty\@M
   \vskip 10pt
   \begin{center}
     {\rm \@title}\vspace{2mm}\\
     {\it \Large \@etitle}
   \end{center}
 \par}


\label{@firstpg}
{\vskip 3mm
\begin{center}
 \@author
 \end{center}
}
\vskip 5mm
\@beginparpenalty\@lowpenalty
\begin{center}{\sf \large¿ä\hspace{3mm}¾à}
\@endparpenalty\@M
\end{center}\vskip -2mm
\hspace{0.5cm}\box\@abstract
\vskip 5mm
 \endgroup
\let\maketitle\relax
\@thanks}



\newbox\@abstract
\def\abstract{\global\setbox\@abstract=\vbox\bgroup \everypar{}
\hsize 13cm \parindent 12pt \noindent 
 \rule{0pt}{12pt}\ignorespaces}
\def\endabstract{\egroup}



\newenvironment{ackslike}[1]
  {\par \footnotesize 
   \@ucheadfalse
   \@startsection{section}{1}{\z@}{-10pt plus -4pt minus -2pt}{4pt}
      {\reset@font\normalsize\sffamily}*{#1}\par\normalsize
   \pdfbookmark{Acknowledgments}{Ack}
    }
  {\par}
\newenvironment{acks}{\begin{ackslike}{\large°¨»çÀÇ ±Û}}{\end{ackslike}}

\def\received{\par\footnotesize\addvspace{18pt plus 0pt minus
4pt}\parindent\z@}
\def\endreceived{\label{@lastpg}\hskip-2pt\par}

\mark{{}{}} 

\def\ps@myheadings{\let\@mkboth\@gobbletwo
\def\@oddhead{\hbox{}\hfill \small\sf \rightmark\hskip
19pt{\Large$\cdot$}\hskip 17pt\mypage}
\def\@oddfoot{\hbox{}\hfill\tiny\@runningfoot}
\def\@evenhead{\small\sf\mypage \hskip 17pt{\Large$\cdot$}\hskip 19pt\leftmark\hfill \hbox{}}
\def\@evenfoot{\tiny\@runningfoot\hfill\hbox{}}
\def\sectionmark##1{}\def\subsectionmark##1{}}
\def\@runningfoot{}
\def\runningfoot#1{\def\@runningfoot{#1}}
\def\@firstfoot{}
\def\firstfoot#1{\def\@firstfoot{#1}}
\def\ps@titlepage{\let\@mkboth\@gobbletwo
\def\@oddhead{}\def\@oddfoot{\hbox{}\hfill
\tiny\@firstfoot}\def\@evenhead{}\def\@evenfoot{\tiny\@firstfoot\hfill\hbox{}}}

\def\today{\ifcase\month\or
 January\or February\or March\or April\or May\or June\or
 July\or August\or September\or October\or November\or December\fi
 \space\number\day, \number\year}
\def\@marrayclassiv{\@addtopreamble{$\displaystyle \@nextchar$}}
\def\@marrayclassz{\ifcase \@lastchclass \@acolampacol \or \@ampacol \or
 \or \or \@addamp \or
 \@acolampacol \or \@firstampfalse \@acol \fi
\edef\@preamble{\@preamble
 \ifcase \@chnum 
 \hfil$\relax\displaystyle\@sharp$\hfil \or $\relax\displaystyle\@sharp$\hfil 
 \or \hfil$\relax\displaystyle\@sharp$\fi}}
\def\marray{\arraycolsep 2.5pt\let\@acol\@arrayacol \let\@classz\@marrayclassz
 \let\@classiv\@marrayclassiv \let\\\@arraycr\def\@halignto{}\@tabarray}
\def\endmarray{\crcr\egroup\egroup}


\ps@myheadings \pagenumbering{arabic} \onecolumn 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% fixes to acm trans macro package
% 31-JAN-1996
% John Tang Boyland

% footers produced too small (vpt), when ACM typsets them at 7.5pt (!).
% A better compromise is viipt.
\def\@oddfoot{\hbox{}\hfill\scriptsize\@runningfoot}
\def\@evenfoot{\scriptsize\@runningfoot\hfill\hbox{}}

% first footer was set to (vpt), when ACM typesets them at 6.5pt (!).
% A better compromise is vipt.
\def\firstfootsize{\@setsize\firstfootsize{7pt}\vipt\@vipt}
\def\ps@titlepage{\let\@mkboth\@gobbletwo
\def\@oddhead{\@sigplhead}\def\@oddfoot{\hbox{}\hfill\firstfootsize\@firstfoot}%
\def\@evenhead{\@sigplhead}\def\@evenfoot{\firstfootsize\@firstfoot\hfill\hbox{}}}



\def\@sigplhead{\Large\sf\@paperno
\hfill
$\begin{array}[t]{r}%
   \vspace{-7.5mm}\\
   \vrule height 2mm depth 0pt width 10.5cm%
   \vspace{-5.3mm}
\\ \vrule height 0.1mm depth 0pt width 10.5cm%
\end{array}
$
}


% enumerations and longenums are wrong
% 1. the second line in a paragraph of an enumerations in theorems
%  (or other trivlists) doesn't line up under the first
% 1. the second line of a longenum doesn't properly wrap around
%  back to the left margin.

% the original definition of \@listI doesn't set labelwidth
\def\@listI{\leftmargin\leftmargini
 \labelwidth\leftmargini\advance\labelwidth-\labelsep
 \parsep 0pt plus 1pt
 \topsep 6pt plus 2pt minus 2pt
 \itemsep 2pt plus 1pt minus .5pt}
\let\@listi\@listI
\@listi 

% add set of \labelwidth and \itemindent
\def\longenum{\ifnum \@enumdepth >3 \@toodeep\else
 \advance\@enumdepth \@ne 
 \edef\@enumctr{enum\romannumeral\the\@enumdepth}\list
 {\csname label\@enumctr\endcsname}{\usecounter
 {\@enumctr}\labelwidth\z@\leftmargin\z@
 \itemindent\parindent \advance\itemindent\labelsep}\fi}


% provide both spellings of Acknowledgment(s)
\let\acknowledgments\acks
\let\endacknowledgments\endacks

\newcommand{\longpage}{\enlargethispage{\baselineskip}}
\newcommand{\shortpage}{\enlargethispage{-\baselineskip}}




\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm}
\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}
\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}
\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}
\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}
\DeclareRobustCommand*\cal{\@fontswitch\relax\mathcal}
\DeclareRobustCommand*\mit{\@fontswitch\relax\mathnormal}


\AtBeginDocument{
   \begin{sloppy}
   \begin{flushbottom}

}

\AtEndDocument{
   \end{flushbottom}
   \end{sloppy}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% EXAMPLE.tex
%% sigpl.cls¸¦ »ç¿ëÇؼ­ ´ÙÀ½°ú °°ÀÌ ³í¹®À» ÀÛ¼ºÈÄ latexÀ» µ¹¸®¸é µË´Ï´Ù.
%% ù¹ø° ¿­ÀÇ ``%''¸¦ Áö¿î »óÅ°¡ EXAMPLE.tex ¼Ò½º°¡ µÇ°Ú½À´Ï´Ù.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% % sigpl.cls ¸¦ »ç¿ëÇؼ­ ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®ÁöÀÇ ³í¹®À» ÀÛ¼ºÇÏ´Â ¹æ¹ý
% %   ÀÛ¼ºÀÚ   : ÃÖ¿õ½Ä (wschoi@ropas.kaist.ac.kr)
% %   ÀÛ¼ºÀÏÀÚ : 2002³â 10¿ù 11ÀÏ
% 
% 
% % sigpl.clsÀÇ »ç¿ëÀ» ¼±¾ðÇÑ´Ù
% %   sigpl.cls¸¦ »ç¿ëÇÏ·Á¸é ÇÑ±Û ÆùÆ®°¡ ±ò·Á ÀÖ¾î¾ß ÇÏ°í
% %   hfont.sty°¡ ÀÖ¾î¾ß ÇÔ.
% 
% \documentclass{sigpl}
% \usepackage{amsmath}
% \usepackage{amssymb}
% \usepackage{latexsym}
% 
% 
% % title ÆäÀÌÁöÀÇ ¿ÞÂÊ »ó´Ü¿¡ µé¾î°¥ ³í¹® Á¾·ù¹× ¹øÈ£¸¦ ¼±¾ðÇÑ´Ù.
% \paperno{³í$\cdot$¹® 18-1-?}
% 
% 
% % ¿ÞÂÊ ÆäÀÌÁö¿Í ¿À¸¥ÂÊ ÆäÀÌÁö¿¡ µé¾î°¥ headingÀ» ¼±¾ðÇÑ´Ù.
% %   Çü½ÄÀº ¿ÞÂÊ ÆäÀÌÁö´Â 'ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö Á¦ - ±Ç - È£ (³âµµ. ¿ù)' ÀÌ°í
% %   ¿À¸¥ÂÊÀº 'ÇѱÛÁ¦¸ñ -- ÀúÀÚ' ÀÌ´Ù.
% %   ÀúÀÚ°¡ ¿©·¯¸íÀÎ °æ¿ì 'ÀúÀÚ1 $\cdot$ ÀúÀÚ2 ...' À¸·Î ³ªÅ¸³½´Ù.
% \markboth
%    {ÇÁ·Î±×·¡¹Ö¾ð¾î³í¹®Áö Á¦ 18 ±Ç 1 È£(2004. 2)}
%    {¾ç»ó ³í¸®ÀÇ ÀÌÇØ -- ½Å½Âö}
% 
% 
% % Á¦¸ñÀ» ¼±¾ðÇÑ´Ù.
% %   Áö¿ø±â°üµîÀ» Á¦¸ñ¿¡ footnote·Î ´Þ°í ½ÍÀº °æ¿ì \thanks{}¸¦ »ç¿ëÇÑ´Ù.
% \title{¾ç»ó ³í¸®ÀÇ ÀÌÇØ
% %\thanks{ÀÌ ¿¬±¸´Â ... ÀÇ Áö¿øÀ» ¹Þ¾ÒÀ½À» ¹àÈü´Ï´Ù.}
% } \etitle{A Tutorial Introduction to Modal Logics}
% 
% % ÀúÀÚ¸¦ ¼±¾ðÇÑ´Ù.
% %   Çü½ÄÀº '\Large ÀúÀÚ \\ \large ¼Ò¼Ó±â°ü \\ email' ·Î ÇÑ´Ù.
% %   ÀúÀÚ°¡ ¿©·¯¸íÀÎ °æ¿ì °°Àº ±â°ü¿¡ ¼ÓÇÑ ÀúÀÚµéÀº
% %   'ÀúÀÚ1 $\cdot$ ÀúÀÚ2 \\ ¼Ò¼Ó±â°ü \\ \{id1; id2\}@domain} ·Î ÇÑ´Ù.
% %   ´Ù¸¥ ±â°ü¿¡ ¼ÓÇÑ ÀúÀÚµéÀº ´ÙÀ½°ú °°ÀÌ \authorsep ·Î ±¸ºÐÀ» ÇÑ´Ù.
% %   '\Large ÀúÀÚ1 \\ \large ¼Ò¼Ó±â°ü1 \\ email1 \\
% %    \authorsep
% %    \Large ÀúÀÚ2 \\ \large ¼Ò¼Ó±â°ü2 \\ email2'
% \author{
%    \Large È«±æµ¿\\
%    \large ÁÁÀº´ëÇб³ ÄÄÇ»ÅÍÇкΠ\\
%           hgd@foo.ac.kr \\
% %   \authorsep
% %   \Large ÀúÀÚ3 \\
% %   \large ¼Ò¼Ó±â°ü3 \\
% %          email
% }
% 
% 
% % ¿ä¾à¹®À» ÀÛ¼ºÇÑ´Ù.
% \begin{abstract}
% \end{abstract}
% 
% \begin{document}
% % Á¦¸ñ ÀúÀÚ µîÀ» Ãâ·ÂÇÑ´Ù.
% \maketitle
% 
% % ³»¿ëÀÇ ±¸ºÐÀº \section ºÎÅÍ »ç¿ëÀ» ÇÑ´Ù.
% \section{¼­ ·Ð}
% 
% % ±×¸²Àº ´ÙÀ½°ú °°ÀÌ ³Ö´Â´Ù
% \begin{figure}[h]
%    \centering \includegraphics[width=8cm, height=5.5cm]{modalcube}
%    \caption{modal cube}
% \end{figure}
% \section{°á·Ð}
% 
% % ´ÙÀ½°ú °°ÀÌ ÇÊ¿äÇÒ °æ¿ì º» ¹®ÀÇ ³¡¿¡ °¨»çÀÇ ±ÛÀ» ÀÛ¼ºÇÒ ¼ö ÀÖ´Ù.
% \begin{acks}
% ³í¸®ÇÐ °øºÎ¿¡ ´ëÇÑ °ü½É°ú Åä·ÐÀ» ÅëÇØ °Ý·ÁÇØ ÁֽŠLiComR groupÀÇ °æºÏ´ë Á¤ÁÖÈñ±³¼ö´Ô°ú °æ¼º´ë º¯¼®¿ì ±³¼ö´Ô²² °¨»ç¸¦ µå¸³´Ï´Ù.
% \end{acks}
% 
% %°¨»çÀÇ ±Û ÀÌÈÄ¿¡ ´ÙÀ½°ú °°ÀÌ bibliography¸¦ ÀÛ¼ºÇÑ´Ù.
% \bibliographystyle{plain}
% \begin{thebibliography}{7}
% \bibitem{bib1} Blackburn, P., M. de Rijke, and Y.Venema, Modal
% logic, Cambridge University Press, 2001 
% \bibitem{bib2} Chellas, B., Modal Logic: An Introduction, Cambridge
% University Press, 1980 
% \bibitem{bib3} Davis, M., Universal computer: the road from Frege to
% G$\ddot{o}$del, Norton, 2000 
% \bibitem{bib4} van Dalen, D., Logic and Structure, Springer, third
% edition, 1994 
% \bibitem{bib5} Garson, J., "Modal Logic", The Stanford Encyclopedia
% of Philosophy, Edward N. Zalta (ed.), URL =
% http://plato.stanford.edu/archives/win2003/entries/logic-modal/ 
% \bibitem{bib6} Ryan, M. and M. Sadler, "Valuation systems and
% consequence relations", Handbook of logic in computer science,
% S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum (ed.), Oxford
% University Press, 1992 
% \bibitem{bib7} Sahlqvist, H., "Completeness and Correspondence in
% First and Second Order Semantics for Modal Logic," in Kanger,
% S. (ed.) Proceedings of the Third Scandanavian Logic Symposium,
% Amsterdam: North Holland. 110-143, 1975 
% 
% \end{thebibliography}
% 
% 
% %ÇÊ¿äÇÒ °æ¿ì ´ÙÀ½°ú °°ÀÌ ºÎ·ÏÀ» ÀÛ¼ºÇÒ ¼ö ÀÖ´Ù.
% %\appendix
% %\section{ºÎ·Ï1}
% %ºÎ·Ï1 ³»¿ë
% %
% %\section{ºÎ·Ï2}
% %ºÎ·Ï2 ³»¿ë
% 
% %¸¶Áö¸·À¸·Î °¢°¢ÀÇ ÀúÀÚÀÇ »çÁø ¹× vitae¸¦ ´ÙÀ½°ú °°ÀÌ ÀÛ¼ºÇÑ´Ù.
% %  »çÁøÀº °¡·Î:¼¼·Î°¡ 2.5:3ÀÎ (¼¼·Î°¡ 3cm·Î scaleµÇ¼­ Ç¥½ÃµÊ) epsÈ­ÀÏ Çü½ÄÀÌ´Ù.
% %  Çü½ÄÀº
% %    \vitae{ÀÌ ¸§}      % °¢ÀÚ¸¦ ¶Ù¾î¾¸
% %          {picture}  % È®ÀåÀÚ´Â ¾²Áö¾ÊÀ½
% %          {¾ç·Â}      % °¢°¢À» \\ ·Î ±¸ºÐÇÔ
% %          {°ü½ÉºÐ¾ß}  % °¢°¢À» , ·Î ±¸ºÐÇÔ
% \vitae{È«±æµ¿}
%       {photo}
%       {1983-1987 ÁÁÀº´ë Çлç\\
%        1987-1993 ÁÁÀº´ë ¹Ú»ç
%        }
%       {ÇÁ·Î±×·¡¹Ö ¾ð¾î, ÇÁ·Î±×·¥ ºÐ¼® ¹× °ËÁõ, ¼ÒÇÁÆ®¿þ¾î º¸¾È, ¼ö¸® ³í¸®}
% 
% %\vitae{Àú ÀÚ 2}
% %      {sample}
% %      {19xx-19xx ¾à·Â1\\
% %       19xx-19xx ¾à·Â2}
% %      {°ü½ÉºÐ¾ß1, °ü½ÉºÐ¾ß2}
% 
% \end{document}
%