Mercurial > hg > Papers > 2010 > JSST2010_09

comparison 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
comparison
equal deleted inserted replaced
-1:000000000000 0:df90119943ed
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2 <html lang="ja">
3
4 <head>
5 <meta http-equiv="content-type" content="text/html; charset=shift_jis">
6 <meta http-equiv="content-style-type" content="text/css">
7 <title>{\tgEFAȊw27</title>
8 <style type="text/css">
9 <!--
10 body {
11 margin: 0;
12 padding: 0;
13 font-size: 12pt;
14 }
15 h1 {
16 margin: 0;
17 padding: 0;
18 font-size: 24pt;
19 font-family: sans-serif;
20 }
21 h2 {
22 margin-left: 0;
23 margin-right: 0;
24 padding: 0;
25 font-size: 14pt;
26 background-color: #c0e0f0;
27 }
28 h3 {
29 font-size: 12pt;
30 }
31 table {
32 border: 1px solid;
33 font-size: 11pt;
34 }
35 th {
36 border: 1px solid;
37 background-color: #e0e0e0;
38 }
39 td {
40 border: 1px solid;
41 text-align: center;
42 }
43 td.blank {
44 border: none;
45 }
46 #header {
47 padding: 5px;
48 color: #ffffff;
49 background-color: #0000ff;
50 background-image: url(header.png);
51 background-repeat: repeat-x;
52 }
53 #header p {
54 margin: 0;
55 padding: 0;
56 }
57 #header img {
58 border-width: 0;
59 }
60 #singlecolumn {
61 padding: 5px;
62 }
63 h4.sessiontitle {
64 font-size: 12pt;
65 border-bottom: 4px solid #c0e0f0;
66 margin-bottom: 0;
67 }
68 div.sessioninfo {
69 text-align: right;
70 }
71 dl.paperlist dt {
72 float: left;
73 font-weight: normal;
74 }
75 dl.paperlist dd {
76 margin-bottom: 1em;
77 margin-left: 4em;
78 font-weight: bold;
79 }
80 dl.authorlist {
81 margin-top: 0;
82 margin-bottom: 0;
83 }
84 dl.authorlist dt {
85 float: left;
86 font-weight: normal;
87 }
88 dl.authorlist dd {
89 margin-bottom: 0em;
90 margin-left: 1em;
91 font-weight: normal;
92 }
93 div.extrainfo {
94 margin-left: 1em;
95 font-weight: normal;
96 }
97 span.extrainfo {
98 font-weight: normal;
99 }
100 -->
101 </style>
102 </head>
103
104 <body>
105
106 <div id="header">
107
108 <h1><img alt="wS" src="jssst.png">
109 {\tgEFAȊw27</h1>
110
111 <p>2010N913()`15()<br>
112 Ócmw LpX</p>
113
114 </div>
115
116 <div id="singlecolumn">
117
118 <h2>Tv</h2>
119
120 <h3>ҍu</h3>
121
122 <ul>
123 <li><a href="#KEYNOTE">y\tgEFAn</a><br>
124 | Y (喼_)</li>
125 </ul>
126
127 <h3>pl_ (\tgEFA_ZbV)</h3>
128
129 <ul>
130 <li><a href="#PANEL">\tgEFA_āC΂́H</a><br>
131 iF| Y (喼_)<br>
132 plXgFc V (_ˑ)Cc aI ()C F (H)C Mp (Ócm)
133 </ul>
134
135 <h3>ʍu</h3>
136
137 <ul>
138 <li><a href="#SPECIAL2A1">錾IȃRpCdlLqx邽߂̎ʎqɂƂÂԕ\</a> ({\tgEFAȊw14_܎ܘ_)<br>
139 pY ()<br>
140 oTFRs[^\tgEFA, Vol. 25, No. 3, pp.113-134, 2008</li>
141 <li><a href="#SPECIAL3A1">lԊ֌W̏dȂƒR~jeB\̒o</a> ({\tgEFAȊw13_܎ܘ_)<br>
142 mC iCē aCRc m (NTT)<br>
143 oTFRs[^\tgEFA, Vol. 24, No. 1, pp. 81-90, 2007</li>
144 <li><a href="#SPECIAL5A1">\IӖ_ɊÂp^[}b`ORpC̍\zƎ</a> ({\tgEFAȊw13_܎ܘ_)<br>
145 x ~ (k)C㗍 q (AhoeXg)<br>
146 oTFRs[^\tgEFA, Vol. 24, No. 2, pp. 113-132, 2007</li>
147 <li><a href="#SPECIAL8A1">Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification</a> (ACM POPL 2010̑_)<br>
148 Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno (Tohoku University)<br>
149 oTF37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010), pp. 495-508, 2010</li>
150 </ul>
151
152 <h3>\</h3>
153
154 <ul>
155 <li>ʃZbV</li>
156 <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>
157 <li><a href="#SESSION6B">C^NeBuVXeƃ\tgEFA(ISS)ZbV</a></li>
158 <li><a href="#SESSION3A">lbg[Nnm\(EIN)EC^[lbgeNmW[(ITECH)ZbV</a></li>
159 <li><a href="#SESSION1B">fBy_uVXe(DSW)ZbV</a></li>
160 <li>\tgEFA_ZbV <a href="#SESSION2B">(1)</a>, <a href="#SESSION3B">(2)</a>, <a href="#SESSION4B">(3)</a></li>
161 <li>wZbV (݃Cxg)</li>
162 <li><a href="#DEMO">fE|X^[ZbV</a></li>
163 </ul>
164
165 <h2>vO</h2>
166
167 <table summary="{̂ƊwZbṼvOTv">
168 <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>
169 <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>
170 <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>
171 <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>
172 <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>
173 <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>
174 <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>
175 <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>
176 <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>
177 <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>
178 <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>
179 <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>
180 <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>
181 <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>
182 </table>
183
184 <!-- ================================================================ -->
185
186 <h4 class="sessiontitle"><a name="SESSION1A">vO~O_(PPL)ZbV (1)</a></h4>
187 <div class="sessioninfo">913() 10:00`11:30@A@Ft (HƑw)</div>
188 <dl class="paperlist">
189 <dt>1A-1</dt>
190 <dd><a href="papers/1a-1.pdf">_ɂ|C^[vO؂̊S</a>
191 <dl class="authorlist">
192 <dt></dt><dd>c ^ (w)</dd>
193 <dd>Wei-Ngan Chin (National University of Singapore)</dd>
194 <dd>Mahmudul Faisal Al Ameen (Graduate University for Advanced Studies)</dd>
195 </dl>
196 </dd>
197 <dt>1A-2</dt>
198 <dd><a href="papers/1a-2.pdf">q[ṽIuWFNg̏ԂɊւ郂f</a>
199 <dl class="authorlist">
200 <dt></dt><dd>c F (w)</dd>
201 <dd>Oc rs (w)</dd>
202 <dd>V (w)</dd>
203 </dl>
204 </dd>
205 <dt>1A-3</dt>
206 <dd><a href="papers/1a-3.pdf">rbgx\T|[gᐅɂBDD𗘗pvO؂Ɍ</a>
207 <dl class="authorlist">
208 <dt></dt><dd> G (sww@w)</dd>
209 </dl>
210 </dd>
211 </dl>
212
213 <h4 class="sessiontitle"><a name="SESSION1B">fBy_uVXe(DSW)ZbV</a></h4>
214 <div class="sessioninfo">913() 9:30`11:30@B@F͖ (c`mw)</div>
215 <dl class="paperlist">
216 <dt>1B-1</dt>
217 <dd><a href="papers/1b-1.pdf">Cell/B.E.SPEœ삷SOSĎVXe</a>
218 <dl class="authorlist">
219 <dt></dt><dd>ic (BHƑw)</dd>
220 <dd> (BHƑw)</dd>
221 </dl>
222 </dd>
223 <dt>1B-2</dt>
224 <dd><a href="papers/1b-2.pdf">nCubhVXefOHydLa nɂsASY</a>
225 <dl class="authorlist">
226 <dt></dt><dd>aJ r (cww@Hwȏ񗝍HwU)</dd>
227 <dd>c mY (cww@Hwȏ񗝍HwU)</dd>
228 <dd>ו j (w)</dd>
229 <dd>c aI (cwHwp@񗝍Hw)</dd>
230 </dl>
231 </dd>
232 <dt>1B-3</dt>
233 <dd><a href="papers/1b-3.pdf">SATZppgeXgP[X</a>
234 <dl class="authorlist">
235 <dt></dt><dd>Ԍ r (_ˑw)</dd>
236 <dd> t (_ˑww@VXew)</dd>
237 <dd>c V (_ˑw)</dd>
238 <dd> (w)</dd>
239 </dl>
240 </dd>
241 <dt>1B-4</dt>
242 <dd><a href="papers/1b-4.pdf">64bitŃfƃfWebVXe</a>
243 <dl class="authorlist">
244 <dd> F (֐d͊Гd͋Zp)</dd>
245 <dt></dt><dd> (REp[EVXeY)</dd>
246 </dl>
247 </dd>
248 </dl>
249
250 <h4 class="sessiontitle"><a name="SESSION2A">vO~O_(PPL)ZbV (2)</a></h4>
251 <div class="sessioninfo">913() 13:00`15:00@A@F{ @G (ȑw)</div>
252 <dl class="paperlist">
253 <dt><a name="SPECIAL2A1">2A-1</a></dt>
254 <dd>ʍuF<a href="papers/2a-1.pdf">錾IȃRpCdlLqx邽߂̎ʎqɂƂÂԕ\</a> <span class="extrainfo">({\tgEFAȊw14_܎ܘ_)</span>
255 <dl class="authorlist">
256 <dt></dt><dd> pY (쏊VXeJ)</dd>
257 </dl>
258 <div class="extrainfo">oTFRs[^\tgEFA, Vol. 25, No. 3, pp.113-134, 2008</div>
259 </dd>
260 <dt>2A-2</dt>
261 <dd><a href="papers/2a-2.pdf">Towards JIT compilation for IO language</a>
262 <dl class="authorlist">
263 <dt></dt><dd>ULt Tt (HƑw)</dd>
264 <dd>t (HƑw)</dd>
265 <dd>ĎR x (w)</dd>
266 </dl>
267 </dd>
268 <dt>2A-3</dt>
269 <dd><a href="papers/2a-3.pdf">񏈗̂߂Javan̉</a>
270 <dl class="authorlist">
271 <dt></dt><dd>͓J vm ({ACEr[EGijb)</dd>
272 <dd> ꑥ ({ACEr[EGijb)</dd>
273 <dd>쎛 ({ACEr[EGijb)</dd>
274 </dl>
275 </dd>
276 <dt>2A-4</dt>
277 <dd><a href="papers/2a-4.pdf">Kide: IȃW[[V̂߂ IDE T|[g</a>
278 <dl class="authorlist">
279 <dt></dt><dd>V \ (HƑw)</dd>
280 <dd>x] ϑ (HƑw)</dd>
281 <dd>t (HƑw)</dd>
282 </dl>
283 </dd>
284 </dl>
285
286 <h4 class="sessiontitle"><a name="SESSION2B">\tgEFA_ZbV (1)</a></h4>
287 <div class="sessioninfo">913() 13:30`15:00@B@F K (HƑw)</div>
288 <dl class="paperlist">
289 <dt>2B-1</dt>
290 <dd><a href="papers/2b-1.pdf">MyCloud: x_̃NEhpč\鍂ōMȕUXg[W</a>
291 <dl class="authorlist">
292 <dt></dt><dd>x (dCʐMw)</dd>
293 </dl>
294 </dd>
295 <dt>2B-2</dt>
296 <dd><a href="papers/2b-2.pdf">̃t@CǗEFuVXe</a>
297 <dl class="authorlist">
298 <dt></dt><dd> mm (֐w w@ Hw)</dd>
299 <dd>| V (֐w VXeHw dCdqHw)</dd>
300 </dl>
301 </dd>
302 <dt>2B-3</dt>
303 <dd><a href="papers/2b-3.pdf">WebW̐iɑΉWebI[TOc[̊J</a>
304 <dl class="authorlist">
305 <dt></dt><dd> (cwۏʐM)</dd>
306 <dd>Y ` (cwۏʐM)</dd>
307 <dd> Q (cwlԉȊw)</dd>
308 </dl>
309 </dd>
310 </dl>
311
312 <h4 class="sessiontitle"><a name="SESSION3A">lbg[Nnm\(EIN)EC^[lbgeNmW[(ITECH)ZbV</a></h4>
313 <div class="sessioninfo">913() 15:15`16:45@A@FI (w)</div>
314 <dl class="paperlist">
315 <dt><a name="SPECIAL3A1">3A-1</a></dt>
316 <dd>ʍuF<a href="papers/3a-1.pdf">lԊ֌W̏dȂƒR~jeB\̒o</a> <span class="extrainfo">({\tgEFAȊw13_܎ܘ_)</span>
317 <dl class="authorlist">
318 <dt></dt><dd> m ({dMdb NTT˂ƌ)</dd>
319 <dd> i ({dMdb NTT˂ƌ)</dd>
320 <dd>ē a ({dMdb NTTR~jP[VȊwb)</dd>
321 <dd>Rc m ({dMdb NTTR~jP[VȊwb)</dd>
322 </dl>
323 <div class="extrainfo">oTFRs[^\tgEFA, Vol. 24, No. 1, pp. 81-90, 2007</div>
324 </dd>
325 <dt>3A-2</dt>
326 <dd><a href="papers/3a-2.pdf">lbg[N\̋ǏIȕωƓۂ̊֌W</a>
327 <dl class="authorlist">
328 <dt></dt><dd> (wHwn)</dd>
329 <dd>R W (wlHHwZ^[)</dd>
330 </dl>
331 </dd>
332 <dt>3A-3</dt>
333 <dd><a href="papers/3a-3.pdf">DarknetɓUDPpPbg̓</a>
334 <dl class="authorlist">
335 <dt></dt><dd>c K (cww@Hwȏ񗝍HwU)</dd>
336 <dd>c (w)</dd>
337 <dd>A ouv (@w)</dd>
338 <dd> r (cwHwȏ񗝍HwU)</dd>
339 </dl>
340 </dd>
341 </dl>
342
343 <h4 class="sessiontitle"><a name="SESSION3B">\tgEFA_ZbV (2)</a></h4>
344 <div class="sessioninfo">913() 15:15`17:15@B@F p (dCʐMw)</div>
345 <dl class="paperlist">
346 <dt>3B-1</dt>
347 <dd><a href="papers/3b-1.pdf">LMNtalsn̕񃂃fւ̓WJ</a>
348 <dl class="authorlist">
349 <dt></dt><dd>㒬 l (cww@Hw)</dd>
350 <dd>x חS (cww@Hw)</dd>
351 <dd>c aI (cwHwp@)</dd>
352 </dl>
353 </dd>
354 <dt>3B-2</dt>
355 <dd><a href="papers/3b-2.pdf">KonohaɂÓIXNveBO̕@݌v</a>
356 <dl class="authorlist">
357 <dt></dt><dd>q NY (lw)</dd>
358 </dl>
359 </dd>
360 <dt>3B-3</dt>
361 <dd><a href="papers/3b-3.pdf">Prologւ̓q̓Ǝ</a>
362 <dl class="authorlist">
363 <dt></dt><dd>o zq (c`mww@ EfBA)</dd>
364 <dd> (c`mww@ EfBA)</dd>
365 </dl>
366 </dd>
367 <dt>3B-4</dt>
368 <dd><a href="papers/3b-4.pdf">vZ\tgF Python sf</a>
369 <dl class="authorlist">
370 <dt></dt><dd> (kVerifierLab)</dd>
371 </dl>
372 </dd>
373 </dl>
374
375 <h4 class="sessiontitle"><a name="SESSION4A">vO~O_(PPL)ZbV (3)</a></h4>
376 <div class="sessioninfo">914() 9:30`11:30@A@F U] (w)</div>
377 <dl class="paperlist">
378 <dt>4A-1</dt>
379 <dd><a href="papers/4a-1.pdf">Java ̂߂̈ÖٓIɌ^`\</a>
380 <dl class="authorlist">
381 <dt></dt><dd>v Mi (HƑw w@ EvZȊwU)</dd>
382 <dd>t (HƑw w@ EvZȊwU)</dd>
383 </dl>
384 </dd>
385 <dt>4A-2</dt>
386 <dd><a href="papers/4a-2.pdf">\͂̍AhoCX^SɋLqłAXyNgwStrongRelaxAJ</a>
387 <dl class="authorlist">
388 <dt></dt><dd>R w (w)</dd>
389 <dd>’J mK (k[ȊwZpw@w)</dd>
390 <dd> pF (w)</dd>
391 </dl>
392 </dd>
393 <dt>4A-3</dt>
394 <dd><a href="papers/4a-3.pdf">nCubh񌾌HydLa̐錾IӖ_</a>
395 <dl class="authorlist">
396 <dt></dt><dd>c aI (cw)</dd>
397 <dd>ו j (w)</dd>
398 <dd>Έ (igw)</dd>
399 </dl>
400 </dd>
401 <dt>4A-4</dt>
402 <dd><a href="papers/4a-4.pdf">Modifying Ruby for Designing and Implementing DSLs</a>
403 <dl class="authorlist">
404 <dt></dt><dd>Sebastian G&uuml;nther (Tokyo Institute of Technology / Universit&auml;t Magdeburg)</dd>
405 </dl>
406 </dd>
407 </dl>
408
409 <h4 class="sessiontitle"><a name="SESSION4B">\tgEFA_ZbV (3)</a></h4>
410 <div class="sessioninfo">914() 10:30`11:30@B@F F (HƑw)</div>
411 <dl class="paperlist">
412 <dt>4B-1</dt>
413 <dd><a href="papers/4b-1.pdf">IuWFNgw{vO~O̎</a>
414 <dl class="authorlist">
415 <dt></dt><dd>c (c`mw)</dd>
416 <dd>Y w (c`mw)</dd>
417 <dd> (c`mw)</dd>
418 </dl>
419 </dd>
420 <dt>4B-2</dt>
421 <dd><a href="papers/4b-2.pdf">IȃR[h̕]@\ɑ΂eXgJobWc[</a>
422 <dl class="authorlist">
423 <dt></dt><dd>{ ꌛ (cw)</dd>
424 <dd>h OX (cw)</dd>
425 <dd>[V Ǐ (cw)</dd>
426 </dl>
427 </dd>
428 </dl>
429
430 <h4 class="sessiontitle"><a name="GREETING">AE\</a></h4>
431 <div class="sessioninfo">914() 13:00`13:30@ʉ</div>
432
433 <h4 class="sessiontitle"><a name="KEYNOTE">ҍu</a></h4>
434 <div class="sessioninfo">914() 13:30`15:00@ʉ@Fו j (w)</div>
435 <dl class="paperlist">
436 <dd>y\tgEFAn
437 <dl class="authorlist">
438 <dd>| Y (w_)</dd>
439 </dl>
440 <div class="extrainfo">TvF|̎g̊܂߂āC܂ŊւĂX̃\tgEFAJɂuyvɏœ_킹ďЉƂƂɁCꂪñGlM[ɂ‚Ȃ̂ł͂ȂƂWJĂ݂D</div>
441 </dd>
442 </dl>
443
444 <h4 class="sessiontitle"><a name="SESSION5A">ʃZbVFvO~O (1)</a></h4>
445 <div class="sessioninfo">914() 15:15`16:45@A@FTR K` (}gw)</div>
446 <dl class="paperlist">
447 <dt><a name="SPECIAL5A1">5A-1</a></dt>
448 <dd>ʍuF<a href="papers/5a-1.pdf">\IӖ_ɊÂp^[}b`ORpC̍\zƎ</a> <span class="extrainfo">({\tgEFAȊw13_܎ܘ_)</span>
449 <dl class="authorlist">
450 <dt></dt><dd>x ~ (kwdCʐM)</dd>
451 <dd>㗍 q (ЃAhoeXg)</dd>
452 </dl>
453 <div class="extrainfo">oTFRs[^\tgEFA, Vol. 24, No. 2, pp. 113-132, 2007</div>
454 </dd>
455 <dt>5A-2</dt>
456 <dd><a href="papers/5a-2.pdf">RNVf[^ɑ΂Ẵp^[}b`̎</a>
457 <dl class="authorlist">
458 <dt></dt><dd>] u (w)</dd>
459 </dl>
460 </dd>
461 <dt>5A-3</dt>
462 <dd><a href="papers/5a-3.pdf">̗ǂœKoH⍇VXe̎</a>
463 <dl class="authorlist">
464 <dt></dt><dd>X (kwdCʐM)</dd>
465 </dl>
466 </dd>
467 </dl>
468
469 <h4 class="sessiontitle"><a name="SESSION5B">ʃZbVFEU</a></h4>
470 <div class="sessioninfo">914() 15:15`16:45@B@F G (sw)</div>
471 <dl class="paperlist">
472 <dt>5B-1</dt>
473 <dd><a href="papers/5b-1.pdf">XNvgXcryptɂWusɊÂ񉻃c[</a>
474 <dl class="authorlist">
475 <dt></dt><dd>\ i (sww@wȃVXeȊwU)</dd>
476 <dd> (swwp񃁃fBAZ^[)</dd>
477 <dd> B (swwp񃁃fBAZ^[)</dd>
478 <dd>O m (swwp񃁃fBAZ^[)</dd>
479 <dd>≺ j (swwp񃁃fBAZ^[)</dd>
480 <dd> _ (swwp񃁃fBAZ^[)</dd>
481 </dl>
482 </dd>
483 <dt>5B-2</dt>
484 <dd><a href="papers/5b-2.pdf">UnbVe[uɂȓd͐lXg[WVXe</a>
485 <dl class="authorlist">
486 <dt></dt><dd>OH B (}gww@ VXeHw Rs[^TCGXU)</dd>
487 <dd>J _ (}gww@ VXeHw Rs[^TCGXU)</dd>
488 <dd> ͋` (}gww@ VXeHw Rs[^TCGXU)</dd>
489 <dd> aF (}gww@ VXeHw Rs[^TCGXU)</dd>
490 </dl>
491 </dd>
492 <dt>5B-3</dt>
493 <dd><a href="papers/5b-3.pdf">A Construction Method for Scalable Peer-Assisted Video-on-Demand Systems</a>
494 <dl class="authorlist">
495 <dt></dt><dd>Huijun Li (Tokyo Institute of Technology)</dd>
496 <dd>Takehiro Tokuda (Tokyo Institute of Technology)</dd>
497 </dl>
498 </dd>
499 </dl>
500
501 <h4 class="sessiontitle"><a name="SESSION5C">ʃZbVFvgR</a></h4>
502 <div class="sessioninfo">914() 15:15`16:45@C@FR{ (tw)</div>
503 <dl class="paperlist">
504 <dt>5C-1</dt>
505 <dd><a href="papers/5c-1.pdf">ÍԂ̊֌W𐄘_̌nɑ΂”\EӖ_</a>
506 <dl class="authorlist">
507 <dt></dt><dd> Ύ (HƑww@񗝍HwȌvZHwU)</dd>
508 <dd> (HƑww@񗝍HwȌvZHwU^NTTf[^ ZpJ{ ITA[LeN`ZLeBZpZ^)</dd>
509 <dd>č (HƑww@񗝍HwȌvZHwU)</dd>
510 </dl>
511 </dd>
512 <dt>5C-2</dt>
513 <dd><a href="papers/5c-2.pdf">ʐMvgR͂`̌n̈Ӗ_</a>
514 <dl class="authorlist">
515 <dt></dt><dd> (HƑw w@񗝍Hw vZHwU^NTTf[^ ZpJ{ ITA[LeN`ZLeBZpZ^)</dd>
516 <dd> Ύ (HƑw w@񗝍Hw vZHwU)</dd>
517 <dd>č (HƑw w@񗝍Hw vZHwU)</dd>
518 </dl>
519 </dd>
520 <dt>5C-3</dt>
521 <dd><a href="papers/5c-3.pdf">`@poPbg@̌</a>
522 <dl class="authorlist">
523 <dt></dt><dd>iY M (k[ȊwZpw@w)</dd>
524 <dd>t EP (k[ȊwZpw@w)</dd>
525 <dd> g (k[ȊwZpw@w)</dd>
526 </dl>
527 </dd>
528 </dl>
529
530 <h4 class="sessiontitle"><a name="DEMO">fE|X^[ZbV</a></h4>
531 <div class="sessioninfo">914() 16:45`17:45@fE|X^[@F]{ l (w)</div>
532 <dl class="paperlist">
533 <dt>1B-4</dt>
534 <dd><a href="papers/1b-4.pdf">64bitŃfƃfWebVXe</a>
535 <dl class="authorlist">
536 <dd> F (֐d͊Гd͋Zp)</dd>
537 <dd> (REp[EVXeY)</dd>
538 </dl>
539 </dd>
540 <dt>2B-1</dt>
541 <dd><a href="papers/2b-1.pdf">MyCloud: x_̃NEhpč\鍂ōMȕUXg[W</a>
542 <dl class="authorlist">
543 <dd>x (dCʐMw)</dd>
544 </dl>
545 </dd>
546 <dt>2B-3</dt>
547 <dd><a href="papers/2b-3.pdf">WebW̐iɑΉWebI[TOc[̊J</a>
548 <dl class="authorlist">
549 <dd> (cwۏʐM)</dd>
550 <dd>Y ` (cwۏʐM)</dd>
551 <dd> Q (cwlԉȊw)</dd>
552 </dl>
553 </dd>
554 <dt>3B-2</dt>
555 <dd><a href="papers/3b-2.pdf">KonohaɂÓIXNveBO̕@݌v</a>
556 <dl class="authorlist">
557 <dd>q NY (lw)</dd>
558 </dl>
559 </dd>
560 <dt>3B-3</dt>
561 <dd><a href="papers/3b-3.pdf">Prologւ̓q̓Ǝ</a>
562 <dl class="authorlist">
563 <dd>o zq (c`mww@ EfBA)</dd>
564 <dd> (c`mww@ EfBA)</dd>
565 </dl>
566 </dd>
567 <dt>3B-4</dt>
568 <dd><a href="papers/3b-4.pdf">vZ\tgF Python sf</a>
569 <dl class="authorlist">
570 <dd> (kVerifierLab)</dd>
571 </dl>
572 </dd>
573 <dt>4B-2</dt>
574 <dd><a href="papers/4b-2.pdf">IȃR[h̕]@\ɑ΂eXgJobWc[</a>
575 <dl class="authorlist">
576 <dd>{ ꌛ (cw)</dd>
577 <dd>h OX (cw)</dd>
578 <dd>[V Ǐ (cw)</dd>
579 </dl>
580 </dd>
581 <dd>ʂΏۂƂ錟VXe̍\z
582 <dl class="authorlist">
583 <dd>FJ q (LZpȊwwHwn)</dd>
584 <dd>Y Ɉ (LZpȊwwHwn)</dd>
585 <dd> K (LZpȊww񃁃fBAՃZ^[)</dd>
586 <dd>~ i (LZpȊwwHwn)</dd>
587 </dl>
588 </dd>
589 </dl>
590
591 <h4 class="sessiontitle"><a name="SOCIAL">e</a></h4>
592 <div class="sessioninfo">914() 18:00`20:00@e</div>
593
594 <h4 class="sessiontitle"><a name="SESSION6A">vO~O_(PPL)ZbV (4)</a></h4>
595 <div class="sessioninfo">915() 10:00`11:30@A@Fo F (}gw)</div>
596 <dl class="paperlist">
597 <dt>6A-1</dt>
598 <dd><a href="papers/6a-1.pdf">Dependent Polymorphism</a>
599 <dl class="authorlist">
600 <dt></dt><dd>Makoto Hamana (Gunma University)</dd>
601 </dl>
602 </dd>
603 <dt>6A-2</dt>
604 <dd><a href="papers/6a-2.pdf">R[hvZɊÂyʂȑꋉI[o[[h̐݌vƎ</a>
605 <dl class="authorlist">
606 <dt></dt><dd> Y (kwdCʐM)</dd>
607 <dd>x ~ (kwdCʐM)</dd>
608 </dl>
609 </dd>
610 <dt>6A-3</dt>
611 <dd><a href="papers/6a-3.pdf">Rg[Iy[^ƒ}`Xe[W̌^_</a>
612 <dl class="authorlist">
613 <dt></dt><dd>b YY (}gw)</dd>
614 <dd>TR K` (}gw)</dd>
615 </dl>
616 </dd>
617 </dl>
618
619 <h4 class="sessiontitle"><a name="SESSION6B">C^NeBuVXeƃ\tgEFA(ISS)ZbV</a></h4>
620 <div class="sessioninfo">915() 9:30`11:30@B@FuzY (}gw)</div>
621 <dl class="paperlist">
622 <dt>6B-1</dt>
623 <dd><a href="papers/6b-1.pdf">ɂs^̒Ǒ̌xc[</a>
624 <dl class="authorlist">
625 <dt></dt><dd>I (c`mww@EfBA )</dd>
626 <dd>zK (c`mw‹w)</dd>
627 </dl>
628 </dd>
629 <dt>6B-2</dt>
630 <dd><a href="papers/6b-2.pdf">J^O{sƂ̔rɂR[fBl[gxVXe̕]</a>
631 <dl class="authorlist">
632 <dt></dt><dd>R q (ŽRw@w)</dd>
633 </dl>
634 </dd>
635 <dt>6B-3</dt>
636 <dd><a href="papers/6b-3.pdf">^b`plʂɓ`ő̉SVMp͂ɂX|Cg̎ԔF</a>
637 <dl class="authorlist">
638 <dt></dt><dd>x (}gww@VXeHw)</dd>
639 <dd>uz Y (}gww@VXeHw)</dd>
640 <dd>c Y (}gww@VXeHw)</dd>
641 </dl>
642 </dd>
643 <dt>6B-4</dt>
644 <dd><a href="papers/6b-4.pdf">ew͂ɒڂ͎@</a>
645 <dl class="authorlist">
646 <dt></dt><dd> ^v</dd>
647 </dl>
648 </dd>
649 </dl>
650
651 <h4 class="sessiontitle"><a name="SESSION6C">ʃZbVF\tgEFAHw</a></h4>
652 <div class="sessioninfo">915() 9:30`12:00@C@F pF (w)</div>
653 <dl class="paperlist">
654 <dt>6C-1</dt>
655 <dd><a href="papers/6c-1.pdf">g”\JavaScriptR[fBO</a>
656 <dl class="authorlist">
657 <dt></dt><dd>K (ّw񗝍Hw)</dd>
658 <dd> (ЃlbgbNX)</dd>
659 <dd>R{ WY (mwȊw)</dd>
660 <dd> (Éww@Ȋw)</dd>
661 </dl>
662 </dd>
663 <dt>6C-2</dt>
664 <dd><a href="papers/6c-2.pdf">V[PXXCVOZppIuWFNgweXg̃oO@̒</a>
665 <dl class="authorlist">
666 <dt></dt><dd>X ~Y (ww@HwȏHwU)</dd>
667 <dd>c (ww@HwȏHwU)</dd>
668 </dl>
669 </dd>
670 <dt>6C-3</dt>
671 <dd><a href="papers/6c-3.pdf">\𓱓ANZX|V[Lq̒</a>
672 <dl class="authorlist">
673 <dt></dt><dd>c (}gww@VXeHw)</dd>
674 <dd>J _ (}gww@VXeHw)</dd>
675 <dd> aF (}gww@VXeHw)</dd>
676 </dl>
677 </dd>
678 <dt>6C-4</dt>
679 <dd><a href="papers/6c-4.pdf">AjWebVXe: AjaxAvP[VXMLLqɂ鎩</a>
680 <dl class="authorlist">
681 <dt></dt><dd>F{ _I (HƑww@񗝍Hw)</dd>
682 <dd>C q (HƑww@񗝍Hw)</dd>
683 <dd>c Ym (HƑww@񗝍Hw)</dd>
684 </dl>
685 </dd>
686 <dt>6C-5</dt>
687 <dd><a href="papers/6c-5.pdf">{уvO~O̎H`vfp</a>
688 <dl class="authorlist">
689 <dt></dt><dd>n Sl (cw Hw)</dd>
690 <dd> F (cw Hw)</dd>
691 </dl>
692 </dd>
693 </dl>
694
695 <h4 class="sessiontitle"><a name="PANEL">\tgEFA_ZbVFpl_</a></h4>
696 <div class="sessioninfo">915() 13:00`15:00@A</div>
697 <dl class="paperlist">
698 <dd>\tgEFA_āC΂́H
699 <div class="extrainfo">
700 <ul>
701 <li>ǂ\tgEFAJ</li>
702 <li>ǂ\tgEFA_</li>
703 <li>\tgEFA_̉ʂ</li>
704 </ul>
705 </div>
706 <dl class="authorlist">
707 <dd>iF| Y (w_)</dd>
708 <dd>plXgFc V (_ˑw)Cc aI (cw)C F (HƑw)C Mp (Ócmw)</dd>
709 </dl>
710 </dd>
711 </dl>
712
713 <h4 class="sessiontitle"><a name="SESSION7B">ʃZbVF[Ux</a></h4>
714 <div class="sessioninfo">915() 13:00`15:00@B@FO aj (}gw)</div>
715 <dl class="paperlist">
716 <dt>7B-1</dt>
717 <dd><a href="papers/7b-1.pdf">X}[gtHpdbΉɂΐlxVXe̐݌v</a>
718 <dl class="authorlist">
719 <dt></dt><dd>R TV (ȑwHw)</dd>
720 <dd>a Y (ȑwHw)</dd>
721 </dl>
722 </dd>
723 <dt>7B-2</dt>
724 <dd><a href="papers/7b-2.pdf">ɘa@pi[XEXPW[OVXe̒</a>
725 <dl class="authorlist">
726 <dt></dt><dd> K (ȑww@ Hw ocHwU)</dd>
727 <dd>ac El (ȑww@ Hw ocHwU)</dd>
728 </dl>
729 </dd>
730 <dt>7B-3</dt>
731 <dd><a href="papers/7b-3.pdf">𗘗p̃V[</a>
732 <dl class="authorlist">
733 <dt></dt><dd>n NY (ww@Hwn)</dd>
734 <dd>R W (wlHHwZ^[)</dd>
735 </dl>
736 </dd>
737 <dt>7B-4</dt>
738 <dd><a href="papers/7b-4.pdf">JvWFNgɂ鎖ᕪ͂ɊÂc^쐬x</a>
739 <dl class="authorlist">
740 <dt></dt><dd>xc (͂Ėw)</dd>
741 <dd> (͂Ėw)</dd>
742 <dd>ɓ b (͂Ėw)</dd>
743 </dl>
744 </dd>
745 </dl>
746
747 <h4 class="sessiontitle"><a name="SESSION7C">ʃZbVF؁EeXg</a></h4>
748 <div class="sessioninfo">915() 13:00`15:00@C@F [L (쏊^w)</div>
749 <dl class="paperlist">
750 <dt>7C-1</dt>
751 <dd><a href="papers/7c-1.pdf">񐧌VXeLqf̌ؗpLqւ̕ϊƌI</a>
752 <dl class="authorlist">
753 <dt></dt><dd> đ (w)</dd>
754 <dd> h (HƍwZ)</dd>
755 <dd>c (w)</dd>
756 <dd>v P ( 쏊)</dd>
757 <dd> E ( 쏊)</dd>
758 <dd> F ( 쏊)</dd>
759 </dl>
760 </dd>
761 <dt>7C-2</dt>
762 <dd><a href="papers/7c-2.pdf">sxɈˑVXě`ƌ</a>
763 <dl class="authorlist">
764 <dd> Fv (HƑw)</dd>
765 <dt></dt><dd> ^ (HƑw)</dd>
766 </dl>
767 </dd>
768 <dt>7C-3</dt>
769 <dd><a href="papers/7c-3.pdf">”\RXg팸̂߂̖Q[P@</a>
770 <dl class="authorlist">
771 <dt></dt><dd> (HƑww@񗝍HwȌvZHwU)</dd>
772 <dd> Ύ (HƑww@񗝍HwȌvZHwU)</dd>
773 <dd>č (HƑww@񗝍HwȌvZHwU)</dd>
774 </dl>
775 </dd>
776 <dt>7C-4</dt>
777 <dd><a href="papers/7c-4.pdf">CANiւ̃fx[XeXgKp̎g</a>
778 <dl class="authorlist">
779 <dt></dt><dd>{ \j (YƋZp)</dd>
780 <dd> C (lTXGNgjNX)</dd>
781 <dd>؉ (YƋZp)</dd>
782 <dd> N (lTXGNgjNX)</dd>
783 <dd> O (lTXGNgjNX)</dd>
784 </dl>
785 </dd>
786 </dl>
787
788 <h4 class="sessiontitle"><a name="SESSION8A">ʃZbVFvO~O (2)</a></h4>
789 <div class="sessioninfo">915() 15:15`16:45@A@F ^ (HƑw)</div>
790 <dl class="paperlist">
791 <dt><a name="SPECIAL8A1">8A-1</a></dt>
792 <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>
793 <dl class="authorlist">
794 <dt></dt><dd>Naoki Kobayashi (Tohoku University)</dd>
795 <dd>Naoshi Tabuchi (Tohoku University)</dd>
796 <dd>Hiroshi Unno (Tohoku University)</dd>
797 </dl>
798 <div class="extrainfo">oTF37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010), pp. 495-508, 2010</div>
799 </dd>
800 <dt>8A-2</dt>
801 <dd><a href="papers/8a-2.pdf">oH񋓎葱pvOؖ@</a>
802 <dl class="authorlist">
803 <dt></dt><dd> N (HƑw)</dd>
804 </dl>
805 </dd>
806 <dt>8A-3</dt>
807 <dd><a href="papers/8a-3.pdf">Unification algorithm based on &mu; equivalence</a>
808 <dl class="authorlist">
809 <dt></dt><dd>Fumihiko Yamaguchi (Department of Informations Sciences, Graduate School of Tokyo University of Science)</dd>
810 </dl>
811 </dd>
812 </dl>
813
814 <h4 class="sessiontitle"><a name="SESSION8B">ʃZbVFŽ</a></h4>
815 <div class="sessioninfo">915() 15:15`16:45@B@FێR M (w)</div>
816 <dl class="paperlist">
817 <dt>8B-1</dt>
818 <dd><a href="papers/8b-1.pdf">\tgEFAJvWFNg̒TI͂x鎋oI̓c[</a>
819 <dl class="authorlist">
820 <dt></dt><dd> (}gww@ VXeHw Rs[^TCGXU)</dd>
821 <dd>O aj (}gww@ VXeHw Rs[^TCGXU)</dd>
822 <dd>c Y (}gww@ VXeHw Rs[^TCGXU)</dd>
823 </dl>
824 </dd>
825 <dt>8B-2</dt>
826 <dd><a href="papers/8b-2.pdf">Java3DpƃNX^O</a>
827 <dl class="authorlist">
828 <dt></dt><dd>Rc T (ȑw Hw ocHwU)</dd>
829 <dd>ac El (ȑwHwocHw)</dd>
830 </dl>
831 </dd>
832 <dt>8B-3</dt>
833 <dd><a href="papers/8b-3.pdf">vO~Os‹u܂߁v̐݌v</a>
834 <dl class="authorlist">
835 <dt></dt><dd> Nj (_ˑw wpՃZ^[)</dd>
836 </dl>
837 </dd>
838 </dl>
839
840 <h4 class="sessiontitle"><a name="SESSION8C">ʃZbVF_</a></h4>
841 <div class="sessioninfo">915() 15:15`16:45@C@FԌ r (_ˑw)</div>
842 <dl class="paperlist">
843 <dt>8C-1</dt>
844 <dd><a href="papers/8c-1.pdf">l܂ރf[^̊wKɑΉILPVXe̍\z</a>
845 <dl class="authorlist">
846 <dt></dt><dd> (ȑw w@ Hw ocHwU)</dd>
847 <dd>ac El (ȑw Hw ocHw)</dd>
848 </dl>
849 </dd>
850 <dt>8C-2</dt>
851 <dd><a href="papers/8c-2.pdf">Ђ‹c_؂ɑ΂铮IsASY</a>
852 <dl class="authorlist">
853 <dd> iY (֐w@w)</dd>
854 <dt></dt><dd> aq (֐w@w)</dd>
855 </dl>
856 </dd>
857 <dt>8C-3</dt>
858 <dd><a href="papers/8c-3.pdf">wƖ@wZVẅjuris-informatics̒</a>
859 <dl class="authorlist">
860 <dt></dt><dd> (wё)</dd>
861 </dl>
862 </dd>
863 </dl>
864
865 <h4 class="sessiontitle"><a name="CLOSING">‰Ewܕ\</a></h4>
866 <div class="sessioninfo">915() 17:00`17:30@A</div>
867
868 <!-- ================================================================ -->
869
870 <h2>gD</h2>
871
872 <h3></h3>
873
874 <dl>
875 <dd>{\tgEFAȊw</dd>
876 </dl>
877
878 <h3>ψ</h3>
879
880 <dl>
881 <dd> Mp (Ócmw)</dd>
882 </dl>
883
884 <h3>^cψ</h3>
885
886 <dl>
887 <dd>Vc Pv (Ócmw)</dd>
888 </dl>
889
890 <h3>vOψ</h3>
891
892 <dl>
893 <dt>ψ</dt>
894 <dd>ו j (w)</dd>
895 <dt>ψ</dt>
896 <dd>܏\ ~ (sw)</dd>
897 <dd>ɒmn G (_w猤)</dd>
898 <dd> p (dCʐMw)</dd>
899 <dd>]{ l (w)</dd>
900 <dd>R bO (dCʐMw)</dd>
901 <dd>TR K` (}gw)</dd>
902 <dd>I (w)</dd>
903 <dd>͖ (c`mw)</dd>
904 <dd> F (HƑw)</dd>
905 <dd>uzY (}gw)</dd>
906 <dd>Z pY (kw)</dd>
907 <dd>t (HƑw)</dd>
908 <dd> j (c`mw)</dd>
909 <dd> Y (_Hw)</dd>
910 <dd> ^ (HƑw)</dd>
911 <dd>Ԍ r (_ˑw)</dd>
912 <dd> U] (w)</dd>
913 <dd>o F (}gw)</dd>
914 </dl>
915
916 <h3>ZbVR[fBl[^</h3>
917
918 <dl>
919 <dt>vO~O_(PPL)ZbV</dt>
920 <dd>t (\CHƑw)</dd>
921 <dd>{ @G (ȑw)</dd>
922 <dd> U] (w)</dd>
923 <dd>o F (}gw)</dd>
924 <dt>C^NeBuVXeƃ\tgEFA(ISS)ZbV</dt>
925 <dd>uz Y (}gw)</dd>
926 <dt>C^[lbgeNmW[(ITECH)ZbV</dt>
927 <dd> j (c`mw)</dd>
928 <dt>fBy_uVXe(DSW)ZbV</dt>
929 <dd>͖ (\Cc`mw)</dd>
930 <dd> (BHƑw)</dd>
931 <dd>Oc rs (w)</dd>
932 <dt>lbg[Nnm\(EIN)ZbV</dt>
933 <dd>I (w)</dd>
934 <dt>\tgEFA_ZbV</dt>
935 <dd>ɒmn G (\C_w猤)</dd>
936 <dd> Y (_Hw)</dd>
937 <dd>Ԍ r (_ˑw)</dd>
938 <dt>wZbV</dt>
939 <dd>R bO (dCʐMw)</dd>
940 <dt>fE|X^[ZbV</dt>
941 <dd>]{ l (w)</dd>
942 </dl>
943
944 </div>
945
946 </body>
947
948 </html>