Mercurial > hg > Papers > 2010 > JSST2010_09

view index.html @ 0:df90119943ed default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ソフトウェア科学大会 - 資料
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 18 Sep 2010 15:34:37 +0900
parents
children
line wrap: on
line source

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html lang="ja">

<head>
<meta http-equiv="content-type" content="text/html; charset=shift_jis">
<meta http-equiv="content-style-type" content="text/css">
<title>{\tgEFAȊw27</title>
<style type="text/css">
<!--
body {
    margin: 0;
    padding: 0;
    font-size: 12pt;
}
h1 {
    margin: 0;
    padding: 0;
    font-size: 24pt;
    font-family: sans-serif;
}
h2 {
    margin-left: 0;
    margin-right: 0;
    padding: 0;
    font-size: 14pt;
    background-color: #c0e0f0;
}
h3 {
    font-size: 12pt;
}
table {
    border: 1px solid;
    font-size: 11pt;
}
th {
    border: 1px solid;
    background-color: #e0e0e0;
}
td {
    border: 1px solid;
    text-align: center;
}
td.blank {
    border: none;
}
#header {
    padding: 5px;
    color: #ffffff;
    background-color: #0000ff;
    background-image: url(header.png);
    background-repeat: repeat-x;
}
#header p {
    margin: 0;
    padding: 0;
}
#header img {
    border-width: 0;
}
#singlecolumn {
    padding: 5px;
}
h4.sessiontitle {
    font-size: 12pt;
    border-bottom: 4px solid #c0e0f0;
    margin-bottom: 0;
}
div.sessioninfo {
    text-align: right;
}
dl.paperlist dt {
    float: left;
    font-weight: normal;
}
dl.paperlist dd {
    margin-bottom: 1em;
    margin-left: 4em;
    font-weight: bold;
}
dl.authorlist {
    margin-top: 0;
    margin-bottom: 0;
}
dl.authorlist dt {
    float: left;
    font-weight: normal;
}
dl.authorlist dd {
    margin-bottom: 0em;
    margin-left: 1em;
    font-weight: normal;
}
div.extrainfo {
    margin-left: 1em;
    font-weight: normal;
}
span.extrainfo {
    font-weight: normal;
}
-->
</style>
</head>

<body>

<div id="header">

