Newsgroups: fj.org.jssst,fj.meetings,fj.ai,fj.comp.announce,fj.comp.misc,fj.comp.oops,fj.comp.parallel,fj.comp.theory
Path: galaxy.trc.rwcp.or.jp!coconuts.jaist!wnoc-tyo-news!news.iij.ad.jp!news.mri.co.jp!marrella.mri.co.jp!kiyokawa-jhs!news.ipc.chiba-u!eclnews!sinetnews!newssinet!hakata!kyu-cs!lab!gulag.ntt.jp!gulag!okuno
From: ishihata@cs.meiji.ac.jp (Kiyoshi Ishihata)
Subject: JSSST taikai program (TeX form)
Message-ID: <OKUNO.95Aug10182049@nuesun.brl.ntt.jp>
Sender: news@gulag.ntt.jp
Organization: NTT Basic Research Laboratories, Atsugi, Kanagawa, Japan.
Distribution: fj
Date: 10 Aug 1995 09:20:49 GMT
Lines: 476
Xref: galaxy.trc.rwcp.or.jp fj.org.jssst:5 fj.meetings:1347 fj.ai:3994 fj.comp.announce:2 fj.comp.misc:1780 fj.comp.oops:843 fj.comp.parallel:843 fj.comp.theory:52
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.comp.misc&nb=1780&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.

