changeset 0:df90119943ed default tip

ソフトウェア科学大会 - 資料
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 18 Sep 2010 15:34:37 +0900
parents
children
files .checksum.md5 header.png index.html jssst.png papers/1a-1.pdf papers/1a-2.pdf papers/1a-3.pdf papers/1b-1.pdf papers/1b-2.pdf papers/1b-3.pdf papers/1b-4.pdf papers/2a-1.pdf papers/2a-2.pdf papers/2a-3.pdf papers/2a-4.pdf papers/2b-1.pdf papers/2b-2.pdf papers/2b-3.pdf papers/3a-1.pdf papers/3a-2.pdf papers/3a-3.pdf papers/3b-1.pdf papers/3b-2.pdf papers/3b-3.pdf papers/3b-4.pdf papers/4a-1.pdf papers/4a-2.pdf papers/4a-3.pdf papers/4a-4.pdf papers/4b-1.pdf papers/4b-2.pdf papers/5a-1.pdf papers/5a-2.pdf papers/5a-3.pdf papers/5b-1.pdf papers/5b-2.pdf papers/5b-3.pdf papers/5c-1.pdf papers/5c-2.pdf papers/5c-3.pdf papers/6a-1.pdf papers/6a-2.pdf papers/6a-3.pdf papers/6b-1.pdf papers/6b-2.pdf papers/6b-3.pdf papers/6b-4.pdf papers/6c-1.pdf papers/6c-2.pdf papers/6c-3.pdf papers/6c-4.pdf papers/6c-5.pdf papers/7b-1.pdf papers/7b-2.pdf papers/7b-3.pdf papers/7b-4.pdf papers/7c-1.pdf papers/7c-2.pdf papers/7c-3.pdf papers/7c-4.pdf papers/8a-2.pdf papers/8a-3.pdf papers/8b-1.pdf papers/8b-2.pdf papers/8b-3.pdf papers/8c-1.pdf papers/8c-2.pdf papers/8c-3.pdf
diffstat 68 files changed, 1015 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.checksum.md5	Sat Sep 18 15:34:37 2010 +0900
@@ -0,0 +1,67 @@
+36012d8ba0253c882035fb7e7f86feb3  papers/1a-1.pdf
+3a51d7d0a8ae4ea191de68b2653516d5  papers/1a-2.pdf
+bbb623f273df459558665c6c059a2209  papers/1a-3.pdf
+704b9d619ec3ee0c04e7a682d4a37698  papers/1b-1.pdf
+afb2e439809b67dac92539f51b2d83a5  papers/1b-2.pdf
+e7b26cf1a9e6d9db5c4313e2b82bcfa9  papers/1b-3.pdf
+2c6f3c408ea125595e9e0f3c2f14fc33  papers/1b-4.pdf
+1815b9594c21fbbbaa41cd0d1d9707a4  papers/2a-1.pdf
+ab7a2fa4aaab172032039cc2a4d51d08  papers/2a-2.pdf
+9c4879bd9213f79c11a4121437fc5238  papers/2a-3.pdf
+6c9d47f3a376ba4166856d8b6d7dc83c  papers/2a-4.pdf
+77d5a239e81c82c369f74fdf39afb7b8  papers/2b-1.pdf
+e102bf2d8a1dd37d375b9a091a5f0bf3  papers/2b-2.pdf
+9c7f0ca1410ccfe1edc8558467acd910  papers/2b-3.pdf
+0b6f622fdc5afe1db398a4e6d5bed83c  papers/3a-1.pdf
+b4d62dcd1b34cc2963f69cbb64a6c8d8  papers/3a-2.pdf
+dbec0fc063d9fc6b8241058ed316841a  papers/3a-3.pdf
+48267f26cc6cd128226b2850add5644d  papers/3b-1.pdf
+0f92ea1c8474ba13c3b5412432d4a239  papers/3b-2.pdf
+f89e9b85862eb170b34b32e866277b2c  papers/3b-3.pdf
+786d3c92841ba7573e84efa4ccf368f2  papers/3b-4.pdf
+a09103d3a0c2b3f020c011dbfc6d0052  papers/4a-1.pdf
+91b9e64e88f0ef22038caefb1f8215de  papers/4a-2.pdf
+228961d1ce46aaf24fd456013bfc69ab  papers/4a-3.pdf
+f45af6bf399697cf66ba70eb68338f14  papers/4a-4.pdf
+cac94dd3dea88024a43effc112ed93d3  papers/4b-1.pdf
+fa715a4d79e562ba227edd9376c062f0  papers/4b-2.pdf
+ea51ef7afcb81f51fb8acdfff2cbd3c2  papers/5a-1.pdf
+dc8d2bb38010f5019c9e094a60966a1c  papers/5a-2.pdf
+ab4d32bbc967dc347a628b4db7c7efb1  papers/5a-3.pdf
+6dbd8c08b898293908e167b9021e9189  papers/5b-1.pdf
+7d7397239e167979b82979d7070c85ba  papers/5b-2.pdf
+10c5c01f5b58318e1f27e95dfd216293  papers/5b-3.pdf
+2b908195d2346a1a580cb05c9f209c61  papers/5c-1.pdf
+4c8cf0743f0ff77f300808ef4d8a7f9a  papers/5c-2.pdf
+64081a059ffe86edbc5fb8a3d111eb75  papers/5c-3.pdf
+87a80bc5331e4f8f7808b2ca268d52f7  papers/6a-1.pdf
+8bea901ae1300e672d168dd38cfefded  papers/6a-2.pdf
+dac86ff931b824fa88660a613361e6fd  papers/6a-3.pdf
+cfd30e9abe2d87ce8ac0d9520d4deaf3  papers/6b-1.pdf
+db92517486fc3ea78f77ea9188dfa375  papers/6b-2.pdf
+c89cae512fe710de81de663793bd7fc1  papers/6b-3.pdf
+f91d3fd88352f11b980b744954ec339b  papers/6b-4.pdf
+d45c681f7b9fbd7432adb73f54dd2c62  papers/6c-1.pdf
+ccef99a6d8778ecee40178dc65b66387  papers/6c-2.pdf
+cc14753af718c867abd79940260caa1b  papers/6c-3.pdf
+0e2688e394f6951c726bee2c98e7cd78  papers/6c-4.pdf
+fcb99323e954179099e857663062f79e  papers/6c-5.pdf
+c9a1e8efb791532312910c947212bd64  papers/7b-1.pdf
+2aead9be4e571429e8c7e9e6d2cb5d1b  papers/7b-2.pdf
+b6b7cac380e963de12011175a241ab40  papers/7b-3.pdf
+24ab133a08823095d38ecf94992e1530  papers/7b-4.pdf
+8451e7110fddb530d92769bbf7447fb6  papers/7c-1.pdf
+4a216ad292c52eb6a94ed353697ed4c9  papers/7c-2.pdf
+ce5ace4cdbdf75821375e2320bfa765f  papers/7c-3.pdf
+900e18cb4bb29edeec0cdbcceea5fb57  papers/7c-4.pdf
+b52bcab5cf16a63dd89f49ed124a7a41  papers/8a-2.pdf
+2c7ea36b910692dd0c9763790de62a46  papers/8a-3.pdf
+8bcf3fb6b00ec47c27ed3f69b5fb2ade  papers/8b-1.pdf
+d9cb958dc9afd7ff87959dcb6b2af786  papers/8b-2.pdf
+0b3c64021521eed634ab84a00a20938f  papers/8b-3.pdf
+8f22d775bb84efa140baf9fa2f87a3ae  papers/8c-1.pdf
+e7e05735dd57f934cf0a8f891b870730  papers/8c-2.pdf
+83616df12f3d3a0c17e972f72bd12fcc  papers/8c-3.pdf
+ffcb932d41a069b93c2b362bcc30d488  jssst.png
+c8d0ea40b6424d08d528cb269ad0580d  index.html
+96c27cd2f8b8ab350fe40d7b04bbd502  header.png
Binary file header.png has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/index.html	Sat Sep 18 15:34:37 2010 +0900
@@ -0,0 +1,948 @@
+<!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>
Binary file jssst.png has changed
Binary file papers/1a-1.pdf has changed
Binary file papers/1a-2.pdf has changed
Binary file papers/1a-3.pdf has changed
Binary file papers/1b-1.pdf has changed
Binary file papers/1b-2.pdf has changed
Binary file papers/1b-3.pdf has changed
Binary file papers/1b-4.pdf has changed
Binary file papers/2a-1.pdf has changed
Binary file papers/2a-2.pdf has changed
Binary file papers/2a-3.pdf has changed
Binary file papers/2a-4.pdf has changed
Binary file papers/2b-1.pdf has changed
Binary file papers/2b-2.pdf has changed
Binary file papers/2b-3.pdf has changed
Binary file papers/3a-1.pdf has changed
Binary file papers/3a-2.pdf has changed
Binary file papers/3a-3.pdf has changed
Binary file papers/3b-1.pdf has changed
Binary file papers/3b-2.pdf has changed
Binary file papers/3b-3.pdf has changed
Binary file papers/3b-4.pdf has changed
Binary file papers/4a-1.pdf has changed
Binary file papers/4a-2.pdf has changed
Binary file papers/4a-3.pdf has changed
Binary file papers/4a-4.pdf has changed
Binary file papers/4b-1.pdf has changed
Binary file papers/4b-2.pdf has changed
Binary file papers/5a-1.pdf has changed
Binary file papers/5a-2.pdf has changed
Binary file papers/5a-3.pdf has changed
Binary file papers/5b-1.pdf has changed
Binary file papers/5b-2.pdf has changed
Binary file papers/5b-3.pdf has changed
Binary file papers/5c-1.pdf has changed
Binary file papers/5c-2.pdf has changed
Binary file papers/5c-3.pdf has changed
Binary file papers/6a-1.pdf has changed
Binary file papers/6a-2.pdf has changed
Binary file papers/6a-3.pdf has changed
Binary file papers/6b-1.pdf has changed
Binary file papers/6b-2.pdf has changed
Binary file papers/6b-3.pdf has changed
Binary file papers/6b-4.pdf has changed
Binary file papers/6c-1.pdf has changed
Binary file papers/6c-2.pdf has changed
Binary file papers/6c-3.pdf has changed
Binary file papers/6c-4.pdf has changed
Binary file papers/6c-5.pdf has changed
Binary file papers/7b-1.pdf has changed
Binary file papers/7b-2.pdf has changed
Binary file papers/7b-3.pdf has changed
Binary file papers/7b-4.pdf has changed
Binary file papers/7c-1.pdf has changed
Binary file papers/7c-2.pdf has changed
Binary file papers/7c-3.pdf has changed
Binary file papers/7c-4.pdf has changed
Binary file papers/8a-2.pdf has changed
Binary file papers/8a-3.pdf has changed
Binary file papers/8b-1.pdf has changed
Binary file papers/8b-2.pdf has changed
Binary file papers/8b-3.pdf has changed
Binary file papers/8c-1.pdf has changed
Binary file papers/8c-2.pdf has changed
Binary file papers/8c-3.pdf has changed