Papers/2015/atton-icfp: sigplanconf.cls annotate

annotate sigplanconf.cls @ 3:11a86cf869e2

Wrote introduction

author	Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date	Tue, 24 Feb 2015 15:54:22 +0900
parents	32308ce01324
children

rev	line source
0 32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1 %-----------------------------------------------------------------------------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	2 %
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	3 % LaTeX Class/Style File
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	4 %
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	5 % Name: sigplanconf.cls
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	6 %
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	7 % Purpose: A LaTeX 2e class file for SIGPLAN conference proceedings.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	8 % This class file supercedes acm_proc_article-sp,
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	9 % sig-alternate, and sigplan-proc.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	10 %
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	11 % Author: Paul C. Anagnostopoulos
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	12 % Windfall Software
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	13 % 978 371-2316
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	14 % paul [atsign] windfall.com
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	15 %
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	16 % Created: 12 September 2004
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	17 %
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	18 % Revisions: See end of file.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	19 %
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	20 % This work is licensed under the Creative Commons Attribution License.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	21 % To view a copy of this license, visit
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	22 % http://creativecommons.org/licenses/by/3.0/
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	23 % or send a letter to Creative Commons, 171 2nd Street, Suite 300,
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	24 % San Francisco, California, 94105, U.S.A.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	25 %
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	26 %-----------------------------------------------------------------------------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	27
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	28
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	29 \NeedsTeXFormat{LaTeX2e}[1995/12/01]
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	30 \ProvidesClass{sigplanconf}[2013/07/02 v2.8 ACM SIGPLAN Proceedings]
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	31
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	32 % The following few pages contain LaTeX programming extensions adapted
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	33 % from the ZzTeX macro package.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	34
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	35 % Token Hackery
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	36 % ----- -------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	37
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	38
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	39 \def \@expandaftertwice {\expandafter\expandafter\expandafter}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	40 \def \@expandafterthrice {\expandafter\expandafter\expandafter\expandafter
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	41 \expandafter\expandafter\expandafter}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	42
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	43 % This macro discards the next token.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	44
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	45 \def \@discardtok #1{}% token
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	46
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	47 % This macro removes the `pt' following a dimension.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	48
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	49 {\catcode `\p = 12 \catcode `\t = 12
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	50
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	51 \gdef \@remover #1pt{#1}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	52
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	53 } % \catcode
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	54
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	55 % This macro extracts the contents of a macro and returns it as plain text.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	56 % Usage: \expandafter\@defof \meaning\macro\@mark
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	57
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	58 \def \@defof #1:->#2\@mark{#2}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	59
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	60 % Control Sequence Names
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	61 % ------- -------- -----
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	62
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	63
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	64 \def \@name #1{% {\tokens}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	65 \csname \expandafter\@discardtok \string#1\endcsname}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	66
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	67 \def \@withname #1#2{% {\command}{\tokens}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	68 \expandafter#1\csname \expandafter\@discardtok \string#2\endcsname}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	69
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	70 % Flags (Booleans)
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	71 % ----- ----------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	72
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	73 % The boolean literals \@true and \@false are appropriate for use with
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	74 % the \if command, which tests the codes of the next two characters.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	75
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	76 \def \@true {TT}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	77 \def \@false {FL}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	78
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	79 \def \@setflag #1=#2{\edef #1{#2}}% \flag = boolean
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	80
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	81 % IF and Predicates
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	82 % -- --- ----------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	83
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	84 % A "predicate" is a macro that returns \@true or \@false as its value.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	85 % Such values are suitable for use with the \if conditional. For example:
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	86 %
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	87 % \if \@oddp{\x} <then-clause> \else <else-clause> \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	88
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	89 % A predicate can be used with \@setflag as follows:
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	90 %
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	91 % \@setflag \flag = {<predicate>}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	92
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	93 % Here are the predicates for TeX's repertoire of conditional
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	94 % commands. These might be more appropriately interspersed with
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	95 % other definitions in this module, but what the heck.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	96 % Some additional "obvious" predicates are defined.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	97
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	98 \def \@eqlp #1#2{\ifnum #1 = #2\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	99 \def \@neqlp #1#2{\ifnum #1 = #2\@false \else \@true \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	100 \def \@lssp #1#2{\ifnum #1 < #2\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	101 \def \@gtrp #1#2{\ifnum #1 > #2\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	102 \def \@zerop #1{\ifnum #1 = 0\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	103 \def \@onep #1{\ifnum #1 = 1\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	104 \def \@posp #1{\ifnum #1 > 0\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	105 \def \@negp #1{\ifnum #1 < 0\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	106 \def \@oddp #1{\ifodd #1\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	107 \def \@evenp #1{\ifodd #1\@false \else \@true \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	108 \def \@rangep #1#2#3{\if \@orp{\@lssp{#1}{#2}}{\@gtrp{#1}{#3}}\@false \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	109 \@true \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	110 \def \@tensp #1{\@rangep{#1}{10}{19}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	111
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	112 \def \@dimeqlp #1#2{\ifdim #1 = #2\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	113 \def \@dimneqlp #1#2{\ifdim #1 = #2\@false \else \@true \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	114 \def \@dimlssp #1#2{\ifdim #1 < #2\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	115 \def \@dimgtrp #1#2{\ifdim #1 > #2\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	116 \def \@dimzerop #1{\ifdim #1 = 0pt\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	117 \def \@dimposp #1{\ifdim #1 > 0pt\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	118 \def \@dimnegp #1{\ifdim #1 < 0pt\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	119
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	120 \def \@vmodep {\ifvmode \@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	121 \def \@hmodep {\ifhmode \@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	122 \def \@mathmodep {\ifmmode \@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	123 \def \@textmodep {\ifmmode \@false \else \@true \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	124 \def \@innermodep {\ifinner \@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	125
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	126 \long\def \@codeeqlp #1#2{\if #1#2\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	127
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	128 \long\def \@cateqlp #1#2{\ifcat #1#2\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	129
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	130 \long\def \@tokeqlp #1#2{\ifx #1#2\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	131 \long\def \@xtokeqlp #1#2{\expandafter\ifx #1#2\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	132
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	133 \long\def \@definedp #1{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	134 \expandafter\ifx \csname \expandafter\@discardtok \string#1\endcsname
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	135 \relax \@false \else \@true \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	136
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	137 \long\def \@undefinedp #1{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	138 \expandafter\ifx \csname \expandafter\@discardtok \string#1\endcsname
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	139 \relax \@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	140
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	141 \def \@emptydefp #1{\ifx #1\@empty \@true \else \@false \fi}% {\name}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	142
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	143 \let \@emptylistp = \@emptydefp
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	144
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	145 \long\def \@emptyargp #1{% {#n}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	146 \@empargp #1\@empargq\@mark}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	147 \long\def \@empargp #1#2\@mark{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	148 \ifx #1\@empargq \@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	149 \def \@empargq {\@empargq}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	150
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	151 \def \@emptytoksp #1{% {\tokenreg}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	152 \expandafter\@emptoksp \the#1\@mark}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	153
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	154 \long\def \@emptoksp #1\@mark{\@emptyargp{#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	155
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	156 \def \@voidboxp #1{\ifvoid #1\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	157 \def \@hboxp #1{\ifhbox #1\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	158 \def \@vboxp #1{\ifvbox #1\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	159
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	160 \def \@eofp #1{\ifeof #1\@true \else \@false \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	161
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	162
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	163 % Flags can also be used as predicates, as in:
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	164 %
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	165 % \if \flaga <then-clause> \else <else-clause> \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	166
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	167
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	168 % Now here we have predicates for the common logical operators.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	169
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	170 \def \@notp #1{\if #1\@false \else \@true \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	171
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	172 \def \@andp #1#2{\if #1%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	173 \if #2\@true \else \@false \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	174 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	175 \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	176 \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	177
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	178 \def \@orp #1#2{\if #1%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	179 \@true
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	180 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	181 \if #2\@true \else \@false \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	182 \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	183
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	184 \def \@xorp #1#2{\if #1%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	185 \if #2\@false \else \@true \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	186 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	187 \if #2\@true \else \@false \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	188 \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	189
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	190 % Arithmetic
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	191 % ----------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	192
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	193 \def \@increment #1{\advance #1 by 1\relax}% {\count}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	194
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	195 \def \@decrement #1{\advance #1 by -1\relax}% {\count}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	196
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	197 % Options
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	198 % -------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	199
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	200
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	201 \@setflag \@authoryear = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	202 \@setflag \@blockstyle = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	203 \@setflag \@copyrightwanted = \@true
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	204 \@setflag \@explicitsize = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	205 \@setflag \@mathtime = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	206 \@setflag \@natbib = \@true
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	207 \@setflag \@ninepoint = \@true
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	208 \newcount{\@numheaddepth} \@numheaddepth = 3
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	209 \@setflag \@onecolumn = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	210 \@setflag \@preprint = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	211 \@setflag \@reprint = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	212 \@setflag \@tenpoint = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	213 \@setflag \@times = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	214
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	215 % Note that all the dangerous article class options are trapped.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	216
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	217 \DeclareOption{9pt}{\@setflag \@ninepoint = \@true
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	218 \@setflag \@explicitsize = \@true}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	219
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	220 \DeclareOption{10pt}{\PassOptionsToClass{10pt}{article}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	221 \@setflag \@ninepoint = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	222 \@setflag \@tenpoint = \@true
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	223 \@setflag \@explicitsize = \@true}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	224
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	225 \DeclareOption{11pt}{\PassOptionsToClass{11pt}{article}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	226 \@setflag \@ninepoint = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	227 \@setflag \@explicitsize = \@true}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	228
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	229 \DeclareOption{12pt}{\@unsupportedoption{12pt}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	230
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	231 \DeclareOption{a4paper}{\@unsupportedoption{a4paper}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	232
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	233 \DeclareOption{a5paper}{\@unsupportedoption{a5paper}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	234
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	235 \DeclareOption{authoryear}{\@setflag \@authoryear = \@true}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	236
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	237 \DeclareOption{b5paper}{\@unsupportedoption{b5paper}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	238
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	239 \DeclareOption{blockstyle}{\@setflag \@blockstyle = \@true}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	240
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	241 \DeclareOption{cm}{\@setflag \@times = \@false}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	242
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	243 \DeclareOption{computermodern}{\@setflag \@times = \@false}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	244
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	245 \DeclareOption{executivepaper}{\@unsupportedoption{executivepaper}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	246
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	247 \DeclareOption{indentedstyle}{\@setflag \@blockstyle = \@false}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	248
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	249 \DeclareOption{landscape}{\@unsupportedoption{landscape}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	250
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	251 \DeclareOption{legalpaper}{\@unsupportedoption{legalpaper}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	252
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	253 \DeclareOption{letterpaper}{\@unsupportedoption{letterpaper}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	254
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	255 \DeclareOption{mathtime}{\@setflag \@mathtime = \@true}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	256
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	257 \DeclareOption{natbib}{\@setflag \@natbib = \@true}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	258
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	259 \DeclareOption{nonatbib}{\@setflag \@natbib = \@false}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	260
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	261 \DeclareOption{nocopyrightspace}{\@setflag \@copyrightwanted = \@false}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	262
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	263 \DeclareOption{notitlepage}{\@unsupportedoption{notitlepage}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	264
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	265 \DeclareOption{numberedpars}{\@numheaddepth = 4}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	266
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	267 \DeclareOption{numbers}{\@setflag \@authoryear = \@false}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	268
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	269 %%%\DeclareOption{onecolumn}{\@setflag \@onecolumn = \@true}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	270
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	271 \DeclareOption{preprint}{\@setflag \@preprint = \@true}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	272
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	273 \DeclareOption{reprint}{\@setflag \@reprint = \@true}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	274
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	275 \DeclareOption{times}{\@setflag \@times = \@true}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	276
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	277 \DeclareOption{titlepage}{\@unsupportedoption{titlepage}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	278
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	279 \DeclareOption{twocolumn}{\@setflag \@onecolumn = \@false}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	280
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	281 \DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	282
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	283 \ExecuteOptions{9pt,indentedstyle,times}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	284 \@setflag \@explicitsize = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	285 \ProcessOptions
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	286
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	287 \if \@onecolumn
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	288 \if \@notp{\@explicitsize}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	289 \@setflag \@ninepoint = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	290 \PassOptionsToClass{11pt}{article}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	291 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	292 \PassOptionsToClass{twoside,onecolumn}{article}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	293 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	294 \PassOptionsToClass{twoside,twocolumn}{article}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	295 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	296 \LoadClass{article}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	297
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	298 \def \@unsupportedoption #1{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	299 \ClassError{proc}{The standard '#1' option is not supported.}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	300
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	301 % This can be used with the 'reprint' option to get the final folios.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	302
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	303 \def \setpagenumber #1{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	304 \setcounter{page}{#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	305
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	306 \AtEndDocument{\label{sigplanconf@finalpage}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	307
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	308 % Utilities
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	309 % ---------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	310
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	311
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	312 \newcommand{\setvspace}[2]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	313 #1 = #2
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	314 \advance #1 by -1\parskip}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	315
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	316 % Document Parameters
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	317 % -------- ----------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	318
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	319
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	320 % Page:
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	321
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	322 \setlength{\hoffset}{-1in}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	323 \setlength{\voffset}{-1in}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	324
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	325 \setlength{\topmargin}{1in}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	326 \setlength{\headheight}{0pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	327 \setlength{\headsep}{0pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	328
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	329 \if \@onecolumn
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	330 \setlength{\evensidemargin}{.75in}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	331 \setlength{\oddsidemargin}{.75in}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	332 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	333 \setlength{\evensidemargin}{.75in}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	334 \setlength{\oddsidemargin}{.75in}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	335 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	336
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	337 % Text area:
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	338
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	339 \newdimen{\standardtextwidth}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	340 \setlength{\standardtextwidth}{42pc}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	341
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	342 \if \@onecolumn
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	343 \setlength{\textwidth}{40.5pc}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	344 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	345 \setlength{\textwidth}{\standardtextwidth}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	346 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	347
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	348 \setlength{\topskip}{8pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	349 \setlength{\columnsep}{2pc}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	350 \setlength{\textheight}{54.5pc}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	351
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	352 % Running foot:
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	353
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	354 \setlength{\footskip}{30pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	355
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	356 % Paragraphs:
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	357
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	358 \if \@blockstyle
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	359 \setlength{\parskip}{5pt plus .1pt minus .5pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	360 \setlength{\parindent}{0pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	361 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	362 \setlength{\parskip}{0pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	363 \setlength{\parindent}{12pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	364 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	365
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	366 \setlength{\lineskip}{.5pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	367 \setlength{\lineskiplimit}{\lineskip}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	368
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	369 \frenchspacing
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	370 \pretolerance = 400
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	371 \tolerance = \pretolerance
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	372 \setlength{\emergencystretch}{5pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	373 \clubpenalty = 10000
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	374 \widowpenalty = 10000
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	375 \setlength{\hfuzz}{.5pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	376
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	377 % Standard vertical spaces:
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	378
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	379 \newskip{\standardvspace}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	380 \setvspace{\standardvspace}{5pt plus 1pt minus .5pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	381
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	382 % Margin paragraphs:
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	383
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	384 \setlength{\marginparwidth}{36pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	385 \setlength{\marginparsep}{2pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	386 \setlength{\marginparpush}{8pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	387
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	388
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	389 \setlength{\skip\footins}{8pt plus 3pt minus 1pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	390 \setlength{\footnotesep}{9pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	391
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	392 \renewcommand{\footnoterule}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	393 \hrule width .5\columnwidth height .33pt depth 0pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	394
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	395 \renewcommand{\@makefntext}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	396 \noindent \@makefnmark \hspace{1pt}#1}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	397
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	398 % Floats:
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	399
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	400 \setcounter{topnumber}{4}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	401 \setcounter{bottomnumber}{1}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	402 \setcounter{totalnumber}{4}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	403
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	404 \renewcommand{\fps@figure}{tp}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	405 \renewcommand{\fps@table}{tp}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	406 \renewcommand{\topfraction}{0.90}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	407 \renewcommand{\bottomfraction}{0.30}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	408 \renewcommand{\textfraction}{0.10}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	409 \renewcommand{\floatpagefraction}{0.75}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	410
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	411 \setcounter{dbltopnumber}{4}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	412
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	413 \renewcommand{\dbltopfraction}{\topfraction}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	414 \renewcommand{\dblfloatpagefraction}{\floatpagefraction}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	415
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	416 \setlength{\floatsep}{18pt plus 4pt minus 2pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	417 \setlength{\textfloatsep}{18pt plus 4pt minus 3pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	418 \setlength{\intextsep}{10pt plus 4pt minus 3pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	419
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	420 \setlength{\dblfloatsep}{18pt plus 4pt minus 2pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	421 \setlength{\dbltextfloatsep}{20pt plus 4pt minus 3pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	422
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	423 % Miscellaneous:
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	424
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	425 \errorcontextlines = 5
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	426
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	427 % Fonts
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	428 % -----
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	429
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	430
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	431 \if \@times
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	432 \renewcommand{\rmdefault}{ptm}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	433 \if \@mathtime
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	434 \usepackage[mtbold,noTS1]{mathtime}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	435 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	436 %%% \usepackage{mathptm}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	437 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	438 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	439 \relax
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	440 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	441
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	442 \if \@ninepoint
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	443
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	444 \renewcommand{\normalsize}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	445 \@setfontsize{\normalsize}{9pt}{10pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	446 \setlength{\abovedisplayskip}{5pt plus 1pt minus .5pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	447 \setlength{\belowdisplayskip}{\abovedisplayskip}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	448 \setlength{\abovedisplayshortskip}{3pt plus 1pt minus 2pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	449 \setlength{\belowdisplayshortskip}{\abovedisplayshortskip}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	450
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	451 \renewcommand{\tiny}{\@setfontsize{\tiny}{5pt}{6pt}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	452
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	453 \renewcommand{\scriptsize}{\@setfontsize{\scriptsize}{7pt}{8pt}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	454
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	455 \renewcommand{\small}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	456 \@setfontsize{\small}{8pt}{9pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	457 \setlength{\abovedisplayskip}{4pt plus 1pt minus 1pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	458 \setlength{\belowdisplayskip}{\abovedisplayskip}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	459 \setlength{\abovedisplayshortskip}{2pt plus 1pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	460 \setlength{\belowdisplayshortskip}{\abovedisplayshortskip}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	461
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	462 \renewcommand{\footnotesize}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	463 \@setfontsize{\footnotesize}{8pt}{9pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	464 \setlength{\abovedisplayskip}{4pt plus 1pt minus .5pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	465 \setlength{\belowdisplayskip}{\abovedisplayskip}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	466 \setlength{\abovedisplayshortskip}{2pt plus 1pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	467 \setlength{\belowdisplayshortskip}{\abovedisplayshortskip}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	468
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	469 \renewcommand{\large}{\@setfontsize{\large}{11pt}{13pt}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	470
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	471 \renewcommand{\Large}{\@setfontsize{\Large}{14pt}{18pt}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	472
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	473 \renewcommand{\LARGE}{\@setfontsize{\LARGE}{18pt}{20pt}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	474
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	475 \renewcommand{\huge}{\@setfontsize{\huge}{20pt}{25pt}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	476
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	477 \renewcommand{\Huge}{\@setfontsize{\Huge}{25pt}{30pt}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	478
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	479 \else\if \@tenpoint
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	480
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	481 \relax
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	482
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	483 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	484
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	485 \relax
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	486
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	487 \fi\fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	488
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	489 % Abstract
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	490 % --------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	491
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	492
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	493 \renewenvironment{abstract}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	494 \section*{Abstract}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	495 \normalsize}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	496 }
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	497
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	498 % Bibliography
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	499 % ------------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	500
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	501
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	502 \renewenvironment{thebibliography}[1]
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	503 {\section*{\refname
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	504 \@mkboth{\MakeUppercase\refname}{\MakeUppercase\refname}}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	505 \list{\@biblabel{\@arabic\c@enumiv}}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	506 {\settowidth\labelwidth{\@biblabel{#1}}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	507 \leftmargin\labelwidth
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	508 \advance\leftmargin\labelsep
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	509 \@openbib@code
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	510 \usecounter{enumiv}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	511 \let\p@enumiv\@empty
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	512 \renewcommand\theenumiv{\@arabic\c@enumiv}}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	513 \bibfont
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	514 \clubpenalty4000
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	515 \@clubpenalty \clubpenalty
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	516 \widowpenalty4000%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	517 \sfcode`\.\@m}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	518 {\def\@noitemerr
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	519 {\@latex@warning{Empty `thebibliography' environment}}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	520 \endlist}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	521
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	522 \if \@natbib
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	523
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	524 \if \@authoryear
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	525 \typeout{Using natbib package with 'authoryear' citation style.}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	526 \usepackage[authoryear,square]{natbib}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	527 \bibpunct{(}{)}{;}{a}{}{,} % Change fences to parentheses;
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	528 % citation separator to semicolon;
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	529 % eliminate comma between author and year.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	530 \let \cite = \citep
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	531 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	532 \typeout{Using natbib package with 'numbers' citation style.}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	533 \usepackage[numbers,sort&compress,square]{natbib}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	534 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	535 \setlength{\bibsep}{3pt plus .5pt minus .25pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	536
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	537 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	538
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	539 \def \bibfont {\small}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	540
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	541 % Categories
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	542 % ----------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	543
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	544
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	545 \@setflag \@firstcategory = \@true
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	546
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	547 \newcommand{\category}[3]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	548 \if \@firstcategory
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	549 \paragraph*{Categories and Subject Descriptors}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	550 \@setflag \@firstcategory = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	551 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	552 \unskip ;\hspace{.75em}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	553 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	554 \@ifnextchar [{\@category{#1}{#2}{#3}}{\@category{#1}{#2}{#3}[]}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	555
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	556 \def \@category #1#2#3[#4]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	557 {\let \and = \relax
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	558 #1 [\textit{#2}]%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	559 \if \@emptyargp{#4}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	560 \if \@notp{\@emptyargp{#3}}: #3\fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	561 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	562 :\space
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	563 \if \@notp{\@emptyargp{#3}}#3---\fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	564 \textrm{#4}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	565 \fi}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	566
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	567 % Copyright Notice
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	568 % --------- ------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	569
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	570
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	571 \def \ftype@copyrightbox {8}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	572 \def \@toappear {}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	573 \def \@permission {}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	574 \def \@reprintprice {}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	575
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	576 \def \@copyrightspace {%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	577 \@float{copyrightbox}[b]%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	578 \vbox to 1.2in{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	579 \vfill
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	580 \parbox[b]{20pc}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	581 \scriptsize
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	582 \if \@preprint
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	583 [Copyright notice will appear here
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	584 once 'preprint' option is removed.]\par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	585 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	586 \@toappear
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	587 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	588 \if \@reprint
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	589 \noindent Reprinted from \@conferencename,
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	590 \@proceedings,
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	591 \@conferenceinfo,
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	592 pp.~\number\thepage--\pageref{sigplanconf@finalpage}.\par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	593 \fi}}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	594 \end@float}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	595
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	596 \newcommand{\reprintprice}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	597 \gdef \@reprintprice {#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	598
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	599 \reprintprice{\$15.00}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	600
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	601 \long\def \toappear #1{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	602 \def \@toappear {#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	603
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	604 \toappear{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	605 \noindent \@permission \par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	606 \vspace{2pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	607 \noindent \textsl{\@conferencename}, \quad \@conferenceinfo. \par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	608 \noindent Copyright \copyright\ \@copyrightyear\ ACM \@copyrightdata
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	609 \dots \@reprintprice.\par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	610 \noindent http://dx.doi.org/10.1145/\@doi }
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	611
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	612 \newcommand{\permission}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	613 \gdef \@permission {#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	614
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	615 \permission{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	616 Permission to make digital or hard copies of all or part of this work for
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	617 personal or classroom use is granted without fee provided that copies are
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	618 not made or distributed for profit or commercial advantage and that copies
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	619 bear this notice and the full citation on the first page. Copyrights for
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	620 components of this work owned by others than ACM must be honored.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	621 Abstracting with credit is permitted. To copy otherwise, or republish, to
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	622 post on servers or to redistribute to lists, requires prior specific
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	623 permission and/or a fee. Request permissions from permissions@acm.org.}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	624
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	625 % These are two new rights management and bibstrip text blocks.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	626
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	627 \newcommand{\exclusivelicense}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	628 \permission{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	629 Permission to make digital or hard copies of all or part of this work for
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	630 personal or classroom use is granted without fee provided that copies are
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	631 not made or distributed for profit or commercial advantage and that copies
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	632 bear this notice and the full citation on the first page. Copyrights for
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	633 components of this work owned by others than the author(s) must be honored.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	634 Abstracting with credit is permitted. To copy otherwise, or republish, to
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	635 post on servers or to redistribute to lists, requires prior specific
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	636 permission and/or a fee. Request permissions from permissions@acm.org.}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	637 \toappear{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	638 \noindent \@permission \par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	639 \vspace{2pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	640 \noindent \textsl{\@conferencename}, \quad \@conferenceinfo. \par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	641 \noindent Copyright is held by the owner/author(s). Publication rights licensed to ACM. \par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	642 \noindent ACM \@copyrightdata \dots \@reprintprice.\par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	643 \noindent http://dx.doi.org/10.1145/\@doi}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	644
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	645 \newcommand{\permissiontopublish}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	646 \permission{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	647 Permission to make digital or hard copies of part or all of this work for
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	648 personal or classroom use is granted without fee provided that copies are
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	649 not made or distributed for profit or commercial advantage and that copies
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	650 bear this notice and the full citation on the first page. Copyrights for
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	651 third-party components of this work must be honored.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	652 For all other uses, contact the owner/author(s).}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	653 \toappear{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	654 \noindent \@permission \par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	655 \vspace{2pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	656 \noindent \textsl{\@conferencename}, \quad \@conferenceinfo. \par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	657 \noindent Copyright is held by the owner/author(s). \par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	658 \noindent ACM \@copyrightdata.\par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	659 \noindent http://dx.doi.org/10.1145/\@doi}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	660
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	661 % The following permission notices are
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	662 % for the traditional copyright transfer agreement option.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	663
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	664 % Exclusive license and permission-to-publish
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	665 % give more complicated permission notices.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	666 % These are not covered here.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	667
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	668 \newcommand{\ACMCanadapermission}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	669 \permission{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	670 ACM acknowledges that this contribution was authored or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	671 co-authored by an affiliate of the Canadian National
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	672 Government. As such, the Crown in Right of Canada retains an equal
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	673 interest in the copyright. Reprint requests should be forwarded to
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	674 ACM.}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	675
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	676 \newcommand{\ACMUSpermission}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	677 \permission{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	678 ACM acknowledges that this contribution was authored or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	679 co-authored by a contractor or affiliate of the United States
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	680 Government. As such, the United States Government retains a
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	681 nonexclusive, royalty-free right to publish or reproduce this
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	682 article, or to allow others to do so, for Government purposes
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	683 only.}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	684
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	685 \newcommand{\USpublicpermission}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	686 \permission{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	687 This paper is authored by an employee(s) of the United States
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	688 Government and is in the public domain. Non-exclusive copying or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	689 redistribution is allowed, provided that the article citation is
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	690 given and the authors and the agency are clearly identified as its
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	691 source.}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	692 \toappear{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	693 \noindent \@permission \par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	694 \vspace{2pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	695 \noindent \textsl{\@conferencename}, \quad \@conferenceinfo. \par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	696 \noindent ACM \@copyrightdata.\par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	697 \noindent http://dx.doi.org/10.1145/\@doi}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	698
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	699 \newcommand{\authorversion}[4]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	700 \permission{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	701 Copyright \copyright\ ACM, #1. This is the author's version of the work.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	702 It is posted here by permission of ACM for your personal use.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	703 Not for redistribution. The definitive version was published in
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	704 #2, #3, http://dx.doi.org/10.1145/#4.}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	705
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	706 % Enunciations
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	707 % ------------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	708
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	709
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	710 \def \@begintheorem #1#2{% {name}{number}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	711 \trivlist
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	712 \item[\hskip \labelsep \textsc{#1 #2.}]%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	713 \itshape\selectfont
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	714 \ignorespaces}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	715
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	716 \def \@opargbegintheorem #1#2#3{% {name}{number}{title}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	717 \trivlist
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	718 \item[%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	719 \hskip\labelsep \textsc{#1\ #2}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	720 \if \@notp{\@emptyargp{#3}}\nut (#3).\fi]%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	721 \itshape\selectfont
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	722 \ignorespaces}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	723
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	724 % Figures
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	725 % -------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	726
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	727
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	728 \@setflag \@caprule = \@true
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	729
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	730 \long\def \@makecaption #1#2{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	731 \addvspace{4pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	732 \if \@caprule
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	733 \hrule width \hsize height .33pt
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	734 \vspace{4pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	735 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	736 \setbox \@tempboxa = \hbox{\@setfigurenumber{#1.}\nut #2}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	737 \if \@dimgtrp{\wd\@tempboxa}{\hsize}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	738 \noindent \@setfigurenumber{#1.}\nut #2\par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	739 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	740 \centerline{\box\@tempboxa}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	741 \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	742
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	743 \newcommand{\nocaptionrule}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	744 \@setflag \@caprule = \@false}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	745
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	746 \def \@setfigurenumber #1{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	747 {\rmfamily \bfseries \selectfont #1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	748
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	749 % Hierarchy
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	750 % ---------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	751
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	752
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	753 \setcounter{secnumdepth}{\@numheaddepth}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	754
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	755 \newskip{\@sectionaboveskip}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	756 \setvspace{\@sectionaboveskip}{10pt plus 3pt minus 2pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	757
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	758 \newskip{\@sectionbelowskip}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	759 \if \@blockstyle
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	760 \setlength{\@sectionbelowskip}{0.1pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	761 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	762 \setlength{\@sectionbelowskip}{4pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	763 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	764
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	765 \renewcommand{\section}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	766 \@startsection
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	767 {section}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	768 {1}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	769 {0pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	770 {-\@sectionaboveskip}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	771 {\@sectionbelowskip}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	772 {\large \bfseries \raggedright}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	773
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	774 \newskip{\@subsectionaboveskip}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	775 \setvspace{\@subsectionaboveskip}{8pt plus 2pt minus 2pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	776
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	777 \newskip{\@subsectionbelowskip}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	778 \if \@blockstyle
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	779 \setlength{\@subsectionbelowskip}{0.1pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	780 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	781 \setlength{\@subsectionbelowskip}{4pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	782 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	783
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	784 \renewcommand{\subsection}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	785 \@startsection%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	786 {subsection}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	787 {2}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	788 {0pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	789 {-\@subsectionaboveskip}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	790 {\@subsectionbelowskip}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	791 {\normalsize \bfseries \raggedright}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	792
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	793 \renewcommand{\subsubsection}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	794 \@startsection%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	795 {subsubsection}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	796 {3}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	797 {0pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	798 {-\@subsectionaboveskip}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	799 {\@subsectionbelowskip}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	800 {\normalsize \bfseries \raggedright}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	801
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	802 \newskip{\@paragraphaboveskip}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	803 \setvspace{\@paragraphaboveskip}{6pt plus 2pt minus 2pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	804
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	805 \renewcommand{\paragraph}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	806 \@startsection%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	807 {paragraph}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	808 {4}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	809 {0pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	810 {\@paragraphaboveskip}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	811 {-1em}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	812 {\normalsize \bfseries \if \@times \itshape \fi}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	813
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	814 \renewcommand{\subparagraph}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	815 \@startsection%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	816 {subparagraph}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	817 {4}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	818 {0pt}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	819 {\@paragraphaboveskip}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	820 {-1em}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	821 {\normalsize \itshape}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	822
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	823 % Standard headings:
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	824
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	825 \newcommand{\acks}{\section*{Acknowledgments}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	826
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	827 \newcommand{\keywords}{\paragraph*{Keywords}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	828
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	829 \newcommand{\terms}{\paragraph*{General Terms}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	830
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	831 % Identification
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	832 % --------------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	833
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	834
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	835 \def \@conferencename {}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	836 \def \@conferenceinfo {}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	837 \def \@copyrightyear {}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	838 \def \@copyrightdata {[to be supplied]}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	839 \def \@proceedings {[Unknown Proceedings]}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	840
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	841
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	842 \newcommand{\conferenceinfo}[2]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	843 \gdef \@conferencename {#1}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	844 \gdef \@conferenceinfo {#2}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	845
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	846 \newcommand{\copyrightyear}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	847 \gdef \@copyrightyear {#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	848
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	849 \let \CopyrightYear = \copyrightyear
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	850
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	851 \newcommand{\copyrightdata}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	852 \gdef \@copyrightdata {#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	853
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	854 \let \crdata = \copyrightdata
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	855
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	856 \newcommand{\doi}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	857 \gdef \@doi {#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	858
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	859 \newcommand{\proceedings}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	860 \gdef \@proceedings {#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	861
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	862 % Lists
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	863 % -----
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	864
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	865
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	866 \setlength{\leftmargini}{13pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	867 \setlength\leftmarginii{13pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	868 \setlength\leftmarginiii{13pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	869 \setlength\leftmarginiv{13pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	870 \setlength{\labelsep}{3.5pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	871
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	872 \setlength{\topsep}{\standardvspace}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	873 \if \@blockstyle
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	874 \setlength{\itemsep}{1pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	875 \setlength{\parsep}{3pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	876 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	877 \setlength{\itemsep}{1pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	878 \setlength{\parsep}{3pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	879 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	880
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	881 \renewcommand{\labelitemi}{{\small \centeroncapheight{\textbullet}}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	882 \renewcommand{\labelitemii}{\centeroncapheight{\rule{2.5pt}{2.5pt}}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	883 \renewcommand{\labelitemiii}{$-$}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	884 \renewcommand{\labelitemiv}{{\Large \textperiodcentered}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	885
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	886 \renewcommand{\@listi}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	887 \leftmargin = \leftmargini
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	888 \listparindent = 0pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	889 %%% \itemsep = 1pt
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	890 %%% \parsep = 3pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	891 %%% \listparindent = \parindent}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	892
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	893 \let \@listI = \@listi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	894
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	895 \renewcommand{\@listii}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	896 \leftmargin = \leftmarginii
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	897 \topsep = 1pt
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	898 \labelwidth = \leftmarginii
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	899 \advance \labelwidth by -\labelsep
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	900 \listparindent = \parindent}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	901
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	902 \renewcommand{\@listiii}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	903 \leftmargin = \leftmarginiii
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	904 \labelwidth = \leftmarginiii
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	905 \advance \labelwidth by -\labelsep
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	906 \listparindent = \parindent}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	907
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	908 \renewcommand{\@listiv}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	909 \leftmargin = \leftmarginiv
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	910 \labelwidth = \leftmarginiv
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	911 \advance \labelwidth by -\labelsep
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	912 \listparindent = \parindent}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	913
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	914 % Mathematics
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	915 % -----------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	916
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	917
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	918 \def \theequation {\arabic{equation}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	919
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	920 % Miscellaneous
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	921 % -------------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	922
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	923
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	924 \newcommand{\balancecolumns}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	925 \vfill\eject
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	926 \global\@colht = \textheight
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	927 \global\ht\@cclv = \textheight}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	928
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	929 \newcommand{\nut}{\hspace{.5em}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	930
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	931 \newcommand{\softraggedright}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	932 \let \\ = \@centercr
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	933 \leftskip = 0pt
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	934 \rightskip = 0pt plus 10pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	935
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	936 % Program Code
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	937 % ------- ----
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	938
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	939
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	940 \newcommand{\mono}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	941 {\@tempdima = \fontdimen2\font
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	942 \texttt{\spaceskip = 1.1\@tempdima #1}}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	943
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	944 % Running Heads and Feet
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	945 % ------- ----- --- ----
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	946
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	947
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	948 \def \@preprintfooter {}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	949
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	950 \newcommand{\preprintfooter}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	951 \gdef \@preprintfooter {#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	952
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	953 \if \@preprint
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	954
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	955 \def \ps@plain {%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	956 \let \@mkboth = \@gobbletwo
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	957 \let \@evenhead = \@empty
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	958 \def \@evenfoot {\scriptsize
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	959 \rlap{\textit{\@preprintfooter}}\hfil
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	960 \thepage \hfil
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	961 \llap{\textit{\@formatyear}}}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	962 \let \@oddhead = \@empty
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	963 \let \@oddfoot = \@evenfoot}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	964
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	965 \else\if \@reprint
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	966
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	967 \def \ps@plain {%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	968 \let \@mkboth = \@gobbletwo
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	969 \let \@evenhead = \@empty
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	970 \def \@evenfoot {\scriptsize \hfil \thepage \hfil}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	971 \let \@oddhead = \@empty
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	972 \let \@oddfoot = \@evenfoot}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	973
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	974 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	975
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	976 \let \ps@plain = \ps@empty
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	977 \let \ps@headings = \ps@empty
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	978 \let \ps@myheadings = \ps@empty
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	979
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	980 \fi\fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	981
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	982 \def \@formatyear {%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	983 \number\year/\number\month/\number\day}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	984
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	985 % Special Characters
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	986 % ------- ----------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	987
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	988
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	989 \DeclareRobustCommand{\euro}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	990 \protect{\rlap{=}}{\sf \kern .1em C}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	991
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	992 % Title Page
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	993 % ----- ----
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	994
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	995
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	996 \@setflag \@addauthorsdone = \@false
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	997
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	998 \def \@titletext {\@latex@error{No title was provided}{}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	999 \def \@subtitletext {}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1000
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1001 \newcount{\@authorcount}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1002
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1003 \newcount{\@titlenotecount}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1004 \newtoks{\@titlenotetext}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1005
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1006 \def \@titlebanner {}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1007
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1008 \renewcommand{\title}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1009 \gdef \@titletext {#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1010
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1011 \newcommand{\subtitle}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1012 \gdef \@subtitletext {#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1013
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1014 \newcommand{\authorinfo}[3]{% {names}{affiliation}{email/URL}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1015 \global\@increment \@authorcount
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1016 \@withname\gdef {\@authorname\romannumeral\@authorcount}{#1}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1017 \@withname\gdef {\@authoraffil\romannumeral\@authorcount}{#2}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1018 \@withname\gdef {\@authoremail\romannumeral\@authorcount}{#3}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1019
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1020 \renewcommand{\author}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1021 \@latex@error{The \string\author\space command is obsolete;
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1022 use \string\authorinfo}{}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1023
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1024 \newcommand{\titlebanner}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1025 \gdef \@titlebanner {#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1026
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1027 \renewcommand{\maketitle}{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1028 \pagestyle{plain}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1029 \if \@onecolumn
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1030 {\hsize = \standardtextwidth
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1031 \@maketitle}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1032 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1033 \twocolumn[\@maketitle]%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1034 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1035 \@placetitlenotes
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1036 \if \@copyrightwanted \@copyrightspace \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1037
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1038 \def \@maketitle {%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1039 \begin{center}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1040 \@settitlebanner
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1041 \let \thanks = \titlenote
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1042 {\leftskip = 0pt plus 0.25\linewidth
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1043 \rightskip = 0pt plus 0.25 \linewidth
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1044 \parfillskip = 0pt
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1045 \spaceskip = .7em
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1046 \noindent \LARGE \bfseries \@titletext \par}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1047 \vskip 6pt
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1048 \noindent \Large \@subtitletext \par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1049 \vskip 12pt
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1050 \ifcase \@authorcount
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1051 \@latex@error{No authors were specified for this paper}{}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1052 \@titleauthors{i}{}{}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1053 \@titleauthors{i}{ii}{}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1054 \@titleauthors{i}{ii}{iii}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1055 \@titleauthors{i}{ii}{iii}\@titleauthors{iv}{}{}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1056 \@titleauthors{i}{ii}{iii}\@titleauthors{iv}{v}{}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1057 \@titleauthors{i}{ii}{iii}\@titleauthors{iv}{v}{vi}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1058 \@titleauthors{i}{ii}{iii}\@titleauthors{iv}{v}{vi}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1059 \@titleauthors{vii}{}{}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1060 \@titleauthors{i}{ii}{iii}\@titleauthors{iv}{v}{vi}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1061 \@titleauthors{vii}{viii}{}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1062 \@titleauthors{i}{ii}{iii}\@titleauthors{iv}{v}{vi}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1063 \@titleauthors{vii}{viii}{ix}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1064 \@titleauthors{i}{ii}{iii}\@titleauthors{iv}{v}{vi}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1065 \@titleauthors{vii}{viii}{ix}\@titleauthors{x}{}{}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1066 \@titleauthors{i}{ii}{iii}\@titleauthors{iv}{v}{vi}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1067 \@titleauthors{vii}{viii}{ix}\@titleauthors{x}{xi}{}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1068 \@titleauthors{i}{ii}{iii}\@titleauthors{iv}{v}{vi}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1069 \@titleauthors{vii}{viii}{ix}\@titleauthors{x}{xi}{xii}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1070 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1071 \@latex@error{Cannot handle more than 12 authors}{}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1072 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1073 \vspace{1.75pc}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1074 \end{center}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1075
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1076 \def \@settitlebanner {%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1077 \if \@andp{\@preprint}{\@notp{\@emptydefp{\@titlebanner}}}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1078 \vbox to 0pt{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1079 \vskip -32pt
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1080 \noindent \textbf{\@titlebanner}\par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1081 \vss}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1082 \nointerlineskip
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1083 \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1084
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1085 \def \@titleauthors #1#2#3{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1086 \if \@andp{\@emptyargp{#2}}{\@emptyargp{#3}}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1087 \noindent \@setauthor{40pc}{#1}{\@false}\par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1088 \else\if \@emptyargp{#3}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1089 \noindent \@setauthor{17pc}{#1}{\@false}\hspace{3pc}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1090 \@setauthor{17pc}{#2}{\@false}\par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1091 \else
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1092 \noindent \@setauthor{12.5pc}{#1}{\@false}\hspace{2pc}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1093 \@setauthor{12.5pc}{#2}{\@false}\hspace{2pc}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1094 \@setauthor{12.5pc}{#3}{\@true}\par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1095 \relax
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1096 \fi\fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1097 \vspace{20pt}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1098
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1099 \def \@setauthor #1#2#3{% {width}{text}{unused}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1100 \vtop{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1101 \def \and {%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1102 \hspace{16pt}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1103 \hsize = #1
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1104 \normalfont
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1105 \centering
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1106 \large \@name{\@authorname#2}\par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1107 \vspace{5pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1108 \normalsize \@name{\@authoraffil#2}\par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1109 \vspace{2pt}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1110 \textsf{\@name{\@authoremail#2}}\par}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1111
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1112 \def \@maybetitlenote #1{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1113 \if \@andp{#1}{\@gtrp{\@authorcount}{3}}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1114 \titlenote{See page~\pageref{@addauthors} for additional authors.}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1115 \fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1116
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1117 \newtoks{\@fnmark}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1118
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1119 \newcommand{\titlenote}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1120 \global\@increment \@titlenotecount
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1121 \ifcase \@titlenotecount \relax \or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1122 \@fnmark = {\ast}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1123 \@fnmark = {\dagger}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1124 \@fnmark = {\ddagger}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1125 \@fnmark = {\S}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1126 \@fnmark = {\P}\or
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1127 \@fnmark = {\ast\ast}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1128 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1129 \,$^{\the\@fnmark}$%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1130 \edef \reserved@a {\noexpand\@appendtotext{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1131 \noexpand\@titlefootnote{\the\@fnmark}}}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1132 \reserved@a{#1}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1133
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1134 \def \@appendtotext #1#2{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1135 \global\@titlenotetext = \expandafter{\the\@titlenotetext #1{#2}}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1136
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1137 \newcount{\@authori}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1138
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1139 \iffalse
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1140 \def \additionalauthors {%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1141 \if \@gtrp{\@authorcount}{3}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1142 \section{Additional Authors}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1143 \label{@addauthors}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1144 \noindent
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1145 \@authori = 4
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1146 {\let \\ = ,%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1147 \loop
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1148 \textbf{\@name{\@authorname\romannumeral\@authori}},
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1149 \@name{\@authoraffil\romannumeral\@authori},
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1150 email: \@name{\@authoremail\romannumeral\@authori}.%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1151 \@increment \@authori
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1152 \if \@notp{\@gtrp{\@authori}{\@authorcount}} \repeat}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1153 \par
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1154 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1155 \global\@setflag \@addauthorsdone = \@true}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1156 \fi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1157
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1158 \let \addauthorsection = \additionalauthors
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1159
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1160 \def \@placetitlenotes {
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1161 \the\@titlenotetext}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1162
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1163 % Utilities
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1164 % ---------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1165
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1166
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1167 \newcommand{\centeroncapheight}[1]{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1168 {\setbox\@tempboxa = \hbox{#1}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1169 \@measurecapheight{\@tempdima}% % Calculate ht(CAP) - ht(text)
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1170 \advance \@tempdima by -\ht\@tempboxa % ------------------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1171 \divide \@tempdima by 2 % 2
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1172 \raise \@tempdima \box\@tempboxa}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1173
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1174 \newbox{\@measbox}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1175
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1176 \def \@measurecapheight #1{% {\dimen}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1177 \setbox\@measbox = \hbox{ABCDEFGHIJKLMNOPQRSTUVWXYZ}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1178 #1 = \ht\@measbox}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1179
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1180 \long\def \@titlefootnote #1#2{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1181 \insert\footins{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1182 \reset@font\footnotesize
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1183 \interlinepenalty\interfootnotelinepenalty
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1184 \splittopskip\footnotesep
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1185 \splitmaxdepth \dp\strutbox \floatingpenalty \@MM
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1186 \hsize\columnwidth \@parboxrestore
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1187 %%% \protected@edef\@currentlabel{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1188 %%% \csname p@footnote\endcsname\@thefnmark}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1189 \color@begingroup
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1190 \def \@makefnmark {$^{#1}$}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1191 \@makefntext{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1192 \rule\z@\footnotesep\ignorespaces#2\@finalstrut\strutbox}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1193 \color@endgroup}}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1194
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1195 % LaTeX Modifications
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1196 % ----- -------------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1197
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1198 \def \@seccntformat #1{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1199 \@name{\the#1}%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1200 \@expandaftertwice\@seccntformata \csname the#1\endcsname.\@mark
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1201 \quad}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1202
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1203 \def \@seccntformata #1.#2\@mark{%
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1204 \if \@emptyargp{#2}.\fi}
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1205
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1206 % Revision History
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1207 % -------- -------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1208
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1209
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1210 % Date Person Ver. Change
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1211 % ---- ------ ---- ------
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1212
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1213 % 2004.09.12 PCA 0.1--4 Preliminary development.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1214
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1215 % 2004.11.18 PCA 0.5 Start beta testing.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1216
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1217 % 2004.11.19 PCA 0.6 Obsolete \author and replace with
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1218 % \authorinfo.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1219 % Add 'nocopyrightspace' option.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1220 % Compress article opener spacing.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1221 % Add 'mathtime' option.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1222 % Increase text height by 6 points.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1223
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1224 % 2004.11.28 PCA 0.7 Add 'cm/computermodern' options.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1225 % Change default to Times text.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1226
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1227 % 2004.12.14 PCA 0.8 Remove use of mathptm.sty; it cannot
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1228 % coexist with latexsym or amssymb.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1229
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1230 % 2005.01.20 PCA 0.9 Rename class file to sigplanconf.cls.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1231
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1232 % 2005.03.05 PCA 0.91 Change default copyright data.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1233
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1234 % 2005.03.06 PCA 0.92 Add at-signs to some macro names.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1235
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1236 % 2005.03.07 PCA 0.93 The 'onecolumn' option defaults to '11pt',
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1237 % and it uses the full type width.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1238
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1239 % 2005.03.15 PCA 0.94 Add at-signs to more macro names.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1240 % Allow margin paragraphs during review.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1241
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1242 % 2005.03.22 PCA 0.95 Implement \euro.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1243 % Remove proof and newdef environments.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1244
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1245 % 2005.05.06 PCA 1.0 Eliminate 'onecolumn' option.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1246 % Change footer to small italic and eliminate
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1247 % left portion if no \preprintfooter.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1248 % Eliminate copyright notice if preprint.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1249 % Clean up and shrink copyright box.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1250
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1251 % 2005.05.30 PCA 1.1 Add alternate permission statements.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1252
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1253 % 2005.06.29 PCA 1.1 Publish final first edition of guide.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1254
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1255 % 2005.07.14 PCA 1.2 Add \subparagraph.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1256 % Use block paragraphs in lists, and adjust
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1257 % spacing between items and paragraphs.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1258
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1259 % 2006.06.22 PCA 1.3 Add 'reprint' option and associated
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1260 % commands.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1261
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1262 % 2006.08.24 PCA 1.4 Fix bug in \maketitle case command.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1263
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1264 % 2007.03.13 PCA 1.5 The title banner only displays with the
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1265 % 'preprint' option.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1266
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1267 % 2007.06.06 PCA 1.6 Use \bibfont in \thebibliography.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1268 % Add 'natbib' option to load and configure
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1269 % the natbib package.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1270
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1271 % 2007.11.20 PCA 1.7 Balance line lengths in centered article
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1272 % title (thanks to Norman Ramsey).
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1273
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1274 % 2009.01.26 PCA 1.8 Change natbib \bibpunct values.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1275
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1276 % 2009.03.24 PCA 1.9 Change natbib to use the 'numbers' option.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1277 % Change templates to use 'natbib' option.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1278
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1279 % 2009.09.01 PCA 2.0 Add \reprintprice command (suggested by
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1280 % Stephen Chong).
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1281
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1282 % 2009.09.08 PCA 2.1 Make 'natbib' the default; add 'nonatbib'.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1283 % SB Add 'authoryear' and 'numbers' (default) to
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1284 % control citation style when using natbib.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1285 % Add \bibpunct to change punctuation for
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1286 % 'authoryear' style.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1287
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1288 % 2009.09.21 PCA 2.2 Add \softraggedright to the thebibliography
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1289 % environment. Also add to template so it will
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1290 % happen with natbib.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1291
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1292 % 2009.09.30 PCA 2.3 Remove \softraggedright from thebibliography.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1293 % Just include in the template.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1294
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1295 % 2010.05.24 PCA 2.4 Obfuscate class author's email address.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1296
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1297 % 2011.11.08 PCA 2.5 Add copyright notice to this file.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1298 % Remove 'sort' option from natbib when using
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1299 % 'authoryear' style.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1300 % Add the \authorversion command.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1301
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1302 % 2013.02.22 PCA 2.6 Change natbib fences to parentheses when
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1303 % using 'authoryear' style.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1304
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1305 % 2013.05.17 PCA 2.7 Change standard and author copyright text.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1306
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1307 % 2013.07.02 TU 2.8 More changes to permission/copyright notes.
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1308 % Replaced ambiguous \authorpermission with
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1309 % \exclusivelicense and \permissiontopublish
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1310
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/ Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> parents: diff changeset	1311

Mercurial > hg > Papers > 2015 > atton-icfp

annotate sigplanconf.cls @ 3:11a86cf869e2