$B>.Bt9)6H3t<02q

• $B%W%l%92C9)$OL5M}$H$"$-$i$a$F$$$k@=IJ(B
• $BB>$B@=B$%3%9%H$r:#$h$j2<$2$?$$(B
• $BIJ$B@Z:o$+$i%W%l%9$K@Z$jBX$($?$$(B

$B;vNc>R2p(BCase introduction

$BEv

$B$3$l$^$GIT2DG=$@$C$?ItIJ$G$b%W%l%92C9)$G2DG=$K$9$k$3$H$G@=IJ%3%9%H$r2<$2$k$3$H$,$G$-$^$9!*(B

$B$*5RMM$+$i$$$?$@$$$??^LL$h$j$b87$7$/!"

$BEve?4$r>o$K;}$C$F$*$j!";n:n$r=E$M!"$3$l$^$GIT2DG=$@$C$?$3$H$bBP1~$7$F;2$j$^$7$?!#B>