Mercurial > hg > Papers > 2010 > JSST2010_09
changeset 0:df90119943ed default tip
ソフトウェア科学大会 - 資料
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
--- /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="wS" 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_āĆ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 (cwHwȏ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">nCubhHydLa̐錾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ünther (Tokyo Institute of Technology / Universitä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> (swwpfBAZ^[)</dd> + <dd> B (swwpfBAZ^[)</dd> + <dd>O m (swwpfBAZ^[)</dd> + <dd>≺ j (swwpfBAZ^[)</dd> + <dd> _ (swwpfBAZ^[)</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ȊwwfBAՃ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`mww)</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 (ّwHw)</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_āĆ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">ʃZbVFEeXg</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 μ 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~Osu܂߁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>