<h1><img alt="wS" src="jssst.png">
{\tgEFAȊw27</h1>

<p>2010N913()`15()<br>
 Ócmw LpX</p>

</div>

<div id="singlecolumn">

<h2>Tv</h2>

<h3>ҍu</h3>

<ul>
<li><a href="#KEYNOTE">y\tgEFAn</a><br>
| Y (喼_)</li>
</ul>

<h3>pl_ (\tgEFA_ZbV)</h3>

<ul>
<li><a href="#PANEL">\tgEFA_āC΂́H</a><br>
iF| Y (喼_)<br>
plXgFc V (_ˑ)Cc aI ()C F (H)C Mp (Ócm)
</ul>

<h3>ʍu</h3>

<ul>
<li><a href="#SPECIAL2A1">錾IȃRpCdlLqx邽߂̎ʎqɂƂÂԕ\</a> ({\tgEFAȊw14_܎ܘ_)<br>
 pY ()<br>
oTFRs[^\tgEFA, Vol. 25, No. 3, pp.113-134, 2008</li>
<li><a href="#SPECIAL3A1">lԊ֌W̏dȂƒR~jeB\̒o</a> ({\tgEFAȊw13_܎ܘ_)<br>
 mC iCē aCRc m (NTT)<br>
oTFRs[^\tgEFA, Vol. 24, No. 1, pp. 81-90, 2007</li>
<li><a href="#SPECIAL5A1">\IӖ_ɊÂp^[}b`ORpC̍\zƎ</a> ({\tgEFAȊw13_܎ܘ_)<br>
x ~ (k)C㗍 q (AhoeXg)<br>
oTFRs[^\tgEFA, Vol. 24, No. 2, pp. 113-132, 2007</li>
<li><a href="#SPECIAL8A1">Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification</a> (ACM POPL 2010̑_)<br>
Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno (Tohoku University)<br>
oTF37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010), pp. 495-508, 2010</li>
</ul>

<h3>\</h3>

<ul>
<li>ʃZbV</li>
<li>vO~O_(PPL)ZbV <a href="#SESSION1A">(1)</a>, <a href="#SESSION2A">(2)</a>, <a href="#SESSION4A">(3)</a>, <a href="#SESSION6A">(4)</a></li>
<li><a href="#SESSION6B">C^NeBuVXeƃ\tgEFA(ISS)ZbV</a></li>
<li><a href="#SESSION3A">lbg[Nnm\(EIN)EC^[lbgeNmW[(ITECH)ZbV</a></li>
<li><a href="#SESSION1B">fBy_uVXe(DSW)ZbV</a></li>
<li>\tgEFA_ZbV <a href="#SESSION2B">(1)</a>, <a href="#SESSION3B">(2)</a>, <a href="#SESSION4B">(3)</a></li>
<li>wZbV (݃Cxg)</li>
<li><a href="#DEMO">fE|X^[ZbV</a></li>
</ul>

<h2>vO</h2>

<table summary="{̂ƊwZbṼvOTv">
<tr><th></th><th></th><th>ʉ<br>(5101)</th><th>A<br>(5206)</th><th>B<br>(5201)</th><th>C<br>(5202)</th><th>fE|X^[</th><th>e<br>(wz[)</th></tr>
<tr><th rowspan="3">913()</th><th>9:30`11:30</th><td class="blank"></td><td><a href="#SESSION1A">PPL (1)</a></td><td><a href="#SESSION1B">DSW</a></td><td>w (1)</td><td class="blank"></td><td class="blank"></td></tr>
<tr><th>13:00`15:00</th><td class="blank"></td><td><a href="#SESSION2A">PPL (2)</a></td><td><a href="#SESSION2B">\tgEFA_ (1)</a></td><td>w (2)</td><td class="blank"></td><td class="blank"></td></tr>
<tr><th>15:15`17:15</th><td class="blank"></td><td><a href="#SESSION3A">EIN/ITECH</a></td><td><a href="#SESSION3B">\tgEFA_ (2)</a></td><td>w (3)</td><td class="blank"></td><td class="blank"></td></tr>
<tr><th rowspan="6">914()</th><th>9:30`11:30</th><td class="blank"></td><td><a href="#SESSION4A">PPL (3)</a></td><td><a href="#SESSION4B">\tgEFA_ (3)</a></td><td>w (4)</td><td class="blank"></td><td class="blank"></td></tr>
<tr><th>13:00`13:30</th><td><a href="#GREETING">AE\</a></td><td class="blank"></td><td class="blank"></td><td class="blank"></td><td class="blank"></td><td class="blank"></td></tr>
<tr><th>13:30`15:00</th><td><a href="#KEYNOTE">ҍu</a></td><td class="blank"></td><td class="blank"></td><td class="blank"></td><td class="blank"></td><td class="blank"></td></tr>
<tr><th>15:15`16:45</th><td class="blank"></td><td><a href="#SESSION5A">vO~O (1)</a></td><td><a href="#SESSION5B">EU</a></td><td><a href="#SESSION5C">vgR</a></td><td class="blank"></td><td class="blank"></td></tr>
<tr><th>16:45`17:45</th><td class="blank"></td><td class="blank"></td><td class="blank"></td><td class="blank"></td><td><a href="#DEMO">fE|X^[</a></td><td class="blank"></td></tr>
<tr><th>18:00`20:00</th><td class="blank"></td><td class="blank"></td><td class="blank"></td><td class="blank"></td><td class="blank"></td><td><a href="#SOCIAL">e</a></td></tr>
<tr><th rowspan="4">915()</th><th>9:30`12:00</th><td class="blank"></td><td><a href="#SESSION6A">PPL (4)</a></td><td><a href="#SESSION6B">ISS</a></td><td><a href="#SESSION6C">\tgEFAHw</a></td><td class="blank"></td><td class="blank"></td></tr>
<tr><th>13:00`15:00</th><td class="blank"></td><td><a href="#PANEL">pl_</a></td><td><a href="#SESSION7B">[Ux</a></td><td><a href="#SESSION7C">؁EeXg</a></td><td class="blank"></td><td class="blank"></td></tr>
<tr><th>15:15`16:45</th><td class="blank"></td><td><a href="#SESSION8A">vO~O (2)</a></td><td><a href="#SESSION8B">Ž</a></td><td><a href="#SESSION8C">_</a></td><td class="blank"></td><td class="blank"></td></tr>
<tr><th>17:00`17:30</th><td class="blank"></td><td><a href="#CLOSING">‰Ewܕ\</a></td><td class="blank"></td><td class="blank"></td><td class="blank"></td><td class="blank"></td></tr>
</table>

<!-- ================================================================ -->

<h4 class="sessiontitle"><a name="SESSION1A">vO~O_(PPL)ZbV (1)</a></h4>
<div class="sessioninfo">913() 10:00`11:30@A@Ft  (HƑw)</div>
<dl class="paperlist">
  <dt>1A-1</dt>
  <dd><a href="papers/1a-1.pdf">_ɂ|C^[vO؂̊S</a>
    <dl class="authorlist">
      <dt></dt><dd>c ^ (w)</dd>
      <dd>Wei-Ngan Chin (National University of Singapore)</dd>
      <dd>Mahmudul Faisal Al Ameen (Graduate University for Advanced Studies)</dd>
    </dl>
  </dd>
  <dt>1A-2</dt>
  <dd><a href="papers/1a-2.pdf">q[ṽIuWFNg̏ԂɊւ郂f</a>
    <dl class="authorlist">
      <dt></dt><dd>c F (w)</dd>
      <dd>Oc rs (w)</dd>
      <dd>V  (w)</dd>
    </dl>
  </dd>
  <dt>1A-3</dt>
  <dd><a href="papers/1a-3.pdf">rbgx\T|[gᐅɂBDD𗘗pvO؂Ɍ</a>
    <dl class="authorlist">
      <dt></dt><dd> G (sww@w)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION1B">fBy_uVXe(DSW)ZbV</a></h4>
<div class="sessioninfo">913() 9:30`11:30@B@F͖  (c`mw)</div>
<dl class="paperlist">
  <dt>1B-1</dt>
  <dd><a href="papers/1b-1.pdf">Cell/B.E.SPEœ삷SOSĎVXe</a>
    <dl class="authorlist">
      <dt></dt><dd>ic  (BHƑw)</dd>
      <dd>  (BHƑw)</dd>
    </dl>
  </dd>
  <dt>1B-2</dt>
  <dd><a href="papers/1b-2.pdf">nCubhVXefOHydLa nɂsASY</a>
    <dl class="authorlist">
      <dt></dt><dd>aJ r (cww@Hwȏ񗝍HwU)</dd>
      <dd>c mY (cww@Hwȏ񗝍HwU)</dd>
      <dd>ו j (w)</dd>
      <dd>c aI (cwHwp@񗝍Hw)</dd>
    </dl>
  </dd>
  <dt>1B-3</dt>
  <dd><a href="papers/1b-3.pdf">SATZppgeXgP[X</a>
    <dl class="authorlist">
      <dt></dt><dd>Ԍ r (_ˑw)</dd>
      <dd> t (_ˑww@VXew)</dd>
      <dd>c V (_ˑw)</dd>
      <dd>  (w)</dd>
    </dl>
  </dd>
  <dt>1B-4</dt>
  <dd><a href="papers/1b-4.pdf">64bitŃfƃfWebVXe</a>
    <dl class="authorlist">
      <dd> F (֐d͊Гd͋Zp)</dd>
      <dt></dt><dd>  (REp[EVXeY)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION2A">vO~O_(PPL)ZbV (2)</a></h4>
<div class="sessioninfo">913() 13:00`15:00@A@F{ @G (ȑw)</div>
<dl class="paperlist">
  <dt><a name="SPECIAL2A1">2A-1</a></dt>
  <dd>ʍuF<a href="papers/2a-1.pdf">錾IȃRpCdlLqx邽߂̎ʎqɂƂÂԕ\</a> <span class="extrainfo">({\tgEFAȊw14_܎ܘ_)</span>
    <dl class="authorlist">
      <dt></dt><dd> pY (쏊VXeJ)</dd>
    </dl>
    <div class="extrainfo">oTFRs[^\tgEFA, Vol. 25, No. 3, pp.113-134, 2008</div>
  </dd>
  <dt>2A-2</dt>
  <dd><a href="papers/2a-2.pdf">Towards JIT compilation for IO language</a>
    <dl class="authorlist">
      <dt></dt><dd>ULt Tt (HƑw)</dd>
      <dd>t  (HƑw)</dd>
      <dd>ĎR x (w)</dd>
    </dl>
  </dd>
  <dt>2A-3</dt>
  <dd><a href="papers/2a-3.pdf">񏈗̂߂Javan̉</a>
    <dl class="authorlist">
      <dt></dt><dd>͓J vm ({ACEr[EGijb)</dd>
      <dd> ꑥ ({ACEr[EGijb)</dd>
      <dd>쎛  ({ACEr[EGijb)</dd>
    </dl>
  </dd>
  <dt>2A-4</dt>
  <dd><a href="papers/2a-4.pdf">Kide: IȃW[[V̂߂ IDE T|[g</a>
    <dl class="authorlist">
      <dt></dt><dd>V \ (HƑw)</dd>
      <dd>x] ϑ (HƑw)</dd>
      <dd>t  (HƑw)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION2B">\tgEFA_ZbV (1)</a></h4>
<div class="sessioninfo">913() 13:30`15:00@B@F K (HƑw)</div>
<dl class="paperlist">
  <dt>2B-1</dt>
  <dd><a href="papers/2b-1.pdf">MyCloud: x_̃NEhpč\鍂ōMȕUXg[W</a>
    <dl class="authorlist">
      <dt></dt><dd>x  (dCʐMw)</dd>
    </dl>
  </dd>
  <dt>2B-2</dt>
  <dd><a href="papers/2b-2.pdf">̃t@CǗEFuVXe</a>
    <dl class="authorlist">
      <dt></dt><dd> mm (֐w w@ Hw)</dd>
      <dd>| V (֐w VXeHw dCdqHw)</dd>
    </dl>
  </dd>
  <dt>2B-3</dt>
  <dd><a href="papers/2b-3.pdf">WebW̐iɑΉWebI[TOc[̊J</a>
    <dl class="authorlist">
      <dt></dt><dd>  (cwۏʐM)</dd>
      <dd>Y ` (cwۏʐM)</dd>
      <dd> Q (cwlԉȊw)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION3A">lbg[Nnm\(EIN)EC^[lbgeNmW[(ITECH)ZbV</a></h4>
<div class="sessioninfo">913() 15:15`16:45@A@FI  (w)</div>
<dl class="paperlist">
  <dt><a name="SPECIAL3A1">3A-1</a></dt>
  <dd>ʍuF<a href="papers/3a-1.pdf">lԊ֌W̏dȂƒR~jeB\̒o</a> <span class="extrainfo">({\tgEFAȊw13_܎ܘ_)</span>
    <dl class="authorlist">
      <dt></dt><dd> m ({dMdb NTT˂ƌ)</dd>
      <dd> i ({dMdb NTT˂ƌ)</dd>
      <dd>ē a ({dMdb NTTR~jP[VȊwb)</dd>
      <dd>Rc m ({dMdb NTTR~jP[VȊwb)</dd>
    </dl>
    <div class="extrainfo">oTFRs[^\tgEFA, Vol. 24, No. 1, pp. 81-90, 2007</div>
  </dd>
  <dt>3A-2</dt>
  <dd><a href="papers/3a-2.pdf">lbg[N\̋ǏIȕωƓۂ̊֌W</a>
    <dl class="authorlist">
      <dt></dt><dd>  (wHwn)</dd>
      <dd>R W (wlHHwZ^[)</dd>
    </dl>
  </dd>
  <dt>3A-3</dt>
  <dd><a href="papers/3a-3.pdf">DarknetɓUDPpPbg̓</a>
    <dl class="authorlist">
      <dt></dt><dd>c K (cww@Hwȏ񗝍HwU)</dd>
      <dd>c   (w)</dd>
      <dd>A  ouv (@w)</dd>
      <dd> r (cwHwȏ񗝍HwU)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION3B">\tgEFA_ZbV (2)</a></h4>
<div class="sessioninfo">913() 15:15`17:15@B@F p (dCʐMw)</div>
<dl class="paperlist">
  <dt>3B-1</dt>
  <dd><a href="papers/3b-1.pdf">LMNtalsn̕񃂃fւ̓WJ</a>
    <dl class="authorlist">
      <dt></dt><dd>㒬 l (cww@Hw)</dd>
      <dd>x חS (cww@Hw)</dd>
      <dd>c aI (cwHwp@)</dd>
    </dl>
  </dd>
  <dt>3B-2</dt>
  <dd><a href="papers/3b-2.pdf">KonohaɂÓIXNveBO̕@݌v</a>
    <dl class="authorlist">
      <dt></dt><dd>q NY (lw)</dd>
    </dl>
  </dd>
  <dt>3B-3</dt>
  <dd><a href="papers/3b-3.pdf">Prologւ̓q̓Ǝ</a>
    <dl class="authorlist">
      <dt></dt><dd>o zq (c`mww@ EfBA)</dd>
      <dd>  (c`mww@ EfBA)</dd>
    </dl>
  </dd>
  <dt>3B-4</dt>
  <dd><a href="papers/3b-4.pdf">vZ\tgF Python sf</a>
    <dl class="authorlist">
      <dt></dt><dd>  (kVerifierLab)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION4A">vO~O_(PPL)ZbV (3)</a></h4>
<div class="sessioninfo">914() 9:30`11:30@A@F U] (w)</div>
<dl class="paperlist">
  <dt>4A-1</dt>
  <dd><a href="papers/4a-1.pdf">Java ̂߂̈ÖٓIɌ^`\</a>
    <dl class="authorlist">
      <dt></dt><dd>v Mi (HƑw w@ EvZȊwU)</dd>
      <dd>t  (HƑw w@ EvZȊwU)</dd>
    </dl>
  </dd>
  <dt>4A-2</dt>
  <dd><a href="papers/4a-2.pdf">\͂̍AhoCX^SɋLqłAXyNgwStrongRelaxAJ</a>
    <dl class="authorlist">
      <dt></dt><dd>R w (w)</dd>
      <dd>’J mK (k[ȊwZpw@w)</dd>
      <dd> pF (w)</dd>
    </dl>
  </dd>
  <dt>4A-3</dt>
  <dd><a href="papers/4a-3.pdf">nCubh񌾌HydLa̐錾IӖ_</a>
    <dl class="authorlist">
      <dt></dt><dd>c aI (cw)</dd>
      <dd>ו j (w)</dd>
      <dd>Έ  (igw)</dd>
    </dl>
  </dd>
  <dt>4A-4</dt>
  <dd><a href="papers/4a-4.pdf">Modifying Ruby for Designing and Implementing DSLs</a>
    <dl class="authorlist">
      <dt></dt><dd>Sebastian G&uuml;nther (Tokyo Institute of Technology / Universit&auml;t Magdeburg)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION4B">\tgEFA_ZbV (3)</a></h4>
<div class="sessioninfo">914() 10:30`11:30@B@F F (HƑw)</div>
<dl class="paperlist">
  <dt>4B-1</dt>
  <dd><a href="papers/4b-1.pdf">IuWFNgw{vO~O̎</a>
    <dl class="authorlist">
      <dt></dt><dd>c  (c`mw)</dd>
      <dd>Y w (c`mw)</dd>
      <dd>  (c`mw)</dd>
    </dl>
  </dd>
  <dt>4B-2</dt>
  <dd><a href="papers/4b-2.pdf">IȃR[h̕]@\ɑ΂eXgJobWc[</a>
    <dl class="authorlist">
      <dt></dt><dd>{ ꌛ (cw)</dd>
      <dd>h OX (cw)</dd>
      <dd>[V Ǐ (cw)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="GREETING">AE\</a></h4>
<div class="sessioninfo">914() 13:00`13:30@ʉ</div>

<h4 class="sessiontitle"><a name="KEYNOTE">ҍu</a></h4>
<div class="sessioninfo">914() 13:30`15:00@ʉ@Fו j (w)</div>
<dl class="paperlist">
  <dd>y\tgEFAn
    <dl class="authorlist">
      <dd>| Y (w_)</dd>
    </dl>
    <div class="extrainfo">TvF|̎g̊܂߂āC܂ŊւĂX̃\tgEFAJɂuyvɏœ_킹ďЉƂƂɁCꂪñGlM[ɂ‚Ȃ̂ł͂ȂƂWJĂ݂D</div>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION5A">ʃZbVFvO~O (1)</a></h4>
<div class="sessioninfo">914() 15:15`16:45@A@FTR K` (}gw)</div>
<dl class="paperlist">
  <dt><a name="SPECIAL5A1">5A-1</a></dt>
  <dd>ʍuF<a href="papers/5a-1.pdf">\IӖ_ɊÂp^[}b`ORpC̍\zƎ</a> <span class="extrainfo">({\tgEFAȊw13_܎ܘ_)</span>
    <dl class="authorlist">
      <dt></dt><dd>x ~ (kwdCʐM)</dd>
      <dd>㗍 q (ЃAhoeXg)</dd>
    </dl>
    <div class="extrainfo">oTFRs[^\tgEFA, Vol. 24, No. 2, pp. 113-132, 2007</div>
  </dd>
  <dt>5A-2</dt>
  <dd><a href="papers/5a-2.pdf">RNVf[^ɑ΂Ẵp^[}b`̎</a>
    <dl class="authorlist">
      <dt></dt><dd>] u (w)</dd>
    </dl>
  </dd>
  <dt>5A-3</dt>
  <dd><a href="papers/5a-3.pdf">̗ǂœKoH⍇VXe̎</a>
    <dl class="authorlist">
      <dt></dt><dd>X  (kwdCʐM)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION5B">ʃZbVFEU</a></h4>
<div class="sessioninfo">914() 15:15`16:45@B@F G (sw)</div>
<dl class="paperlist">
  <dt>5B-1</dt>
  <dd><a href="papers/5b-1.pdf">XNvgXcryptɂWusɊÂ񉻃c[</a>
    <dl class="authorlist">
      <dt></dt><dd>\ i (sww@wȃVXeȊwU)</dd>
      <dd>  (swwp񃁃fBAZ^[)</dd>
      <dd> B (swwp񃁃fBAZ^[)</dd>
      <dd>O m (swwp񃁃fBAZ^[)</dd>
      <dd>≺ j (swwp񃁃fBAZ^[)</dd>
      <dd> _ (swwp񃁃fBAZ^[)</dd>
    </dl>
  </dd>
  <dt>5B-2</dt>
  <dd><a href="papers/5b-2.pdf">UnbVe[uɂȓd͐lXg[WVXe</a>
    <dl class="authorlist">
      <dt></dt><dd>OH B (}gww@ VXeHw Rs[^TCGXU)</dd>
      <dd>J _ (}gww@ VXeHw Rs[^TCGXU)</dd>
      <dd> ͋` (}gww@ VXeHw Rs[^TCGXU)</dd>
      <dd> aF (}gww@ VXeHw Rs[^TCGXU)</dd>
    </dl>
  </dd>
  <dt>5B-3</dt>
  <dd><a href="papers/5b-3.pdf">A Construction Method for Scalable Peer-Assisted Video-on-Demand Systems</a>
    <dl class="authorlist">
      <dt></dt><dd>Huijun Li (Tokyo Institute of Technology)</dd>
      <dd>Takehiro Tokuda (Tokyo Institute of Technology)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION5C">ʃZbVFvgR</a></h4>
<div class="sessioninfo">914() 15:15`16:45@C@FR{  (tw)</div>
<dl class="paperlist">
  <dt>5C-1</dt>
  <dd><a href="papers/5c-1.pdf">ÍԂ̊֌W𐄘_̌nɑ΂”\EӖ_</a>
    <dl class="authorlist">
      <dt></dt><dd> Ύ (HƑww@񗝍HwȌvZHwU)</dd>
      <dd>  (HƑww@񗝍HwȌvZHwU^NTTf[^ ZpJ{ ITA[LeN`ZLeBZpZ^)</dd>
      <dd>č  (HƑww@񗝍HwȌvZHwU)</dd>
    </dl>
  </dd>
  <dt>5C-2</dt>
  <dd><a href="papers/5c-2.pdf">ʐMvgR͂`̌n̈Ӗ_</a>
    <dl class="authorlist">
      <dt></dt><dd>  (HƑw w@񗝍Hw vZHwU^NTTf[^ ZpJ{ ITA[LeN`ZLeBZpZ^)</dd>
      <dd> Ύ (HƑw w@񗝍Hw vZHwU)</dd>
      <dd>č  (HƑw w@񗝍Hw vZHwU)</dd>
    </dl>
  </dd>
  <dt>5C-3</dt>
  <dd><a href="papers/5c-3.pdf">`@poPbg@̌</a>
    <dl class="authorlist">
      <dt></dt><dd>iY M (k[ȊwZpw@w)</dd>
      <dd>t EP (k[ȊwZpw@w)</dd>
      <dd> g (k[ȊwZpw@w)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="DEMO">fE|X^[ZbV</a></h4>
<div class="sessioninfo">914() 16:45`17:45@fE|X^[@F]{ l (w)</div>
<dl class="paperlist">
  <dt>1B-4</dt>
  <dd><a href="papers/1b-4.pdf">64bitŃfƃfWebVXe</a>
    <dl class="authorlist">
      <dd> F (֐d͊Гd͋Zp)</dd>
      <dd>  (REp[EVXeY)</dd>
    </dl>
  </dd>
  <dt>2B-1</dt>
  <dd><a href="papers/2b-1.pdf">MyCloud: x_̃NEhpč\鍂ōMȕUXg[W</a>
    <dl class="authorlist">
      <dd>x  (dCʐMw)</dd>
    </dl>
  </dd>
  <dt>2B-3</dt>
  <dd><a href="papers/2b-3.pdf">WebW̐iɑΉWebI[TOc[̊J</a>
    <dl class="authorlist">
      <dd>  (cwۏʐM)</dd>
      <dd>Y ` (cwۏʐM)</dd>
      <dd> Q (cwlԉȊw)</dd>
    </dl>
  </dd>
  <dt>3B-2</dt>
  <dd><a href="papers/3b-2.pdf">KonohaɂÓIXNveBO̕@݌v</a>
    <dl class="authorlist">
      <dd>q NY (lw)</dd>
    </dl>
  </dd>
  <dt>3B-3</dt>
  <dd><a href="papers/3b-3.pdf">Prologւ̓q̓Ǝ</a>
    <dl class="authorlist">
      <dd>o zq (c`mww@ EfBA)</dd>
      <dd>  (c`mww@ EfBA)</dd>
    </dl>
  </dd>
  <dt>3B-4</dt>
  <dd><a href="papers/3b-4.pdf">vZ\tgF Python sf</a>
    <dl class="authorlist">
      <dd>  (kVerifierLab)</dd>
    </dl>
  </dd>
  <dt>4B-2</dt>
  <dd><a href="papers/4b-2.pdf">IȃR[h̕]@\ɑ΂eXgJobWc[</a>
    <dl class="authorlist">
      <dd>{ ꌛ (cw)</dd>
      <dd>h OX (cw)</dd>
      <dd>[V Ǐ (cw)</dd>
    </dl>
  </dd>
  <dd>ʂΏۂƂ錟VXe̍\z
    <dl class="authorlist">
      <dd>FJ q (LZpȊwwHwn)</dd>
      <dd>Y Ɉ (LZpȊwwHwn)</dd>
      <dd> K (LZpȊww񃁃fBAՃZ^[)</dd>
      <dd>~ i (LZpȊwwHwn)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SOCIAL">e</a></h4>
<div class="sessioninfo">914() 18:00`20:00@e</div>

<h4 class="sessiontitle"><a name="SESSION6A">vO~O_(PPL)ZbV (4)</a></h4>
<div class="sessioninfo">915() 10:00`11:30@A@Fo F (}gw)</div>
<dl class="paperlist">
  <dt>6A-1</dt>
  <dd><a href="papers/6a-1.pdf">Dependent Polymorphism</a>
    <dl class="authorlist">
      <dt></dt><dd>Makoto Hamana (Gunma University)</dd>
    </dl>
  </dd>
  <dt>6A-2</dt>
  <dd><a href="papers/6a-2.pdf">R[hvZɊÂyʂȑꋉI[o[[h̐݌vƎ</a>
    <dl class="authorlist">
      <dt></dt><dd> Y (kwdCʐM)</dd>
      <dd>x ~ (kwdCʐM)</dd>
    </dl>
  </dd>
  <dt>6A-3</dt>
  <dd><a href="papers/6a-3.pdf">Rg[Iy[^ƒ}`Xe[W̌^_</a>
    <dl class="authorlist">
      <dt></dt><dd>b YY (}gw)</dd>
      <dd>TR K` (}gw)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION6B">C^NeBuVXeƃ\tgEFA(ISS)ZbV</a></h4>
<div class="sessioninfo">915() 9:30`11:30@B@FuzY (}gw)</div>
<dl class="paperlist">
  <dt>6B-1</dt>
  <dd><a href="papers/6b-1.pdf">ɂs^̒Ǒ̌xc[</a>
    <dl class="authorlist">
      <dt></dt><dd>I  (c`mww@EfBA )</dd>
      <dd>zK  (c`mw‹w)</dd>
    </dl>
  </dd>
  <dt>6B-2</dt>
  <dd><a href="papers/6b-2.pdf">J^O{sƂ̔rɂR[fBl[gxVXe̕]</a>
    <dl class="authorlist">
      <dt></dt><dd>R q (ŽRw@w)</dd>
    </dl>
  </dd>
  <dt>6B-3</dt>
  <dd><a href="papers/6b-3.pdf">^b`plʂɓ`ő̉SVMp͂ɂX|Cg̎ԔF</a>
    <dl class="authorlist">
      <dt></dt><dd>x  (}gww@VXeHw)</dd>
      <dd>uz Y (}gww@VXeHw)</dd>
      <dd>c Y (}gww@VXeHw)</dd>
    </dl>
  </dd>
  <dt>6B-4</dt>
  <dd><a href="papers/6b-4.pdf">ew͂ɒڂ͎@</a>
    <dl class="authorlist">
      <dt></dt><dd> ^v</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION6C">ʃZbVF\tgEFAHw</a></h4>
<div class="sessioninfo">915() 9:30`12:00@C@F pF (w)</div>
<dl class="paperlist">
  <dt>6C-1</dt>
  <dd><a href="papers/6c-1.pdf">g”\JavaScriptR[fBO</a>
    <dl class="authorlist">
      <dt></dt><dd>K  (ّw񗝍Hw)</dd>
      <dd>  (ЃlbgbNX)</dd>
      <dd>R{ WY (mwȊw)</dd>
      <dd>  (Éww@Ȋw)</dd>
    </dl>
  </dd>
  <dt>6C-2</dt>
  <dd><a href="papers/6c-2.pdf">V[PXXCVOZppIuWFNgweXg̃oO@̒</a>
    <dl class="authorlist">
      <dt></dt><dd>X ~Y (ww@HwȏHwU)</dd>
      <dd>c  (ww@HwȏHwU)</dd>
    </dl>
  </dd>
  <dt>6C-3</dt>
  <dd><a href="papers/6c-3.pdf">\𓱓ANZX|V[Lq̒</a>
    <dl class="authorlist">
      <dt></dt><dd>c  (}gww@VXeHw)</dd>
      <dd>J _ (}gww@VXeHw)</dd>
      <dd> aF (}gww@VXeHw)</dd>
    </dl>
  </dd>
  <dt>6C-4</dt>
  <dd><a href="papers/6c-4.pdf">AjWebVXe: AjaxAvP[VXMLLqɂ鎩</a>
    <dl class="authorlist">
      <dt></dt><dd>F{ _I (HƑww@񗝍Hw)</dd>
      <dd>C q (HƑww@񗝍Hw)</dd>
      <dd>c Ym (HƑww@񗝍Hw)</dd>
    </dl>
  </dd>
  <dt>6C-5</dt>
  <dd><a href="papers/6c-5.pdf">{уvO~O̎H`vfp</a>
    <dl class="authorlist">
      <dt></dt><dd>n Sl (cw Hw)</dd>
      <dd> F (cw Hw)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="PANEL">\tgEFA_ZbVFpl_</a></h4>
<div class="sessioninfo">915() 13:00`15:00@A</div>
<dl class="paperlist">
  <dd>\tgEFA_āC΂́H
    <div class="extrainfo">
      <ul>
        <li>ǂ\tgEFAJ</li>
        <li>ǂ\tgEFA_</li>
        <li>\tgEFA_̉ʂ</li>
      </ul>
    </div>
    <dl class="authorlist">
      <dd>iF| Y (w_)</dd>
      <dd>plXgFc V (_ˑw)Cc aI (cw)C F (HƑw)C Mp (Ócmw)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION7B">ʃZbVF[Ux</a></h4>
<div class="sessioninfo">915() 13:00`15:00@B@FO aj (}gw)</div>
<dl class="paperlist">
  <dt>7B-1</dt>
  <dd><a href="papers/7b-1.pdf">X}[gtHpdbΉɂΐlxVXe̐݌v</a>
    <dl class="authorlist">
      <dt></dt><dd>R TV (ȑwHw)</dd>
      <dd>a Y (ȑwHw)</dd>
    </dl>
  </dd>
  <dt>7B-2</dt>
  <dd><a href="papers/7b-2.pdf">ɘa@pi[XEXPW[OVXe̒</a>
    <dl class="authorlist">
      <dt></dt><dd> K (ȑww@ Hw ocHwU)</dd>
      <dd>ac El (ȑww@ Hw ocHwU)</dd>
    </dl>
  </dd>
  <dt>7B-3</dt>
  <dd><a href="papers/7b-3.pdf">𗘗p̃V[</a>
    <dl class="authorlist">
      <dt></dt><dd>n NY (ww@Hwn)</dd>
      <dd>R W (wlHHwZ^[)</dd>
    </dl>
  </dd>
  <dt>7B-4</dt>
  <dd><a href="papers/7b-4.pdf">JvWFNgɂ鎖ᕪ͂ɊÂc^쐬x</a>
    <dl class="authorlist">
      <dt></dt><dd>xc  (͂Ėw)</dd>
      <dd>  (͂Ėw)</dd>
      <dd>ɓ b (͂Ėw)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION7C">ʃZbVF؁EeXg</a></h4>
<div class="sessioninfo">915() 13:00`15:00@C@F [L (쏊^w)</div>
<dl class="paperlist">
  <dt>7C-1</dt>
  <dd><a href="papers/7c-1.pdf">񐧌VXeLqf̌ؗpLqւ̕ϊƌI</a>
    <dl class="authorlist">
      <dt></dt><dd> đ (w)</dd>
      <dd> h (HƍwZ)</dd>
      <dd>c  (w)</dd>
      <dd>v P ( 쏊)</dd>
      <dd> E ( 쏊)</dd>
      <dd> F ( 쏊)</dd>
    </dl>
  </dd>
  <dt>7C-2</dt>
  <dd><a href="papers/7c-2.pdf">sxɈˑVXě`ƌ</a>
    <dl class="authorlist">
      <dd> Fv (HƑw)</dd>
      <dt></dt><dd> ^ (HƑw)</dd>
    </dl>
  </dd>
  <dt>7C-3</dt>
  <dd><a href="papers/7c-3.pdf">”\RXg팸̂߂̖Q[P@</a>
    <dl class="authorlist">
      <dt></dt><dd>  (HƑww@񗝍HwȌvZHwU)</dd>
      <dd> Ύ (HƑww@񗝍HwȌvZHwU)</dd>
      <dd>č  (HƑww@񗝍HwȌvZHwU)</dd>
    </dl>
  </dd>
  <dt>7C-4</dt>
  <dd><a href="papers/7c-4.pdf">CANiւ̃fx[XeXgKp̎g</a>
    <dl class="authorlist">
      <dt></dt><dd>{ \j (YƋZp)</dd>
      <dd> C (lTXGNgjNX)</dd>
      <dd>؉  (YƋZp)</dd>
      <dd> N (lTXGNgjNX)</dd>
      <dd> O (lTXGNgjNX)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION8A">ʃZbVFvO~O (2)</a></h4>
<div class="sessioninfo">915() 15:15`16:45@A@F ^ (HƑw)</div>
<dl class="paperlist">
  <dt><a name="SPECIAL8A1">8A-1</a></dt>
  <dd>ʍuF<a href="http://doi.acm.org/10.1145/1706299.1706355">Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification</a> <span class="extrainfo">(ACM POPL 2010̑_)</span>
    <dl class="authorlist">
      <dt></dt><dd>Naoki Kobayashi (Tohoku University)</dd>
      <dd>Naoshi Tabuchi (Tohoku University)</dd>
      <dd>Hiroshi Unno (Tohoku University)</dd>
    </dl>
    <div class="extrainfo">oTF37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010), pp. 495-508, 2010</div>
  </dd>
  <dt>8A-2</dt>
  <dd><a href="papers/8a-2.pdf">oH񋓎葱pvOؖ@</a>
    <dl class="authorlist">
      <dt></dt><dd> N (HƑw)</dd>
    </dl>
  </dd>
  <dt>8A-3</dt>
  <dd><a href="papers/8a-3.pdf">Unification algorithm based on &mu; equivalence</a>
    <dl class="authorlist">
      <dt></dt><dd>Fumihiko Yamaguchi (Department of Informations Sciences, Graduate School of Tokyo University of Science)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION8B">ʃZbVFŽ</a></h4>
<div class="sessioninfo">915() 15:15`16:45@B@FێR M (w)</div>
<dl class="paperlist">
  <dt>8B-1</dt>
  <dd><a href="papers/8b-1.pdf">\tgEFAJvWFNg̒TI͂x鎋oI̓c[</a>
    <dl class="authorlist">
      <dt></dt><dd>  (}gww@ VXeHw Rs[^TCGXU)</dd>
      <dd>O aj (}gww@ VXeHw Rs[^TCGXU)</dd>
      <dd>c Y (}gww@ VXeHw Rs[^TCGXU)</dd>
    </dl>
  </dd>
  <dt>8B-2</dt>
  <dd><a href="papers/8b-2.pdf">Java3DpƃNX^O</a>
    <dl class="authorlist">
      <dt></dt><dd>Rc T (ȑw Hw ocHwU)</dd>
      <dd>ac El (ȑwHwocHw)</dd>
    </dl>
  </dd>
  <dt>8B-3</dt>
  <dd><a href="papers/8b-3.pdf">vO~Os‹u܂߁v̐݌v</a>
    <dl class="authorlist">
      <dt></dt><dd> Nj (_ˑw wpՃZ^[)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="SESSION8C">ʃZbVF_</a></h4>
<div class="sessioninfo">915() 15:15`16:45@C@FԌ r (_ˑw)</div>
<dl class="paperlist">
  <dt>8C-1</dt>
  <dd><a href="papers/8c-1.pdf">l܂ރf[^̊wKɑΉILPVXe̍\z</a>
    <dl class="authorlist">
      <dt></dt><dd>  (ȑw w@ Hw ocHwU)</dd>
      <dd>ac El (ȑw Hw ocHw)</dd>
    </dl>
  </dd>
  <dt>8C-2</dt>
  <dd><a href="papers/8c-2.pdf">Ђ‹c_؂ɑ΂铮IsASY</a>
    <dl class="authorlist">
      <dd> iY (֐w@w)</dd>
      <dt></dt><dd> aq (֐w@w)</dd>
    </dl>
  </dd>
  <dt>8C-3</dt>
  <dd><a href="papers/8c-3.pdf">wƖ@wZVẅjuris-informatics̒</a>
    <dl class="authorlist">
      <dt></dt><dd>  (wё)</dd>
    </dl>
  </dd>
</dl>

<h4 class="sessiontitle"><a name="CLOSING">‰Ewܕ\</a></h4>
<div class="sessioninfo">915() 17:00`17:30@A</div>

<!-- ================================================================ -->

<h2>gD</h2>

<h3></h3>

<dl>
<dd>{\tgEFAȊw</dd>
</dl>

<h3>ψ</h3>

<dl>
<dd> Mp (Ócmw)</dd>
</dl>

<h3>^cψ</h3>

<dl>
<dd>Vc Pv (Ócmw)</dd>
</dl>

<h3>vOψ</h3>

<dl>
<dt>ψ</dt>
<dd>ו j (w)</dd>
<dt>ψ</dt>
<dd>܏\ ~ (sw)</dd>
<dd>ɒmn G (_w猤)</dd>
<dd> p (dCʐMw)</dd>
<dd>]{ l (w)</dd>
<dd>R bO (dCʐMw)</dd>
<dd>TR K` (}gw)</dd>
<dd>I  (w)</dd>
<dd>͖  (c`mw)</dd>
<dd> F (HƑw)</dd>
<dd>uzY (}gw)</dd>
<dd>Z pY (kw)</dd>
<dd>t  (HƑw)</dd>
<dd> j (c`mw)</dd>
<dd> Y (_Hw)</dd>
<dd> ^ (HƑw)</dd>
<dd>Ԍ r (_ˑw)</dd>
<dd> U] (w)</dd>
<dd>o F (}gw)</dd>
</dl>

<h3>ZbVR[fBl[^</h3>

<dl>
<dt>vO~O_(PPL)ZbV</dt>
<dd>t  (\CHƑw)</dd>
<dd>{ @G (ȑw)</dd>
<dd> U] (w)</dd>
<dd>o F (}gw)</dd>
<dt>C^NeBuVXeƃ\tgEFA(ISS)ZbV</dt>
<dd>uz Y (}gw)</dd>
<dt>C^[lbgeNmW[(ITECH)ZbV</dt>
<dd> j (c`mw)</dd>
<dt>fBy_uVXe(DSW)ZbV</dt>
<dd>͖  (\Cc`mw)</dd>
<dd>  (BHƑw)</dd>
<dd>Oc rs (w)</dd>
<dt>lbg[Nnm\(EIN)ZbV</dt>
<dd>I  (w)</dd>
<dt>\tgEFA_ZbV</dt>
<dd>ɒmn G (\C_w猤)</dd>
<dd> Y (_Hw)</dd>
<dd>Ԍ r (_ˑw)</dd>
<dt>wZbV</dt>
<dd>R bO (dCʐMw)</dd>
<dt>fE|X^[ZbV</dt>
<dd>]{ l (w)</dd>
</dl>

</div>

</body>

</html>