渕野 昌
神戸大学大学院 システム情報学研究科
於
"#$
!
酒井 拓史
"#$%&'"& ("% $ " )*+*"
!"&'"" "
,"- )*++. "
/-0
¾ 1
/-0
1 2 3
2 3
4
½
1
½
4 1 4"
5,
·
6 ,7- -0
-0
/-0
8-0
-0
-0
/-0
)
¾
8-0
● /"& "#$%&'"& ("% $ "
/"& '"&!""
/-0
● /"& "#$%&'"& ("% $ "
● /"& "#$%&'"& ("% $ "
¾
-0 2
¾ 3
-0 2
¾ 3
/-0
¾
8-0
¾
● #"
"
● "5
(/9:/-0
¾
(/9:
● "
/-0 ; < =
> " &/-0 ;
1
/ &
½
%
% " /"&& ?("@ )**) ,7-
/ & &
½
6' A
6' A" /"&&
/
½
&
½
6
6 " /"?"/ +BCD ,7-
/
½
&
½
!E
!E"
/-0 ; 1
/ 4 &
½
&
"
/"&& ?/ +BCD ,7-
/ @ &
½
&
" /"- )*++.?/" +BBF ,7-
/-0
½
"
/-0 ,G
H" ! 1
/-0
H"
/-0 ! "
' "
; & # ;
1
·
""
·
?
!
! ?
!
Æ !
& ! Æ
Æ
"
I ; & / 5
; !
1
·
"
·
"" "
!
&!
?
#2!
3
& "" # 4!
"
J" " 9!& I
/
5 "
I ; & / 5
; !
1
·
"
·
"" "
!
&!
?
#2!
3
& "" # 4!
"
¾
/" ; !
1
·
"
·
"" "
½
!
&!
?
23
!
1
2!
3
""" "
"
!
$
$% $
&' () * Æ
$ + & +
+ ( $$
9!
$
$ % 4 )
K
&' ()
!!
$ $,
" #
-(/9: -(/9
: 5,
·
( : -
0" 7
/ 5 &+BBL"
@
¾
!
½
(/9
: 5,
·
6 : "
$ % &
-/-0 :
- . ,
/ -/-0:5,:9! :
-
0" M =/-0:
=
=/-0:
=&
1
/ @ &
½
&
"
,@ / 6M
& N Æ 6
+ +& +
6 "
' (
0 9!: 5,
·
(
¾
-/-0 -
)* + ,
-0
¾
- " + ." "" / .
" " " " " / 0 .1
·
6 &
4
½
6 O
½
& 7 6 H ""
O
4 1 K
O
½
"
/
½
& 2 3
½
6 ! 2 3
& ! "" 23
23
"
! 2 3
½
! """
""" 6
½
"
,7- > "
/
½
& 2 3
½
6 ! 2 3
& ! ""23
23
"
/ H
2 3
& 2 3
""
½
& 4
½
23
23
"
/
½
& 2 3
&
2 3
""
½
&23
23
"
" /
½
&
&
2 3
""
½
& 4
½
"
/ @ &
# !$ !
$ 7
$ "
,@ $ +
+ + Æ
"
/ @ &
!$ ! $
$ "
,@ % & '
+ 6 +
+ Æ "
23 23 !" 2#
,G 1 ;
1
·
""
&
4
4
·
?
·
& 1 ""
&
"
,G
1 ;
1 ""
4 ?
& 1 ""
&
"
4" ,G ,G
·
"
/-0 " " /-0
¾
" ,G
"
P ! ( ;
1
/ H&
2 3
4
·
"
@ % ! & 9
! !"