9$B7n(B11$BF|!A(B14$BF|$KL@<#Bg3X$G3+$+$l$k!J(B11$BF|$O%A%e!<%H%j%"%k!K(B
$BF|K\%=%U%H%&%'%"2J3X2qBh(B12$B2sBg2q$N%W%m%0%i%`$G$9!#(B

$B%F%-%9%HHG$H(BTeX$BHG$,$"$j$^$9$,!"$3$l$O(BTeX$BHG$G$9!#(B
WWW $B$N(B URL $B$O(B http://www.jssst.or.jp/jssst/jssst95-program.html $B$G$9(B. 

$BLd$$9g$o$;$O2<5-$K$I$&$>!#(B

$B@PH*(B  $B@6(B
$BL@<#Bg3XM}9)3XIt>pJs2J3X2J(B
ishihata@cs.meiji.ac.jp
-------------------------------------------------------------------------------
%
% $BF|K\%=%U%H%&%'%"2J3X2qBh(B12$B2sBg2q!J(B1995 $BG/(B 9 $B7n!$L@<#Bg3X!K%W%m%0%i%`(B
%

\documentstyle[11pt]{jarticle}

\textwidth = 170mm
\textheight = 240mm
\topmargin = -10mm
\oddsidemargin = -5mm
\evensidemargin = -5mm

\pagenumbering{roman}

\begin{document}

\raggedbottom

\def\boldfont{\bf\dg}

\def\itemtitle#1{
   \hbadness = 10000
   \hbox to 15mm{\boldfont #1}$B!'(B}

\begin{center}
\huge \boldfont
$BF|K\%=%U%H%&%'%"2J3X2qBh(B12$B2sBg2q(B
\end{center}

\vskip -\lastskip
\vspace{10mm}

\begin{tabular}{lp{130mm}}

\itemtitle{$BF|;~(B}
  & 1995$BG/(B9$B7n(B12$BF|(B($B2P(B)$B!A(B14$BF|(B($BLZ(B) \\[3mm]

\itemtitle{$B2q>l(B}
  & $BL@<#Bg3XM}9)3XIt(B\\
  & \hspace{12mm} $B=;=j!'@n:j;TB?K`6hEl;0ED(B1--1--1 \\
  & \hspace{12mm} $BEEOC!'(B(044)934--7455 ($BBg2qCf$NLd$$9g$o$;@h(B) \\[3mm]

\itemtitle{$BFCJL9V1i(B}
  & 9$B7n(B12$BF|(B($B2P(B) 13:00$B!A(B14:30 {} A$B2q>l(B \\
  & {\boldfont $B!V%$%s%?!<%M%C%H$N8=>u$HF08~!W(B} \\
  & \hspace{60mm} {\boldfont $B@PED(B $B@25W(B}($BEl5~Bg3XBg7?7W;;5!%;%s%?!<(B) \\
  & 9$B7n(B13$BF|(B($B?e(B) 13:00$B!A(B14:30 {} A$B2q>l(B \\
  & {\boldfont $B!V%$%s%?!<%M%C%H$rMQ$$$?%=%U%H%&%'%"3+H/4D6-$N9=C[!W(B} \\
  & \hspace{60mm} {\boldfont $B:YC+(B $BN=0l(B}(NTT$B%=%U%H%&%'%"8&5f=j(B) \\[3mm]

\itemtitle{$B;22CHq(B}
  & $B0lHL2q0w(B 7,000$B1_(B\hspace{10mm}$B3X@82q0w(B 4,000$B1_(B\hspace{10mm}$BHs2q0w(B 10,000$B1_(B \\
  & ($B;22CHq$OEvF|?=$79~$_;~$K<uIU$K$F(B) \\[3mm]

\itemtitle{$B:)?F2q(B}
  & 9$B7n(B12$BF|(B($B2P(B)$B%;%C%7%g%s=*N;8e!$>l=jL$Dj!$;22CHqL5NA(B \\[3mm]

\itemtitle{$B;~4V3d(B}

\end{tabular}

\vspace{2mm}

%
% $B;~4V3d$NI=(B
%

\begingroup
\setlength{\unitlength}{1mm}
\begin{picture}(162,128)(0,0)

\newcount \x
\newcount \y
\newcount \temp

\newcount \widthdate
\newcount \widthtime
\newcount \widthnumber
\newcount \widthsession
\newcount \widthtablebody
\newcount \widthtotal

\newcount \heightlabel
\newcount \heightsession
\newcount \heighttablebody
\newcount \heighttotal

\newcount \positionleft
\newcount \positionright
\newcount \positiontop
\newcount \positionbottom

\widthdate = 6
\widthtime = 12
\widthnumber = 8
\widthsession = 35
\widthtablebody = \widthsession
\multiply \widthtablebody by 4
\advance \widthtablebody by \widthtime
\widthtotal = \widthtablebody
\advance \widthtotal by \widthdate

\heightlabel = 6
\heightsession = 11
\heighttablebody = \heightsession
\multiply \heighttablebody by 11
\heighttotal = \heighttablebody
\advance \heighttotal by \heightlabel

\positionleft = 3
\positionright = \positionleft
\advance \positionright by \widthtotal
\positiontop = 128
\positionbottom = \positiontop
\advance \positionbottom by -\heighttotal

% #1: $BI}(B
% #2: $B9b$5(B
% #3: $B%F%-%9%H(B
\def\textbox#1#2#3{
   \put(\x,\y){\makebox(#1,#2){\shortstack[c]{#3}}}
   \advance \x by #1}

\def\placefield#1{
   \textbox{\widthsession}{\heightlabel}{#1}
   \longvline}

\def\datefield#1#2{
   \temp = \heightsession
   \multiply \temp by #1
   \advance \y by -\temp
   \x = \positionleft
   \textbox{\widthdate}{\temp}{9\\$B7n(B\\#2\\$BF|(B}}

% #1: $B3+;O;~9o(B
% #2: $B=*N;;~9o(B
% #3: f $B$J$i$=$NF|:G8e$N%;%C%7%g%s!$(Bs $B$J$i(B A$B2q>l$N$_(B
% #4: $B%;%C%7%g%sHV9f(B $B$^$?$O(B A$B2q>l%;%C%7%g%s(B
% #5: B$B2q>l%;%C%7%g%s(B
% #6: C$B2q>l%;%C%7%g%s(B
% #7: D$B2q>l%;%C%7%g%s(B
\def\timezone#1#2#3#4#5#6#7{
   \advance \y by -\heightsession
   \x = \positionleft
   \advance \x by \widthdate
   \textbox{\widthtime}{\heightsession}
           {#1\\\vbox to 2mm{\vss\hbox{$\wr$}\vss}\\#2}
   \ifx#3s
      \textbox{\widthsession}{\heightsession}{#4}
   \else
      \advance \x by \widthsession
      \numberedsession{B#4}{#5}
      \numberedsession{C#4}{#6}
      \numberedsession{D#4}{#7}
   \fi
   \ifx#3f
      \longhline
   \else
      \shorthline
   \fi}

\def\numberedsession#1#2{
   \textbox{\widthnumber}{\heightsession}{#1}
   \temp = \widthsession
   \advance \temp by -\widthnumber
   \textbox{\temp}{\heightsession}{#2}}

\def\longhline{
   \put(\positionright,\y){\line(-1,0){\widthtotal}}}

\def\shorthline{
   \put(\positionright,\y){\line(-1,0){\widthtablebody}}}

\def\longvline{
   \put(\x,\positionbottom){\line(0,1){\heighttotal}}}

\def\shortvline{
   \put(\x,\positionbottom){\line(0,1){\heighttablebody}}}

\xpt

\y = \positiontop
\longhline
\advance \y by -\heightlabel
\longhline
\datefield{4}{12}
\datefield{4}{13}
\datefield{3}{14}

\y = \positiontop
\x = \positionleft
\longvline
\advance \y by -\heightlabel
\temp = \widthdate
\advance \temp \widthtime
\textbox{\temp}{\heightlabel}{$BF|;~(B}
\advance \x by -\widthtime
\shortvline
\advance \x by \widthtime
\longvline
\placefield{A$B2q>l(B(AV$B%[!<%k(B)}
\placefield{B$B2q>l(B(0405)}
\placefield{C$B2q>l(B(0410)}
\placefield{D$B2q>l(B(0411)}

\timezone{10:00}{11:30}{x}{1}{OS}{$B%W%m%0%i%_(B\\$B%s%0(B(1)}{$BO@M}(B(1)}
\timezone{12:45}{14:30}{s}{$B0';"!$FCJL9V1i(B}{}{}{}
\timezone{14:45}{16:15}{x}{2}{$B%=%U%H%&%'%"(B\\$B9)3X(B}{$B%W%m%0%i%_(B\\$B%s%0(B(2)}{$BO@M}(B(2)}
\timezone{16:30}{18:00}{f}{3}{$B1~MQ(B(1)}{$BJBNs8@8l$N<BAu(B}{$BO@M}(B(3)}
\timezone{10:00}{12:00}{x}{4}{$B%*%V%8%'%/%H(B\\$B;X8~(B(1)}{$B2D;k2=(B(1)}{$B;EMM5-=R(B(1)}
\timezone{13:00}{14:30}{s}{$BFCJL9V1i(B}{}{}{}
\timezone{14:45}{16:15}{x}{5}{$B%*%V%8%'%/%H(B\\$B;X8~(B(2)}{$B2D;k2=(B(2)}{$B;EMM5-=R(B(2)}
\timezone{16:30}{18:00}{f}{6}{$B%*%V%8%'%/%H(B\\$B;X8~(B(3)}{$BJBNsO@M}7?8@8l(B}{$BB0@-J8K!(B}
\timezone{10:00}{12:00}{x}{7}{CSCW}{$B:GE,2=(B}{$B4X?t8@8l(B}
\timezone{13:00}{14:30}{x}{8}{$B%M%C%H%o!<%/(B}{$B%3%s%Q%$%i(B}{$B%W%m%0%i%`(B\\$B9g@.!&F3=P(B}
\timezone{14:45}{16:45}{f}{9}{$B1~MQ(B(2)}{$BJBNs%*%V%8(B\\$B%'%/%H;X8~(B}{$BO@M}$HI=8=(B}

\end{picture}
\endgroup

%
% $B0lHL9V1i(B
%

\def\session#1#2#3#4#5#6#7#8#9{
   \vspace{8.0mm plus 2.0mm minus 1.0mm}
   \penalty -5000
   \begingroup
   \noindent\boldfont{#1}$B7n(B{#2}$BF|(B({#3}) {#4}$B!A(B{#5}%
   \hspace{5mm}{#6}$B2q>l(B--{#7}\hspace{5mm}{#8}%
   \endgroup
   \hfill $B:BD9(B \hspace{2mm}{#9}%
   \par \vspace{2.5mm}}

\def\presen#1#2#3#4{%
   \begingroup
   \leftskip = 0.1\textwidth
   \parindent = -\leftskip
   \parfillskip = 0mm
   \leavevmode
   \hbox to \leftskip{\hspace{4mm}#1--#2\hss}%
   {#3}\unskip\nobreak\hfill\penalty 50\hspace{12mm}%
   \hbox{}\nobreak\hfill{#4}%
   \par
   \endgroup
   \vspace{1.2mm}}

\newpage
\begin{flushleft}
{\boldfont $B0lHL9V1i!'(B} 88$B7o(B($B!{$OEPCE<T(B)
\end{flushleft}

\session{9}{12}{$B2P(B}{10:00}{11:30}{B}{1}{OS}{$B>>K\(B $B>0!JElBg!K(B}
\presen{B1}{1}{Unix$B9T%3%^%s%I$N(BMacOS GUI$B>e$G$N<BAu5;K!(B}{$B!{NS(B $B91=S!JN)L?4[Bg!K(B}
\presen{B1}{2}{$B%H!<%i%9%^%7%s>e$G$NJ,;66&M-%a%b%j$N<B8=$K$D$$$F(B}{$B!{F#K\(B $BE59,!$Gk86(B $B7s0l!J:eBg!K(B}
\presen{B1}{3}{$B%"%@%W%F%#%V%i%$%V%i%j%j%s%+!'(BOS$B5!G=$r<B8=$9$k$?$a$N?75;=Q(B}{$B!{:4F#(B $BD>G7!$:Y@n(B $BC#8J!$=j(B $B??M}M:!J7DBg!K(B}

\session{9}{12}{$B2P(B}{10:00}{11:30}{C}{1}{$B%W%m%0%i%_%s%0(B(1)}{$B2,ED(B $B9/<#!JEEAm8&!K(B}
\presen{C1}{1}{$BCj>]2r<a$K4p$E$/%=%U%H%&%'%"$NCJ3,E*6q>]2=K!(B --- $B%G!<%?9=B$$NF3F~(B}{$B!{5H2,(B $B?.OB!$NkLZ(B $B@5?M!$JR;3(B $BBnLi!JKLN&@hC<Bg!K(B}
\presen{C1}{2}{$B5!G=I=8=$rMQ$$$?%=!<%9%3!<%I8!:w(B}{$B!{;3ED(B $B9(G7!$Aj86(B $B91Gn!J0&I2Bg!K(B}
\presen{C1}{3}{$B%W%m%0%i%_%s%0$K$*$1$k%9%?%C%/%Q%i%@%$%`$NLdBjE@(B}{$B!{Gr0f(B $B@i7C;R!$FsB<(B $BNII'!JAaBg!K(B}

\session{9}{12}{$B2P(B}{10:00}{11:30}{D}{1}{$BO@M}(B(1)}{$B:4F#(B $B<~9T!J6eBg!K(B}
\presen{D1}{1}{$B4X78%0%i%UJQ497O$K$*$1$kLZ$H9`$NI=8=$K$D$$$F(B}{$B!{9B8}(B $B2B42!J6e9)Bg!K!$2O86(B $B9/M:!J6eBg!K(B}
\presen{D1}{2}{$B0lHL2=$5$l$?%9%1%C%A$K$h$k9=B$$r;}$D7w$N5-=R(B}{$B!{;09%(B $BGnG7!J7DBg!K(B}
\presen{D1}{3}{$B%P%$%7%_%e%l!<%7%g%s$HO@M}E*4X78$NN`;w$K$D$$$F(B}{$B!{F#86(B $BLw!JEl<G!K(B}

\session{9}{12}{$B2P(B}{14:45}{16:15}{B}{2}{$B%=%U%H%&%'%"9)3X(B}{$B0f>e(B $B9nO:!J:eBg!K(B}
\presen{B2}{1}{Scalable$B$J%=%U%H%&%'%"%W%m%;%95-=R%b%G%k(BHFSP/S}{$B!{NkLZ(B $B@5?M!$JR;3(B $BBnLi!JKLN&@hC<Bg!K(B}
\presen{B2}{2}{$B%f!<%6;X8~%=%U%H%&%'%"3+H/$N$?$a$NMW5a3MF@!?J,@OJ}K!(B}{$B!{JR;3(B $B2BB'!$K)Mi(B $B>09,!$EOIt(B $BM&!$EZ0f(B $B980l!$1`It(B $B@59,!JIY;NDL8&!K(B}
\presen{B2}{3}{$BAH9~$_%=%U%H%&%'%"3+H/MQ%7%_%e%l!<%7%g%s4D6-$N3+H/(B}{$B!{:4F#(B $BD><y!$CfK\(B $B9,0l!J(BNEC$B!K!$BgDM(B $BAT0l!$LL@n(B $B98FA!J(BNEC$B>pJs%7%9%F%`%:!K(B}

\session{9}{12}{$B2P(B}{14:45}{16:15}{C}{2}{$B%W%m%0%i%_%s%0(B(2)}{$B6L0f(B $BE/M:!JElBg!K(B}
\presen{C2}{1}{$B=q$-49$(O@M}$K4p$E$/JB9T<+8JH?1G7W;;$K$D$$$F(B}{$B!{@P@n(B $BMN!$FsLZ(B $B8|5H!$EOIt(B $BBnM:!JKLN&@hC<Bg!K(B}
\presen{C2}{2}{$B@~7A:F5"%W%m%0%i%`$+$i$N:F5"=|5n$N8z2L(B}{$B!{BgC+(B $B7<5-!$FsB<(B $BNII'!JAaBg!K(B}
\presen{C2}{3}{$B%U%!%8%#%7%9%F%`5-=R8@8l$N@_7W(B}{$B!{>.@n(B $B8&Fs!$@PH*(B $B@6!$BgDM(B $BOBI'!$8~EB(B $B@/CK!JL@Bg!K(B}

\session{9}{12}{$B2P(B}{14:45}{16:15}{D}{2}{$BO@M}(B(2)}{$B55;3(B $B9,5A!JElKLBg!K(B}
\presen{D2}{1}{$B8EE5E*ItJ,O@M}$KBP$9$k>ZL@9`$N3d$jEv$F$K$D$$$F(B}{$B!{F#ED(B $B7{1Y!J6e9)Bg!K(B}
\presen{D2}{2}{$BHoJ$=89g$rMQ$$$?5"G<E*DjM}>ZL@K!$N2~NI(B}{$B!{BgDM(B $B@5?M!$qH(B $BB.!$:dIt(B $B=S<y!$0p3@(B $B9/A1!JL>Bg!K(B}
\presen{D2}{3}{$B5"G<O@M}%W%m%0%i%_%s%0$K$*$1$kJ,3d%+%P!<@oN,$N3HD%$H$=$NI>2A(B}{$B!{4d:j(B $B9/I'!$IpED(B $B@5G7!JEl5~M}2JBg!K(B}

\session{9}{12}{$B2P(B}{16:30}{18:00}{B}{3}{$B1~MQ(B(1)}{$BCf=j(B $BIp;J!JL@Bg!K(B}
\presen{B3}{1}{$B%G!<%?$H>pJs$N:90[$K4p$E$/J8=q8!:w%7%9%F%`$NDs0F(B}{$B!{K'2l(B $BGn1Q!JF1;V<RBg!K(B}
\presen{B3}{2}{$BJ88%4V$N0zMQ4X78$rMQ$$$?<gBjCj=P$H$=$N8!:w%7%9%F%`(B}{$B!{;0J?(B $BA1O:!$;3K\(B $B4n0l!J7DBg!K(B}
\presen{B3}{3}{$B0\F0%m%\%C%H$N$?$a$NBg6IE*7PO)@8@.%7%9%F%`$N@_7W(B}{$B9B8}(B $BJ8M:!$!{D9C+It(B $B@5?.!$:4F#(B $B=_0l!JEl5~M}2JBg!K(B}

\session{9}{12}{$B2P(B}{16:30}{18:00}{C}{3}{$BJBNs8@8l$N<BAu(B}{$BEDCf(B $BFsO:!JC^GHBg!K(B}
\presen{C3}{1}{$BO"B3$JDL?.$r4pAC$H$7$?7?$D$-JB9T8@8l$N<BAu(B}{$B!{1nEO(B $BN42p!$5WJ](B $B@?!$=j(B $B??M}M:!J7DBg!K(B}
\presen{C3}{2}{$BJ,;6<B;~4V%7%9%F%`5-=R8@8l(BDROL$B$N(BRT-Mach$B>e$G$N<B8=(B}{$B!{<C(B $B=(5W!$9b<.(B $B0l5*!$=j(B $B??M}M:!J7DBg!K(B}
\presen{C3}{3}{$B$"$k6&M-%a%b%j7?JBNs7W;;5!$G$N%-%c%C%7%e$r9MN8$7$?%W%m%;%C%53d$jEv$F$K$D$$$F(B}{$B!{_@ED(B $BIp;V!J:eBg!K!$:dK\(B $B7=!J;0I)EE5!!K!$F#K\(B $BE59,!$Gk86(B $B7s0l!J:eBg!K(B}

\session{9}{12}{$B2P(B}{16:30}{18:00}{D}{3}{$BO@M}(B(3)}{$BN6ED(B $B??!JElKLBg!K(B}
\presen{D3}{1}{Constructive Evaluation Logic}{$B!{>.NS(B $BAo!JN6C+Bg!K(B}
\presen{D3}{2}{$B:F5"E*%G!<%?>e$G$N4X?t7?%G!<%?JBNs(Bcalculus}{$B!{@>B<(B $B?J!$BgKY(B $B=_!J5~Bg!K(B}
\presen{D3}{3}{$BMMAjO@M}>ZL@$K$*$1$k<:GT>pJs$NMxMQ(B}{$B!{Gk86(B $BLP<y!$JF:j(B $BD><y!JEl9)Bg!K(B}

\session{9}{13}{$B?e(B}{10:00}{12:00}{B}{4}{$B%*%V%8%'%/%H;X8~(B(1)}{$BNkLZ(B $B7r;J!JEl5~9q:]Bg!K(B}
\presen{B4}{1}{$B%a%?%l%Y%k!&%"!<%-%F%/%A%c$rMxMQ$7$?%*%V%8%'%/%H4IM}%7%9%F%`$N%P!<%8%g%s4IM}5!9=$N9=@.K!(B}{$B!{F#;^(B $BOB9(!$Mn?e(B $B9@0lO:!JKLN&@hC<Bg!K(B}
\presen{B4}{2}{$B;~@)1JB3%*%V%8%'%/%H4IM}%7%9%F%`(BPOST/C++$B$N9=C[$H4pK\@-G=I>2A(B}{$B!{NkLZ(B $B9'9,!$KL@n(B $BGnG7!$NS(B $B7C>-!$Lx@n(B $B;KI'!JC^GHBg!K(B}
\presen{B4}{3}{$B%*%V%8%'%/%H;X8~B0@-J8K!(BOOAG$B$K$h$k%*%V%8%'%/%H;X8~%G!<%?%Y!<%9$N%G!<%?4X78J]<i%3!<%I$N<+F0@8@.(B}{$B!{Gk86(B $B0R;V!JEl9)Bg!K!$JR;3(B $BBnLi!JKLN&@hC<Bg!K(B}
\presen{B4}{4}{$B%*%V%8%'%/%H;X8~B0@-J8K!(BOOAG$B$NJ#?t%f!<%64D6-$X$N3HD%(B}{$B!{>>DM(B $B5.1Q!JEl9)Bg!K!$JR;3(B $BBnLi!JKLN&@hC<Bg!K(B}

\session{9}{13}{$B?e(B}{10:00}{12:00}{C}{4}{$B2D;k2=(B(1)}{$BHxFb(B $BM}5*IW!J(BNTT$B!K(B}
\presen{C4}{1}{$BLZ9=B$7?%W%m%0%i%`N.$l?^$NI=8=K!$H=hM}7O$N<B8=(B}{$B!{5\;{(B $BMGB$!$c7F#(B $B1Q9,!JEl5~EE5!Bg!K!$Lk5W(B $BC]IW!JF|Bg!K!$6aC+(B $B1Q><!JEl5~EE5!Bg!K(B}
\presen{C4}{2}{NET/C$B$N$?$a$N%S%8%e%"%k%G%P%C%04D6-$N3+H/(B}{$B!{EDCf(B $B5A0l!$4dED(B $BN50l!$>e86(B $BL-!$?9(B $B=(<y!JElMNBg!K(B}
\presen{C4}{3}{$B6I=jE*IA2h5,B'$rMxMQ$7$?<B9T>uBV;k3P2=(B}{$B!{AjED(B $B3X!$>.CS(B $B1Q<y!JEEDLBg!K(B}

\session{9}{13}{$B?e(B}{10:00}{12:00}{D}{4}{$B;EMM5-=R(B(1)}{$B7k1o(B $B>M<#!JL>Bg!K(B}
\presen{D4}{1}{$B<B;~4VO@M}(BRTL}{$B!{JF:j(B $BD><y!JEl9)Bg!K!$NkLZ(B $B9/?M!JKLN&@hC<Bg!K!$?\F#(B $BCiM4!JEl9)Bg!K(B}
\presen{D4}{2}{$B%j%"%/%F%#%V%7%9%F%`;EMM$NCJ3,E*5-=R%W%m%;%9$KBP1~$7$?8!>ZK!(B}{$B!{;0LZ(B $B0l=(!$M'@P(B $B@5I'!$JF:j(B $BD><y!JEl9)Bg!K(B}
\presen{D4}{3}{$B0z?t4V$N0MB84X78$r5v$9Be?t;EMM$N(Bparameterization$B$K$D$$$F(B}{$B!{C+DE(B $B900l!$Cf@n(B $BCf!$K\4V(B $B5#42!J(BIPA$B!K!$_7ED(B $B<w<B!$FsLZ(B $B8|5H!JKLN&@hC<Bg!K(B}
\presen{D4}{4}{CSP$B$N%7%9%F%`3+H/$X$NE,MQ(B}{$B!{DT%vF2(B $B?.!J9)3X1!Bg!K!$I%ED(B $B51M:!JL@Bg!K(B}

\session{9}{13}{$B?e(B}{14:45}{16:15}{B}{5}{$B%*%V%8%'%/%H;X8~(B(2)}{$BK\0LED(B $B??0l!JEl<G!K(B}
\presen{B5}{1}{$BE,1~2DG=$J%"%W%j%1!<%7%g%s$r9=C[$9$k$?$a$N%=%U%H%&%(%"%"!<%-%F%/%A%c(B}{$B!{J]LZK\(B $B9890!$CfEg(B $BC#IW!JKLN&@hC<Bg!K(B}
\presen{B5}{2}{$B%*%V%8%'%/%H;X8~3+H/$N$?$a$N(BCASE$B%"!<%-%F%/%A%c$N@_7W$H%W%m%H%?%$%W(B}{$B!{KL;3(B $BJ8I'!JF|K\(BIBM$B!K(B}
\presen{B5}{3}{$B%*%V%8%'%/%H;X8~J,@O@_7W%W%m%;%9$K$*$1$kAOB$E*:n6H;Y1g%D!<%k(B}{$B!{0f>e(B $B<y!$Cf=j(B $BIp;J!JL@Bg!K(B}

\session{9}{13}{$B?e(B}{14:45}{16:15}{C}{5}{$B2D;k2=(B(2)}{$BCfEg(B $B?L!J(BNEC$B!K(B}
\presen{C5}{1}{$B%S%8%e%"%k%W%m%0%i%_%s%0%7%9%F%`$K$*$1$kF~NOK!$N8zN(2=(B}{$B!{EDCf(B $BFsO:!$8eF#(B $BOB5.!$GO>l(B $B><9(!JC^GHBg!K(B}
\presen{C5}{2}{$BJBNs%"%k%4%j%:%`2r@O$r%W%m%;%C%54VDL?.>pJs$rMxMQ$7$F;Y1g$9$k$?$a$N0l<jK!(B}{$B!{8E@n(B $B>!9/!$0f>e(B $B>!9T!$5{0f(B $B9(9b!$<sF#(B $B>!!J:eBg!K(B}
\presen{C5}{3}{AATT$B!'%"%k%4%j%:%`%"%K%a!<%7%g%s%7%9%F%`(B}{$B!{2,It(B $BL-:H!$;3K\(B $B4n0l!J7DBg!K(B}

\session{9}{13}{$B?e(B}{14:45}{16:15}{D}{5}{$B;EMM5-=R(B(2)}{$B9SLZ(B $B7<FsO:!JF`NI@hC<Bg!K(B}
\presen{D5}{1}{$B<B;~4VO@M}$K$h$k%j%"%/%F%#%V%7%9%F%`;EMM$N30It%$%Y%s%H@)Ls<0(B}{$B!{?9(B $BN<Lw!$JF:j(B $BD><y!JEl9)Bg!K(B}
\presen{D5}{2}{Predicative Specifications of Real-time Communicating Processes}{$B!{(BShoji Yuen$B!$(BKanako Shinohara$B!$(BToshiki Sakabe$B!$(BYasuyoshi Inagaki$B!JL>Bg!K(B}
\presen{D5}{3}{$BAj8_40A4DL?.O)$r$b$D(BLOTOS$B%W%m%;%9$NF0E*@8@.(B}{$BE*>l(B $BAo90!J(BNTT$B%G!<%?DL?.!K!$!{F#_7(B $BOBG7!$I%ED(B $B51M:!JL@Bg!K(B}

\session{9}{13}{$B?e(B}{16:30}{18:00}{B}{6}{$B%*%V%8%'%/%H;X8~(B(3)}{$BMn?e(B $B9@0lO:!JKLN&@hC<Bg!K(B}
\presen{B6}{1}{$B%(!<%8%'%s%H;X8~%"!<%-%F%/%A%c$NDs0F(B --- $B3+J|7?J,;64D6-$K$*$1$kF0E*%9%/%j%W%H@8@.5!G=$N<B8=(B}{$B!{ED86(B $B9/G7!J(BIPA$B!K!$Bg?\2l(B $B><I'!$1J0f(B $BJ]IW!$K\0LED(B $B??0l!JEl<G!K(B}
\presen{B6}{2}{C++$B%W%m%0%i%`%Y!<%9$N3+H/(B}{$B!{Cf>>(B $BAa=U!$EZ5o(B $BHO5W!J7DBg!K(B}
\presen{B6}{3}{$B%*%V%8%'%/%H;X8~J,@O!&@_7W8@8l(BHoop$B$K$*$1$kJ,;66(D47?%b%G%k$NI=8=J}K!(B}{$B!{>.@>(B $BM5<#!$Cf=j(B $BIp;J!JL@Bg!K(B}

\session{9}{13}{$B?e(B}{16:30}{18:00}{C}{6}{$BJBNsO@M}7?8@8l(B}{$B>eED(B $BOB5*!JAaBg!K(B}
\presen{C6}{1}{$B%3%M%/%7%g%s%^%7%s$K$h$k(BMIMD$B%W%m%0%i%_%s%0$H$=$NI>2A(B}{$B!{8E@n(B $B1Q;J!$EDCf(B $BFsO:!JC^GHBg!K(B}
\presen{C6}{2}{Powerdomain$B$K$h$k(BGHC$B%W%m%0%i%`$NItJ,E*Ey2A@-H=Dj(B}{$B!{>.ED(B $B9,90!$B<>e(B $B>;8J!J2,;3Bg!K(B}
\presen{C6}{3}{$BL58B<B9T2DG=$J(BGHC$B%W%m%0%i%`$KBP$9$k(BOR$B9g@.2DG=$G%G%C%I%m%C%/%;%s%7%F%#%V$J0UL#O@(B}{$B!{2CF#(B $BD*!$B<>e(B $B>;8J!J2,;3Bg!K(B}

\session{9}{13}{$B?e(B}{16:30}{18:00}{D}{6}{$BB0@-J8K!(B}{$B:4!9(B $B@/9'!JEl9)Bg!K(B}
\presen{D6}{1}{$B%*%V%8%'%/%H;X8~B0@-J8K!(BOOAG$B$K$h$k%W%m%0%i%_%s%08@8l$NF0E*0UL#$N5-=R(B}{$B!{8"F#(B $B9nI'!$NkLZ(B $B4uH~!JEl9)Bg!K!$JR;3(B $BBnLi!JKLN&@hC<Bg!K(B}
\presen{D6}{2}{$BB0@-D6%0%i%UJ8K!$K$*$1$k:9J,E*B0@-I>2A%"%k%4%j%:%`(B}{$B!{;3K\(B $B98<#!JEl9)Bg!K!$Bg?9(B $B@5B'!JKLN&@hC<Bg!K!$FAED(B $BM:MN!JEl9)Bg!K(B}
\presen{D6}{3}{$BB0@-J8K!$K$h$k@)Ls5-=R$K$D$$$F(B}{$B!{>>ED(B $BM59,!JEl9)Bg!K(B}

\session{9}{14}{$BLZ(B}{10:00}{12:00}{B}{7}{CSCW}{$B@1(B $BE0!JF|N)!K(B}
\presen{B7}{1}{$B%$%s%F%j%8%'%s%H%+%a%i%7%9%F%`9=C[$K4X$9$k0l9M;!(B}{$B!{@DLx(B $B<"8J!$GkED(B $B5*Gn!$HxFb(B $BM}5*IW!J(BNTT$B!K(B}
\presen{B7}{2}{WISS$B!'%^%k%A%(!<%8%'%s%H$K$h$k9-0h>pJs6&M-%7%9%F%`(B}{$B!{3yED(B $BIRG7!J0&CN650iBg!K!$EZ5o(B $BHO5W!J7DBg!K(B}
\presen{B7}{3}{$B%M%C%H%o!<%/$r2p$7$?6&F1:n6H$K$*$1$kAK32MW0x$NJ,@O(B}{$B!{B<1[(B $B9-5}!$3$C+(B $B<#I'!$Mn?e(B $B9@0lO:!JKLN&@hC<Bg!K(B}
\presen{B7}{4}{$B?t<0$r4^$`J8=q$rBP>]$K$7$?J8=q9;@5%7%9%F%`(B}{$B!{IYED(B $B=`Fs!$;3K\(B $B4n0l!J7DBg!K(B}

\session{9}{14}{$BLZ(B}{10:00}{12:00}{C}{7}{$B:GE,2=(B}{$B>>2,(B $BAo!JElBg!K(B}
\presen{C7}{1}{$B%3%s%Q%$%i$N%P%C%/%(%s%I$K$*$1$k:GE,2=$N7A<0E*I=8=(B}{$B!{3$Ln(B $BMN!JEl9)Bg!K!$JR;3(B $BBnLi!JKLN&@hC<Bg!K(B}
\presen{C7}{2}{$B%*%V%8%'%/%H;X8~8@8l$N<B9T;~:GE,2=(B}{$B!{F#GH(B $B=g5W!J%=%K!<(BCSL$B!K(B}
\presen{C7}{3}{SPMD$B%3!<%I$K$*$1$k>iD9$J(BSENDMSG/READMSG$B$N=|5n(B}{$B!{M{(B $B6G7f!$86ED(B $B8-0l!J7DBg!K(B}
\presen{C7}{4}{$B@)Ls=hM}8@8l$K$h$k6u4VG[CVLdBj$N8zN(E*2rK!(B --- $B%3%k!<%A%s=hM}$K4p$E$/6u4VE*@)LsE,MQ$K$h$k%"%W%m!<%A(B}{$B!{K\B?(B $B0l2l!$9B8}(B $BJ8M:!JEl5~M}2JBg!K(B}

\session{9}{14}{$BLZ(B}{10:00}{12:00}{D}{7}{$B4X?t8@8l(B}{$B4d:j(B $B1Q:H!JElBg!K(B}
\presen{D7}{1}{$B4X?t7?8@8l$K$*$1$k;2>HF)L@@-$rJ];}$9$k;2>H7?(B}{$B!{@P0f(B $BM50lO:!$Ip;T(B $B@5?M!JElBg!K(B}
\presen{D7}{2}{Shortcut Deforestation$B$K$*$1$k8zN($N2r@O(B}{$B!{Hx>e(B $BG=G7!$Ip;T(B $B@5?M!JElBg!K(B}
\presen{D7}{3}{$B9=@.E*%"%k%4%j%:%`O@$K4p$E$/%W%m%0%i%`M;9gJQ49(B}{$B!{9bLn(B $BL@I'!JF|N)!K(B}
\presen{D7}{4}{Standard ML of New Jersey$B$K$*$1$k@)8f%9%?%C%/$N<BAu(B}{$B!{@iMU(B $BM:;J!$EZ5o(B $BHO5W!J7DBg!K(B}

\session{9}{14}{$BLZ(B}{13:00}{14:30}{B}{8}{$B%M%C%H%o!<%/(B}{$B>eB<(B $BL3!JF|K\(BIBM$B!K(B}
\presen{B8}{1}{A Multicast Routing Method with Heuristic Source Discovery}{$B!{(BPavlin Ivanov Radoslavov$B!$(BTakehiro Tokuda$B!JEl9)Bg!K(B}
\presen{B8}{2}{$B5"G<3X=,$rMQ$$$?EE;R%a!<%k%(!<%8%'%s%H$N@_7W(B}{$B9B8}(B $BJ8M:!$!{LxED(B $B@5Gn!$BgOBED(B $BM&?M!JEl5~M}2JBg!K(B}
\presen{B8}{3}{wwHww$B!'(BAn Application Framework for End-User Computing in Multi-organizational Office Network Systems}{$B!{(BTakeshi Chusho$B!$(BKazuaki Kashiwagi$B!$(BYasuo Kasama$B!JL@Bg!K(B}

\session{9}{14}{$BLZ(B}{13:00}{14:30}{C}{8}{$B%3%s%Q%$%i(B}{$B@PH*(B $B@6!JL@Bg!K(B}
\presen{C8}{1}{1$B%Q%9B0@-I>2AK!$rMQ$$$?D6%0%i%UJ8K!$N9=J82r@OK!(B}{$B!{LZB<(B $B4n>;!$FAED(B $BM:MN!JEl9)Bg!K(B}
\presen{C8}{2}{LR$B9=J82r@O$K$*$1$k>uBVA+0\?^$N9=B$(B}{$B!{?9K\(B $B??0l!J(BNEC$B!K(B}
\presen{C8}{3}{$B=[4DB0@-J8K!$K4p$E$/@8@.7O(BJun}{$B!{:4!9LZ(B $B98!$FAED(B $BM:MN!$OFED(B $B7z!$:4!9(B $B@/9'!JEl9)Bg!K(B}

\session{9}{14}{$BLZ(B}{13:00}{14:30}{D}{8}{$B%W%m%0%i%`9g@.!&F3=P(B}{$B9bLn(B $BL@I'!JF|N)!K(B}
\presen{D8}{1}{$B<B9T%H%l!<%9$+$i$N%W%m%0%i%`9g@.$K$`$1$F(B}{$B!{:48}(B $BBYG7!$0KCNCO(B $B9(!JIY;N%<%m%C%/%9!K(B}
\presen{D8}{2}{$BN`?d$rMQ$$$?O@M}%W%m%0%i%`$N9g@.$K$*$1$kN`;w@-$N;^4"$j$K4X$9$kM}O@E*9M;!(B}{$B!{:4EZ86(B $B7r!JEl9)Bg!K!$868}(B $B@?!JKLBg!K(B}
\presen{D8}{3}{$B=89gO@%W%m%0%i%_%s%0$K$*$1$k%0%i%U%"%k%4%j%:%`$N7OE}E*F3=P(B}{$B!{LnLZ(B $B7sO;!JF|N)!K(B}

\session{9}{14}{$BLZ(B}{14:45}{16:45}{B}{9}{$B1~MQ(B(2)}{$B2,(B $B2F<y!J>>2<5;8&!K(B}
\presen{B9}{1}{$B3,AX2=$7$?%O%$%Q!<%F%-%9%H$K$h$k%"%k%4%j%:%`2r@b$N$?$a$N0l<jK!(B}{$B!{CI>e(B $B>04u!$0f>e(B $B>!9T!$>eOBED(B $BE0!$5{0f(B $B9(9b!$<sF#(B $B>!!J:eBg!K(B}
\presen{B9}{2}{$B0\F0%m%\%C%H$N$?$a$N(B3$BJ}8~Js=7M=B,$K$h$k6/2=3X=,%7%9%F%`$N@_7W(B}{$B9B8}(B $BJ8M:!$!{:4F#(B $B=_0l!$D9C+It(B $B@5?.!JEl5~M}2JBg!K(B}
\presen{B9}{3}{$B0dEAE*%"%k%4%j%:%`$rMQ$$$?(BSOFT$B$K$*$1$k%"%/%?3d$jIU$1%"%k%4%j%:%`(B}{$B!{ED8}(B $B1Q?-!$6LLZ(B $B=_0l!$>e86(B $BL-!$?9(B $B=(<y!JElMNBg!K(B}
\presen{B9}{4}{$B5"G<O@M}%W%m%0%i%_%s%0$K$*$1$kAPJ}8~C5:w@oN,(B}{$B!{BgOBED(B $BM&?M!$9B8}(B $BJ8M:!JEl5~M}2JBg!K(B}

\session{9}{14}{$BLZ(B}{14:45}{16:45}{C}{9}{$BJBNs%*%V%8%'%/%H;X8~(B}{$B2#<j(B $BLwI'!J%=%K!<(BCSL$B!K(B}
\presen{C9}{1}{$BJBNs%*%V%8%'%/%H;X8~8@8l!V$(!<$H$7!W(B}{$B!{0286(B $B1IEP;N!$;y6L(B $BLw;J!JEl5~M}2JBg!K(B}
\presen{C9}{2}{$BJBNs%*%V%8%'%/%H6(D45-=R8@8l(BProduce/1$B$K$D$$$F(B}{$B!{1-NS(B $B>0Lw!$BgLZ(B $BFXM:!$5WLn(B $BLw!JC^GHBg!K(B}
\presen{C9}{3}{$B%7%9%F%`5-=R8@8l$H$7$F$NJBNs%*%V%8%'%/%H;X8~8@8l(B}{$B!{;y6L(B $BLw;J!JEl5~M}2JBg!K(B}
\presen{C9}{4}{$BJB9T%*%V%8%'%/%H;X8~7W;;$KBP$9$kItJ,7W;;(B}{$B!{?{86(B $BB@O:!$EOIt(B $BBnM:!JKLN&@hC<Bg!K(B}

\session{9}{14}{$BLZ(B}{14:45}{16:45}{D}{9}{$BO@M}$HI=8=(B}{$BHSEg(B $B@5!J7DBg!K(B}
\presen{D9}{1}{$B!J<h>C!K(B}{}
\presen{D9}{2}{$B%/%i%9$HItJ,9=B$$r;}$DBP>]$NI=8=$H7W;;(B}{$B!{@n8}(B $BM:0l!JFQ>.KR9b@l!K!$@V4V(B $B@6!$5\K\(B $B1R;T!JKLBg!K(B}
\presen{D9}{3}{$BF0E*4D6-2<$K$*$1$k%(!<%8%'%s%H$N?.G0$N0UL#O@(B}{$B!{G_B<(B $B989-!$0k:j(B $B=(<y!$>!Ln(B $BM5J8!J(BNTT$B!K(B}
\presen{D9}{4}{$BO":?5,B'$K4p$E$/H]DjI=8=$rF3F~$7$?CN<1I=8=%7%9%F%`(BDOT}{$B!{@6(B $B0lN4!$DMK\(B $B>;I'!$@>Hx(B $B>O<#O:!J:eBg!K(B}

\newpage

\noindent
{\boldfont $B8rDL0FFb!'(B}
\begin{enumerate}
\item
$B>.ED5^@~@8ED1X$+$iELJb!JLs(B10$BJ,!K!#@8ED1X$K$O3FDd$H=`5^$,Dd<V!#(B
$B?7=I$+$i5^9TMxMQ$N>l9g$O!$8~%v5VM71`1X$G>h49$(!#(B
$B@8ED1X$+$i$O!$Fn8}!J?7=I$+$i8+$F:8B&!K$K=P$F!$@~O)$K1h$C$F(B
$B?7=I$KLa$kJ}8~$KJb$/!J>e?^;2>H!K!#(B
\item
$B>.ED5^@~8~%v5VM71`1XKL8}$+$i%P%9L@<#Bg3X@5Lg9T$-!JLs(B20$BJ,!K=*E@2<<V!#(B
$B%P%9$O!$(B9$B;~Bf$+$i(B15$B;~Bf$^$GKh;~(B10$BJ,!$(B30$BJ,!$(B50$BJ,H/!#(B
$B?7=I$+$i8~%v5VM71`$^$G$O5^9T$G(B22$B!A(B25$BJ,!#(B
\end{enumerate}

\newpage

\begin{center}
{\Large\boldfont $BF|K\%=%U%H%&%'%"2J3X2qBh(B12$B2sBg2qLr0w(B}

\def\committeename#1{
   \hbadness = 10000
   \hbox to 30mm{\boldfont #1}}

\vspace{10mm}
\begin{tabular}{rlp{70mm}}
\committeename{$BBg2q0Q0wD9(B}
  & $BCf=j(B $BIp;J(B   & ($BL@<#Bg3X(B) \\[3mm]
\committeename{$B1?1D0Q0w2q(B} & & \\[1mm]
{\boldfont $B0Q0wD9(B}
  & $B@PH*(B $B@6(B     & ($BL@<#Bg3X(B) \\
{\boldfont $B0Q(B  $B0w(B}
  & $BCf=j(B $BIp;J(B   & ($BL@<#Bg3X(B) \\
  & $BI%ED(B $B51M:(B   & ($BL@<#Bg3X(B) \\[3mm]
\committeename{$B%W%m%0%i%`0Q0w2q(B} & & \\[1mm]
{\boldfont $B0Q0wD9(B}
  & $BI%ED(B $B51M:(B   & ($BL@<#Bg3X(B) \\
{\boldfont $B0Q(B  $B0w(B}
  & $B9SLZ(B $B7<FsO:(B & ($BF`NI@hC<2J3X5;=QBg3X1!Bg3X(B) \\
  & $B@PH*(B $B@6(B     & ($BL@<#Bg3X(B) \\
  & $B>eED(B $BOB5*(B   & ($BAa0pEDBg3X(B) \\
  & $BMn?e(B $B9@0lO:(B & ($BKLN&@hC<2J3X5;=QBg3X1!Bg3X(B) \\
  & $BHxFb(B $BM}5*IW(B & (NTT) \\
  & $B:y0f(B $B5.J8(B   & ($B@iMUBg3X(B) \\
  & $B9bLn(B $BL@I'(B   & ($BF|N)@=:n=j(B) \\
  & $BC]Fb(B $B>40l(B   & ($B%=%K!<%3%s%T%e!<%?%5%$%(%s%98&5f=j(B) \\
  & $BEDCf(B $BFsO:(B   & ($BC^GHBg3X(B) \\
  & $BCf=j(B $BIp;J(B   & ($BL@<#Bg3X(B) \\
  & $BCfEg(B $B=(G7(B   & ($BEE;R5;=QAm9g8&5f=j(B) \\
  & $BCfEg(B $B?L(B     & ($BF|K\EE5$(B) \\
  & $BGk86(B $B7s0l(B   & ($BBg:eBg3X(B) \\
  & $B66ED(B $B9@0l(B   & ($BEE;R5;=QAm9g8&5f=j(B) \\
  & $BJ?2l(B $B>y(B     & ($B?^=q4[>pJsBg3X(B) \\
  & $BJ?LZ(B $B7I(B     & ($BEl5~Bg3X(B) \\
  & $BK\0LED(B $B??0l(B & ($BEl<G(B) \\
  & $B;01:(B $B9'IW(B   & ($B;:G=Bg3X(B) \\
  & $B2#<j(B $BLwI'(B   & ($B%=%K!<%3%s%T%e!<%?%5%$%(%s%98&5f=j(B)
\end{tabular}

\end{center}

\vfill
\begin{flushright}
$BI=;f%G%6%$%s(B  $BBgLn5AIW(B($B7DBg(B)
\end{flushright}

\end{document}

