# HG changeset patch # User Shinji KONO # Date 1284791677 -32400 # Node ID df90119943edd932c21a1bd640e499f9db7b0863 ソフトウェア科学大会 - 資料 diff -r 000000000000 -r df90119943ed .checksum.md5 --- /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 diff -r 000000000000 -r df90119943ed header.png Binary file header.png has changed diff -r 000000000000 -r df90119943ed index.html --- /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 @@ + + + + + + +{\tgEFAȊw27 + + + + + + + +
+ +

Tv

+ +

ҍu

+ + + +

pl_ (\tgEFA_ZbV)

+ + + +

ʍu

+ + + +

\

+ + + +

vO

+ + + + + + + + + + + + + + + + +
ʉ
(5101)		A
(5206)		B
(5201)		C
(5202)		fE|X^[e
(wz[)
913()9:30`11:30PPL (1)DSWw (1)
13:00`15:00PPL (2)\tgEFA_ (1)w (2)
15:15`17:15EIN/ITECH\tgEFA_ (2)w (3)
914()9:30`11:30PPL (3)\tgEFA_ (3)w (4)
13:00`13:30AE\
13:30`15:00ҍu
15:15`16:45vO~O (1)EUvgR
16:45`17:45fE|X^[
18:00`20:00e
915()9:30`12:00PPL (4)ISS\tgEFAHw
13:00`15:00pl_[Ux؁EeXg
15:15`16:45vO~O (2)Ž_
17:00`17:30‰Ewܕ\
+ + + +

vO~O_(PPL)ZbV (1)

+
913() 10:00`11:30@A@Ft (HƑw)
+
+
1A-1
+
_ɂ|C^[vO؂̊S +
+
c ^ (w)
+
Wei-Ngan Chin (National University of Singapore)
+
Mahmudul Faisal Al Ameen (Graduate University for Advanced Studies)
+
+
+
1A-2
+
q[ṽIuWFNg̏ԂɊւ郂f +
+
c F (w)
+
Oc rs (w)
+
V (w)
+
+
+
1A-3
+
rbgx\T|[gᐅɂBDD𗘗pvO؂Ɍ +
+
G (sww@w)
+
+
+
+ +

fBy_uVXe(DSW)ZbV

+
913() 9:30`11:30@B@F͖ (c`mw)
+
+
1B-1
+
Cell/B.E.SPEœ삷SOSĎVXe +
+
ic (BHƑw)
+
(BHƑw)
+
+
+
1B-2
+
nCubhVXefOHydLa nɂsASY +
+
aJ r (cww@Hwȏ񗝍HwU)
+
c mY (cww@Hwȏ񗝍HwU)
+
ו j (w)
+
c aI (cwHwp@񗝍Hw)
+
+
+
1B-3
+
SATZppgeXgP[X +
+
Ԍ r (_ˑw)
+
t (_ˑww@VXew)
+
c V (_ˑw)
+
(w)
+
+
+
1B-4
+
64bitŃfƃfWebVXe +
+
 F (֐d͊Гd͋Zp)
+
(REp[EVXeY)
+
+
+
+ +

vO~O_(PPL)ZbV (2)

+
913() 13:00`15:00@A@F{ @G (ȑw)
+
+
2A-1
+
ʍuF錾IȃRpCdlLqx邽߂̎ʎqɂƂÂԕ\ ({\tgEFAȊw14_܎ܘ_) +
+
pY (쏊VXeJ)
+
+
oTFRs[^\tgEFA, Vol. 25, No. 3, pp.113-134, 2008
+
+
2A-2
+
Towards JIT compilation for IO language +
+
ULt Tt (HƑw)
+
t (HƑw)
+
ĎR x (w)
+
+
+
2A-3
+
񏈗̂߂Javan̉ +
+
͓J vm ({ACEr[EGijb)
+
ꑥ ({ACEr[EGijb)
+
쎛 ({ACEr[EGijb)
+
+
+
2A-4
+
Kide: IȃW[[V̂߂ IDE T|[g +
+
V \ (HƑw)
+
x] ϑ (HƑw)
+
t (HƑw)
+
+
+
+ +

\tgEFA_ZbV (1)

+
913() 13:30`15:00@B@F K (HƑw)
+
+
2B-1
+
MyCloud: x_̃NEhpč\鍂ōMȕUXg[W +
+
x (dCʐMw)
+
+
+
2B-2
+
̃t@CǗEFuVXe +
+
mm (֐w w@ Hw)
+
| V (֐w VXeHw dCdqHw)
+
+
+
2B-3
+
WebW̐iɑΉWebI[TOc[̊J +
+
(cwۏʐM)
+
Y ` (cwۏʐM)
+
Q (cwlԉȊw)
+
+
+
+ +

lbg[Nnm\(EIN)EC^[lbgeNmW[(ITECH)ZbV

+
913() 15:15`16:45@A@FI (w)
+
+
3A-1
+
ʍuFlԊ֌W̏dȂƒR~jeB\̒o ({\tgEFAȊw13_܎ܘ_) +
+
m ({dMdb NTT˂ƌ)
+
i ({dMdb NTT˂ƌ)
+
ē a ({dMdb NTTR~jP[VȊwb)
+
Rc m ({dMdb NTTR~jP[VȊwb)
+
+
oTFRs[^\tgEFA, Vol. 24, No. 1, pp. 81-90, 2007
+
+
3A-2
+
lbg[N\̋ǏIȕωƓۂ̊֌W +
+
(wHwn)
+
R W (wlHHwZ^[)
+
+
+
3A-3
+
DarknetɓUDPpPbg̓ +
+
c K (cww@Hwȏ񗝍HwU)
+
c (w)
+
A ouv (@w)
+
r (cwHwȏ񗝍HwU)
+
+
+
+ +

\tgEFA_ZbV (2)

+
913() 15:15`17:15@B@F p (dCʐMw)
+
+
3B-1
+
LMNtalsn̕񃂃fւ̓WJ +
+
㒬 l (cww@Hw)
+
x חS (cww@Hw)
+
c aI (cwHwp@)
+
+
+
3B-2
+
KonohaɂÓIXNveBO̕@݌v +
+
q NY (lw)
+
+
+
3B-3
+
Prologւ̓q̓Ǝ +
+
o zq (c`mww@ EfBA)
+
(c`mww@ EfBA)
+
+
+
3B-4
+
vZ\tgF Python sf +
+
(kVerifierLab)
+
+
+
+ +

vO~O_(PPL)ZbV (3)

+
914() 9:30`11:30@A@F U] (w)
+
+
4A-1
+
Java ̂߂̈ÖٓIɌ^`\ +
+
v Mi (HƑw w@ EvZȊwU)
+
t (HƑw w@ EvZȊwU)
+
+
+
4A-2
+
\͂̍AhoCX^SɋLqłAXyNgwStrongRelaxAJ +
+
R w (w)
+
’J mK (k[ȊwZpw@w)
+
pF (w)
+
+
+
4A-3
+
nCubh񌾌HydLa̐錾IӖ_ +
+
c aI (cw)
+
ו j (w)
+
Έ (igw)
+
+
+
4A-4
+
Modifying Ruby for Designing and Implementing DSLs +
+
Sebastian Günther (Tokyo Institute of Technology / Universität Magdeburg)
+
+
+
+ +

\tgEFA_ZbV (3)

+
914() 10:30`11:30@B@F F (HƑw)
+
+
4B-1
+
IuWFNgw{vO~O̎ +
+
c (c`mw)
+
Y w (c`mw)
+
(c`mw)
+
+
+
4B-2
+
IȃR[h̕]@\ɑ΂eXgJobWc[ +
+
{ ꌛ (cw)
+
h OX (cw)
+
[V Ǐ (cw)
+
+
+
+ +

AE\

+
914() 13:00`13:30@ʉ
+ +

ҍu

+
914() 13:30`15:00@ʉ@Fו j (w)
+
+
y\tgEFAn +
+
| Y (w_)
+
+
TvF|̎g̊܂߂āC܂ŊւĂX̃\tgEFAJɂuyvɏœ_킹ďЉƂƂɁCꂪñGlM[ɂ‚Ȃ̂ł͂ȂƂWJĂ݂D
+
+
+ +

ʃZbVFvO~O (1)

+
914() 15:15`16:45@A@FTR K` (}gw)
+
+
5A-1
+
ʍuF\IӖ_ɊÂp^[}b`ORpC̍\zƎ ({\tgEFAȊw13_܎ܘ_) +
+
x ~ (kwdCʐM)
+
㗍 q (ЃAhoeXg)
+
+
oTFRs[^\tgEFA, Vol. 24, No. 2, pp. 113-132, 2007
+
+
5A-2
+
RNVf[^ɑ΂Ẵp^[}b`̎ +
+
] u (w)
+
+
+
5A-3
+
̗ǂœKoH⍇VXe̎ +
+
X (kwdCʐM)
+
+
+
+ +

ʃZbVFEU

+
914() 15:15`16:45@B@F G (sw)
+
+
5B-1
+
XNvgXcryptɂWusɊÂ񉻃c[ +
+
\ i (sww@wȃVXeȊwU)
+
(swwp񃁃fBAZ^[)
+
B (swwp񃁃fBAZ^[)
+
O m (swwp񃁃fBAZ^[)
+
≺ j (swwp񃁃fBAZ^[)
+
_ (swwp񃁃fBAZ^[)
+
+
+
5B-2
+
UnbVe[uɂȓd͐lXg[WVXe +
+
OH B (}gww@ VXeHw Rs[^TCGXU)
+
J _ (}gww@ VXeHw Rs[^TCGXU)
+
͋` (}gww@ VXeHw Rs[^TCGXU)
+
aF (}gww@ VXeHw Rs[^TCGXU)
+
+
+
5B-3
+
A Construction Method for Scalable Peer-Assisted Video-on-Demand Systems +
+
Huijun Li (Tokyo Institute of Technology)
+
Takehiro Tokuda (Tokyo Institute of Technology)
+
+
+
+ +

ʃZbVFvgR

+
914() 15:15`16:45@C@FR{ (tw)
+
+
5C-1
+
ÍԂ̊֌W𐄘_̌nɑ΂”\EӖ_ +
+
Ύ (HƑww@񗝍HwȌvZHwU)
+
(HƑww@񗝍HwȌvZHwU^NTTf[^ ZpJ{ ITA[LeN`ZLeBZpZ^)
+
č (HƑww@񗝍HwȌvZHwU)
+
+
+
5C-2
+
ʐMvgR͂`̌n̈Ӗ_ +
+
(HƑw w@񗝍Hw vZHwU^NTTf[^ ZpJ{ ITA[LeN`ZLeBZpZ^)
+
Ύ (HƑw w@񗝍Hw vZHwU)
+
č (HƑw w@񗝍Hw vZHwU)
+
+
+
5C-3
+
`@poPbg@̌ +
+
iY M (k[ȊwZpw@w)
+
t EP (k[ȊwZpw@w)
+
g (k[ȊwZpw@w)
+
+
+
+ +

fE|X^[ZbV

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

e

+
914() 18:00`20:00@e
+ +

vO~O_(PPL)ZbV (4)

+
915() 10:00`11:30@A@Fo F (}gw)
+
+
6A-1
+
Dependent Polymorphism +
+
Makoto Hamana (Gunma University)
+
+
+
6A-2
+
R[hvZɊÂyʂȑꋉI[o[[h̐݌vƎ +
+
Y (kwdCʐM)
+
x ~ (kwdCʐM)
+
+
+
6A-3
+
Rg[Iy[^ƒ}`Xe[W̌^_ +
+
b YY (}gw)
+
TR K` (}gw)
+
+
+
+ +

C^NeBuVXeƃ\tgEFA(ISS)ZbV

+
915() 9:30`11:30@B@FuzY (}gw)
+
+
6B-1
+
ɂs^̒Ǒ̌xc[ +
+
I (c`mww@EfBA )
+
zK (c`mw‹w)
+
+
+
6B-2
+
J^O{sƂ̔rɂR[fBl[gxVXe̕] +
+
R q (ŽRw@w)
+
+
+
6B-3
+
^b`plʂɓ`ő̉SVMp͂ɂX|Cg̎ԔF +
+
x (}gww@VXeHw)
+
uz Y (}gww@VXeHw)
+
c Y (}gww@VXeHw)
+
+
+
6B-4
+
ew͂ɒڂ͎@ +
+
^v
+
+
+
+ +

ʃZbVF\tgEFAHw

+
915() 9:30`12:00@C@F pF (w)
+
+
6C-1
+
g”\JavaScriptR[fBO +
+
K (ّw񗝍Hw)
+
(ЃlbgbNX)
+
R{ WY (mwȊw)
+
(Éww@Ȋw)
+
+
+
6C-2
+
V[PXXCVOZppIuWFNgweXg̃oO@̒ +
+
X ~Y (ww@HwȏHwU)
+
c (ww@HwȏHwU)
+
+
+
6C-3
+
\𓱓ANZX|V[Lq̒ +
+
c (}gww@VXeHw)
+
J _ (}gww@VXeHw)
+
aF (}gww@VXeHw)
+
+
+
6C-4
+
AjWebVXe: AjaxAvP[VXMLLqɂ鎩 +
+
F{ _I (HƑww@񗝍Hw)
+
C q (HƑww@񗝍Hw)
+
c Ym (HƑww@񗝍Hw)
+
+
+
6C-5
+
{уvO~O̎H`vfp +
+
n Sl (cw Hw)
+
F (cw Hw)
+
+
+
+ +

\tgEFA_ZbVFpl_

+
915() 13:00`15:00@A
+
+
\tgEFA_āC΂́H +
+
    +
  • ǂ\tgEFAJ
    • +
  • ǂ\tgEFA_
    • +
  • \tgEFA_̉ʂ
    • +
+
+
+
iF| Y (w_)
+
plXgFc V (_ˑw)Cc aI (cw)C F (HƑw)C Mp (Ócmw)
+
+
+
+ +

ʃZbVF[Ux

+
915() 13:00`15:00@B@FO aj (}gw)
+
+
7B-1
+
X}[gtHpdbΉɂΐlxVXe̐݌v +
+
R TV (ȑwHw)
+
a Y (ȑwHw)
+
+
+
7B-2
+
ɘa@pi[XEXPW[OVXe̒ +
+
K (ȑww@ Hw ocHwU)
+
ac El (ȑww@ Hw ocHwU)
+
+
+
7B-3
+
𗘗p̃V[ +
+
n NY (ww@Hwn)
+
R W (wlHHwZ^[)
+
+
+
7B-4
+
JvWFNgɂ鎖ᕪ͂ɊÂc^쐬x +
+
xc (͂Ėw)
+
(͂Ėw)
+
ɓ b (͂Ėw)
+
+
+
+ +

ʃZbVF؁EeXg

+
915() 13:00`15:00@C@F [L (쏊^w)
+
+
7C-1
+
񐧌VXeLqf̌ؗpLqւ̕ϊƌI +
+
đ (w)
+
h (HƍwZ)
+
c (w)
+
v P ( 쏊)
+
E ( 쏊)
+
F ( 쏊)
+
+
+
7C-2
+
sxɈˑVXě`ƌ +
+
Fv (HƑw)
+
^ (HƑw)
+
+
+
7C-3
+
”\RXg팸̂߂̖Q[P@ +
+
(HƑww@񗝍HwȌvZHwU)
+
Ύ (HƑww@񗝍HwȌvZHwU)
+
č (HƑww@񗝍HwȌvZHwU)
+
+
+
7C-4
+
CANiւ̃fx[XeXgKp̎g +
+
{ \j (YƋZp)
+
C (lTXGNgjNX)
+
؉ (YƋZp)
+
N (lTXGNgjNX)
+
O (lTXGNgjNX)
+
+
+
+ +

ʃZbVFvO~O (2)

+
915() 15:15`16:45@A@F ^ (HƑw)
+
+
8A-1
+
ʍuFHigher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification (ACM POPL 2010̑_) +
+
Naoki Kobayashi (Tohoku University)
+
Naoshi Tabuchi (Tohoku University)
+
Hiroshi Unno (Tohoku University)
+
+
oTF37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010), pp. 495-508, 2010
+
+
8A-2
+
oH񋓎葱pvOؖ@ +
+
N (HƑw)
+
+
+
8A-3
+
Unification algorithm based on μ equivalence +
+
Fumihiko Yamaguchi (Department of Informations Sciences, Graduate School of Tokyo University of Science)
+
+
+
+ +

ʃZbVFŽ

+
915() 15:15`16:45@B@FێR M (w)
+
+
8B-1
+
\tgEFAJvWFNg̒TI͂x鎋oI̓c[ +
+
(}gww@ VXeHw Rs[^TCGXU)
+
O aj (}gww@ VXeHw Rs[^TCGXU)
+
c Y (}gww@ VXeHw Rs[^TCGXU)
+
+
+
8B-2
+
Java3DpƃNX^O +
+
Rc T (ȑw Hw ocHwU)
+
ac El (ȑwHwocHw)
+
+
+
8B-3
+
vO~Os‹u܂߁v̐݌v +
+
Nj (_ˑw wpՃZ^[)
+
+
+
+ +

ʃZbVF_

+
915() 15:15`16:45@C@FԌ r (_ˑw)
+
+
8C-1
+
l܂ރf[^̊wKɑΉILPVXe̍\z +
+
(ȑw w@ Hw ocHwU)
+
ac El (ȑw Hw ocHw)
+
+
+
8C-2
+
Ђ‹c_؂ɑ΂铮IsASY +
+
iY (֐w@w)
+
aq (֐w@w)
+
+
+
8C-3
+
wƖ@wZVẅjuris-informatics̒ +
+
(wё)
+
+
+
+ +

‰Ewܕ\

+
915() 17:00`17:30@A
+ + + +

gD

+ +

+ +
+
{\tgEFAȊw
+
+ +

ψ

+ +
+
Mp (Ócmw)
+
+ +

^cψ

+ +
+
Vc Pv (Ócmw)
+
+ +

vOψ

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

ZbVR[fBl[^

+ +
+
vO~O_(PPL)ZbV
+
t (\CHƑw)
+
{ @G (ȑw)
+
U] (w)
+
o F (}gw)
+
C^NeBuVXeƃ\tgEFA(ISS)ZbV
+
uz Y (}gw)
+
C^[lbgeNmW[(ITECH)ZbV
+
j (c`mw)
+
fBy_uVXe(DSW)ZbV
+
͖ (\Cc`mw)
+
(BHƑw)
+
Oc rs (w)
+
lbg[Nnm\(EIN)ZbV
+
I (w)
+
\tgEFA_ZbV
+
ɒmn G (\C_w猤)
+
Y (_Hw)
+
Ԍ r (_ˑw)
+
wZbV
+
R bO (dCʐMw)
+
fE|X^[ZbV
+
]{ l (w)
+
+ +
+ + + + diff -r 000000000000 -r df90119943ed jssst.png Binary file jssst.png has changed diff -r 000000000000 -r df90119943ed papers/1a-1.pdf Binary file papers/1a-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/1a-2.pdf Binary file papers/1a-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/1a-3.pdf Binary file papers/1a-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/1b-1.pdf Binary file papers/1b-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/1b-2.pdf Binary file papers/1b-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/1b-3.pdf Binary file papers/1b-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/1b-4.pdf Binary file papers/1b-4.pdf has changed diff -r 000000000000 -r df90119943ed papers/2a-1.pdf Binary file papers/2a-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/2a-2.pdf Binary file papers/2a-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/2a-3.pdf Binary file papers/2a-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/2a-4.pdf Binary file papers/2a-4.pdf has changed diff -r 000000000000 -r df90119943ed papers/2b-1.pdf Binary file papers/2b-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/2b-2.pdf Binary file papers/2b-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/2b-3.pdf Binary file papers/2b-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/3a-1.pdf Binary file papers/3a-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/3a-2.pdf Binary file papers/3a-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/3a-3.pdf Binary file papers/3a-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/3b-1.pdf Binary file papers/3b-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/3b-2.pdf Binary file papers/3b-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/3b-3.pdf Binary file papers/3b-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/3b-4.pdf Binary file papers/3b-4.pdf has changed diff -r 000000000000 -r df90119943ed papers/4a-1.pdf Binary file papers/4a-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/4a-2.pdf Binary file papers/4a-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/4a-3.pdf Binary file papers/4a-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/4a-4.pdf Binary file papers/4a-4.pdf has changed diff -r 000000000000 -r df90119943ed papers/4b-1.pdf Binary file papers/4b-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/4b-2.pdf Binary file papers/4b-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/5a-1.pdf Binary file papers/5a-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/5a-2.pdf Binary file papers/5a-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/5a-3.pdf Binary file papers/5a-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/5b-1.pdf Binary file papers/5b-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/5b-2.pdf Binary file papers/5b-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/5b-3.pdf Binary file papers/5b-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/5c-1.pdf Binary file papers/5c-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/5c-2.pdf Binary file papers/5c-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/5c-3.pdf Binary file papers/5c-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/6a-1.pdf Binary file papers/6a-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/6a-2.pdf Binary file papers/6a-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/6a-3.pdf Binary file papers/6a-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/6b-1.pdf Binary file papers/6b-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/6b-2.pdf Binary file papers/6b-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/6b-3.pdf Binary file papers/6b-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/6b-4.pdf Binary file papers/6b-4.pdf has changed diff -r 000000000000 -r df90119943ed papers/6c-1.pdf Binary file papers/6c-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/6c-2.pdf Binary file papers/6c-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/6c-3.pdf Binary file papers/6c-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/6c-4.pdf Binary file papers/6c-4.pdf has changed diff -r 000000000000 -r df90119943ed papers/6c-5.pdf Binary file papers/6c-5.pdf has changed diff -r 000000000000 -r df90119943ed papers/7b-1.pdf Binary file papers/7b-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/7b-2.pdf Binary file papers/7b-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/7b-3.pdf Binary file papers/7b-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/7b-4.pdf Binary file papers/7b-4.pdf has changed diff -r 000000000000 -r df90119943ed papers/7c-1.pdf Binary file papers/7c-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/7c-2.pdf Binary file papers/7c-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/7c-3.pdf Binary file papers/7c-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/7c-4.pdf Binary file papers/7c-4.pdf has changed diff -r 000000000000 -r df90119943ed papers/8a-2.pdf Binary file papers/8a-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/8a-3.pdf Binary file papers/8a-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/8b-1.pdf Binary file papers/8b-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/8b-2.pdf Binary file papers/8b-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/8b-3.pdf Binary file papers/8b-3.pdf has changed diff -r 000000000000 -r df90119943ed papers/8c-1.pdf Binary file papers/8c-1.pdf has changed diff -r 000000000000 -r df90119943ed papers/8c-2.pdf Binary file papers/8c-2.pdf has changed diff -r 000000000000 -r df90119943ed papers/8c-3.pdf Binary file papers/8c-3.pdf has changed