|
0
|
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="wS" 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_āĆ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 (cwHwȏ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">nCubhHydLa̐錾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ünther (Tokyo Institute of Technology / Universitä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> (swwpfBAZ^[)</dd>
|
|
|
477 <dd> B (swwpfBAZ^[)</dd>
|
|
|
478 <dd>O m (swwpfBAZ^[)</dd>
|
|
|
479 <dd>≺ j (swwpfBAZ^[)</dd>
|
|
|
480 <dd> _ (swwpfBAZ^[)</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ȊwwfBAՃ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`mww)</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 (ّwHw)</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_āĆ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">ʃZbVFEeXg</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 μ 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~Osu܂߁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>
|
