More Related Content More from ssusere0a682 (20) ゲーム理論BASIC 演習14 -ファーストプライスオークション1-3. ઓུͷఆٛ
ใෆඋήʔϜ ͓ΑͼϕΠδΞϯήʔϜ ʹ͓͍ͯ
֤ϓϨΠϠʔࣗͷλΠϓ͕Θ্͔ͬͨͰ
ߦಈΛબͿ
Ώ͑ʹϓϨΠϠʔ ͷઓུؔ Ͱ༩͑ΒΕΔ
ϕΠδΞϯφογϡߧۉ
ઓུͷ ʹ͓͍ͯ
֤ϓϨΠϠʔ ͷ֤λΠϓ ʹ͍ͭͯ
ͷ༩͑Δߦಈ͕ଞͷϓϨΠϠʔͷ֤λΠϓͷߦಈʹର͢Δ࠷దԠͱͳ͍ͬͯΔͱ͖
ͭ·Γ
ͯ͢ͷ ͱ ͷͯ͢ͷλΠϓ ʹରͯ͠
ͱͳ͍ͬͯΔͱ͖
ΛϕΠδΞϯφογϡ͏͍ͱߧۉ
G* = (N, {Si
, Ti
, fi
, pi
}i∈N) G** = (N, {Si
, Ti
, fi
}i∈N, p)
i xi
: Ti
→ Si
x* = (x*1
, ⋯, x*n
) i ti
x*i
i ∈ N i ti
∑
t−1
∈T−1
fi
(x*i
(ti
), x*−i
(t−i
), ti
, t−i
)pi
(t−i
|ti
) ≥
∑
t−1
∈T−1
fi
(si
, x*−i
(t−i
), ti
, t−i
)pi
(t−i
|ti
) ∀si
∈ Si
x* = (x*1
, ⋯, x*n
)
ϕΠδΞϯήʔϜʹ͓͚Δઓུߧۉ
6. ͨͩ͠
ࣗͷධՁΘ͔Δ͕ଞͷೖࡳऀͷධՁΘ͔Βͳ͍ͱ͢Δ
ೖࡳऀ ͷධՁ
ಠཱͳ֬มͰ
ͷΛऔΔͱ͠
Ͱ͋Δͱ͢Δ
͜Ε֤ϓϨΠϠʔͷ֬ʹ͍ޓ͍ͬͯΔͷͱ͢Δɹೖࡳֹ
ͷ͍ͣΕ͔ΛબͿͱ͢Δ
ಉೖࡳֹͷ߹֬ ͭ·Γ
ͰͲͪΒ͔ͷϓϨΠϠʔʹམࡳ͞ΕΔͷͱ͢Δ͜ͷͱ͖
ઓུͲ͏ද͞ݱΕΔ͔ʁ
ઓུͷఆ͔ٛΒࣗͷλΠϓ͝ͱʹԿΛબ͢Δ͔ɺͰ͋Δ͔Β ʹରͯ͠
۩ମతʹॻ͚
ººݸͷઓུ͕͋Δ
i ∈ N = {1,2} vi
P(vi
= 0) =
1
4
P(vi
= 1) =
1
4
P(vi
= 2) =
1
2
bi
i ∈ N = {1,2} si
(vi
) = bi
si
(0) = 0 si
(1) = 0 si
(2) = 0 si
(0) = 0 si
(1) = 0 si
(2) = 1
si
(0) = 0 si
(1) = 1 si
(2) = 0 si
(0) = 0 si
(1) = 1 si
(2) = 1
si
(0) = 1 si
(1) = 0 si
(2) = 0 si
(0) = 1 si
(1) = 0 si
(2) = 1
si
(0) = 1 si
(1) = 1 si
(2) = 0 si
(0) = 1 si
(1) = 1 si
(2) = 1
ϑΝʔετϓϥΠεΦʔΫγϣϯ
7. ͨͩ͠
ࣗͷධՁΘ͔Δ͕ଞͷೖࡳऀͷධՁΘ͔Βͳ͍ͱ͢Δ
ೖࡳऀ ͷධՁ
ಠཱͳ֬มͰ
ͷΛऔΔͱ͠
Ͱ͋Δͱ͢Δ
͜Ε֤ϓϨΠϠʔͷ֬ʹ͍ޓ͍ͬͯΔͷͱ͢Δɹೖࡳֹ
ͷ͍ͣΕ͔ΛબͿͱ͢Δ
ಉೖࡳֹͷ߹֬ ͭ·Γ
ͰͲͪΒ͔ͷϓϨΠϠʔʹམࡳ͞ΕΔͷͱ͢Δ͜ͷͱ͖
རಘؔͲ͏ද͞ݱΕΔ͔ʁ
i ∈ N = {1,2} vi
P(vi
= 0) =
1
4
P(vi
= 1) =
1
4
P(vi
= 2) =
1
2
bi
f1
(s1
(v1
), s2
(v2
), v1
, v2
) =
0 s1
(v1
) s2
(v2
)
v1
− s1
(v1
)
2
s1
(v1
) = s2
(v2
)
v1
− s1
(v1
) s1
(v1
) s2
(v2
)
f2
(s1
(v1
), s2
(v2
), v1
, v2
) =
0 s2
(v2
) s1
(v1
)
v2
− s2
(v2
)
2
s2
(v2
) = s1
(v1
)
v2
− s2
(v2
) s2
(v2
) s1
(v1
)
ϑΝʔετϓϥΠεΦʔΫγϣϯ
8. ͨͩ͠
ࣗͷධՁΘ͔Δ͕ଞͷೖࡳऀͷධՁΘ͔Βͳ͍ͱ͢Δ
ೖࡳऀ ͷධՁ
ಠཱͳ֬มͰ
ͷΛऔΔͱ͠
Ͱ͋Δͱ͢Δ
͜Ε֤ϓϨΠϠʔͷ֬ʹ͍ޓ͍ͬͯΔͷͱ͢Δɹೖࡳֹ
ͷ͍ͣΕ͔ΛબͿͱ͢Δ
ಉೖࡳֹͷ߹֬ ͭ·Γ
ͰͲͪΒ͔ͷϓϨΠϠʔʹམࡳ͞ΕΔͷͱ͢Δ͜ͷͱ͖
ϕΠδΞϯφογϡߧۉΛٻΊΑ
͖݅ظརಘΛߟ͑Δ
ͷλΠϓͰ͋Ε
i ∈ N = {1,2} vi
P(vi
= 0) =
1
4
P(vi
= 1) =
1
4
P(vi
= 2) =
1
2
bi
f1
(s1
(v1
), s2
(v2
), v1
, v2
) =
0 s1
(v1
) s2
(v2
)
v1
− s1
(v1
)
2
s1
(v1
) = s2
(v2
)
v1
− s1
(v1
) s1
(v1
) s2
(v2
)
E1
(f1
(s1
(v1
), s2
(v2
), v1
, v2
)|v1
) = P[s1
(v1
) = s2
(v2
)]
v1
− s1
(v1
)
2
+ P[s1
(v1
) s2
(v2
)](v1
− s1
(v1
))
v1
= 0 E1
(f1
(s1
(0), s2
(v2
), v1
, v2
)|0) = P[s1
(0) = s2
(v2
)]
0 − s1
(0)
2
+ P[s1
(0) s2
(v2
)](0 − s1
(0))
ϑΝʔετϓϥΠεΦʔΫγϣϯ
9. ͨͩ͠
ࣗͷධՁΘ͔Δ͕ଞͷೖࡳऀͷධՁΘ͔Βͳ͍ͱ͢Δ
ೖࡳऀ ͷධՁ
ಠཱͳ֬มͰ
ͷΛऔΔͱ͠
Ͱ͋Δͱ͢Δ
͜Ε֤ϓϨΠϠʔͷ֬ʹ͍ޓ͍ͬͯΔͷͱ͢Δɹೖࡳֹ
ͷ͍ͣΕ͔ΛબͿͱ͢Δ
ಉೖࡳֹͷ߹֬ ͭ·Γ
ͰͲͪΒ͔ͷϓϨΠϠʔʹམࡳ͞ΕΔͷͱ͢Δ͜ͷͱ͖
ϕΠδΞϯφογϡߧۉΛٻΊΑ
ͷλΠϓͰ͋Ε
ͷͱ͖
ͷͱ͖
i ∈ N = {1,2} vi
P(vi
= 0) =
1
4
P(vi
= 1) =
1
4
P(vi
= 2) =
1
2
bi
v1
= 0 E1
(f1
(s1
(0), s2
(v2
), v1
, v2
)|0) = P[s1
(0) = s2
(v2
)]
0 − s1
(0)
2
+ P[s1
(0) s2
(v2
)](0 − s1
(0))
s1
(0) = 0 E1
(f1
(0,s2
(v2
), v1
, v2
)|0) = P[s2
(v2
) = 0]
0 − 0
2
+ P[0 s2
(v2
)](0 − 0) = 0
s1
(0) = 1 E1
(f1
(1,s2
(v2
), v1
, v2
)|0) = P[s2
(v2
) = 1]
0 − 1
2
+ P[1 s2
(v2
)](0 − 1) = (−1)
(
P[s2
(v2
) = 1]
2
+ P[s2
(v2
) = 0]
)
0
ϑΝʔετϓϥΠεΦʔΫγϣϯ
16. ͨͩ͠
ࣗͷධՁΘ͔Δ͕ଞͷೖࡳऀͷධՁΘ͔Βͳ͍ͱ͢Δ
ೖࡳऀ ͷධՁ
ಠཱͳ֬มͰ
ͷΛऔΔͱ͠
Ͱ͋Δͱ͢Δ
͜Ε֤ϓϨΠϠʔͷ֬ʹ͍ޓ͍ͬͯΔͷͱ͢Δɹೖࡳֹ
ͷ͍ͣΕ͔ΛબͿͱ͢Δ
ಉೖࡳֹͷ߹֬ ͭ·Γ
ͰͲͪΒ͔ͷϓϨΠϠʔʹམࡳ͞ΕΔͷͱ͢Δ͜ͷͱ͖
ϕΠδΞϯφογϡߧۉΛٻΊΑ
ͷλΠϓͰ͋Ε
ͷͱ͖
ͷͱ͖
i ∈ N = {1,2} vi
P(vi
= 0) =
1
4
P(vi
= 1) =
1
4
P(vi
= 2) =
1
2
bi
v1
= 1 E1
(f1
(s1
(1), s2
(v2
), v1
, v2
)|1) = P[s1
(1) = s2
(v2
)]
1 − s1
(1)
2
+ P[s1
(1) s2
(v2
)](1 − s1
(1))
s1
(1) = 0 E1
(f1
(0,s2
(v2
), v1
, v2
)|1) = P[s2
(v2
) = 0]
1 − 0
2
+ P[0 s2
(v2
)](1 − 0) =
P[s2
(v2
) = 0]
2
s1
(1) = 1 E1
(f1
(1,s2
(v2
), v1
, v2
)|1) = P[s2
(v2
) = 1]
1 − 1
2
+ P[1 s2
(v2
)](1 − 1) = 0
ϑΝʔετϓϥΠεΦʔΫγϣϯ
s2
(0) − s2
(1) − s2
(2)
s1
(1) = 0
s1
(1) = 1
17. ͨͩ͠
ࣗͷධՁΘ͔Δ͕ଞͷೖࡳऀͷධՁΘ͔Βͳ͍ͱ͢Δ
ೖࡳऀ ͷධՁ
ಠཱͳ֬มͰ
ͷΛऔΔͱ͠
Ͱ͋Δͱ͢Δ
͜Ε֤ϓϨΠϠʔͷ֬ʹ͍ޓ͍ͬͯΔͷͱ͢Δɹೖࡳֹ
ͷ͍ͣΕ͔ΛબͿͱ͢Δ
ಉೖࡳֹͷ߹֬ ͭ·Γ
ͰͲͪΒ͔ͷϓϨΠϠʔʹམࡳ͞ΕΔͷͱ͢Δ͜ͷͱ͖
ϕΠδΞϯφογϡߧۉΛٻΊΑ
ͷλΠϓͰ͋Ε
ͷͱ͖
ͷͱ͖
i ∈ N = {1,2} vi
P(vi
= 0) =
1
4
P(vi
= 1) =
1
4
P(vi
= 2) =
1
2
bi
v1
= 2 E1
(f1
(s1
(2), s2
(v2
), v1
, v2
)|2) = P[s1
(2) = s2
(v2
)]
2 − s1
(2)
2
+ P[s1
(2) s2
(v2
)](2 − s1
(1))
s1
(2) = 0 E1
(f1
(1,s2
(v2
), v1
, v2
)|2) = P[s2
(v2
) = 0]
2 − 0
2
+ P[0 s2
(v2
)](2 − 0) = P[s2
(v2
) = 0]
s1
(2) = 1 E1
(f1
(1,s2
(v2
), v1
, v2
)|2) = P[s2
(v2
) = 1]
2 − 1
2
+ P[1 s2
(v2
)](2 − 1) =
P[s2
(v2
) = 1]
2
+ P[s2
(v2
) = 0]
ϑΝʔετϓϥΠεΦʔΫγϣϯ
19. ͨͩ͠
ࣗͷධՁΘ͔Δ͕ଞͷೖࡳऀͷධՁΘ͔Βͳ͍ͱ͢Δ
ೖࡳऀ ͷධՁ
ಠཱͳ֬มͰ
ͷΛऔΔͱ͠
Ͱ͋Δͱ͢Δ
͜Ε֤ϓϨΠϠʔͷ֬ʹ͍ޓ͍ͬͯΔͷͱ͢Δɹೖࡳֹ
ͷ͍ͣΕ͔ΛબͿͱ͢Δ
ಉೖࡳֹͷ߹֬ ͭ·Γ
ͰͲͪΒ͔ͷϓϨΠϠʔʹམࡳ͞ΕΔͷͱ͢Δ͜ͷͱ͖
ϕΠδΞϯφογϡߧۉΛٻΊΑ
ͷλΠϓͰ͋Ε
ͷͱ͖
ͷͱ͖
i ∈ N = {1,2} vi
P(vi
= 0) =
1
4
P(vi
= 1) =
1
4
P(vi
= 2) =
1
2
bi
v1
= 2 E1
(f1
(s1
(2), s2
(v2
), v1
, v2
)|2) = P[s1
(2) = s2
(v2
)]
2 − s1
(2)
2
+ P[s1
(2) s2
(v2
)](2 − s1
(1))
s1
(2) = 0 E1
(f1
(1,s2
(v2
), v1
, v2
)|2) = P[s2
(v2
) = 0]
2 − 0
2
+ P[0 s2
(v2
)](2 − 0) = P[s2
(v2
) = 0]
s1
(2) = 1 E1
(f1
(1,s2
(v2
), v1
, v2
)|2) = P[s2
(v2
) = 1]
2 − 1
2
+ P[1 s2
(v2
)](2 − 1) =
P[s2
(v2
) = 1]
2
+ P[s2
(v2
) = 0]
ϑΝʔετϓϥΠεΦʔΫγϣϯ
26.
s2
(0) − s2
(1) − s2
(2)
s1
(0) = 0
s1
(0) = 1
s2
(0) − s2
(1) − s2
(2)
s1
(1) = 0
s1
(1) = 1
27. ͨͩ͠
ࣗͷධՁΘ͔Δ͕ଞͷೖࡳऀͷධՁΘ͔Βͳ͍ͱ͢Δ
ೖࡳऀ ͷධՁ
ಠཱͳ֬มͰ
ͷΛऔΔͱ͠
Ͱ͋Δͱ͢Δ
͜Ε֤ϓϨΠϠʔͷ֬ʹ͍ޓ͍ͬͯΔͷͱ͢Δɹೖࡳֹ
ͷ͍ͣΕ͔ΛબͿͱ͢Δ
ಉೖࡳֹͷ߹֬ ͭ·Γ
ͰͲͪΒ͔ͷϓϨΠϠʔʹམࡳ͞ΕΔͷͱ͢Δ͜ͷͱ͖
ϕΠδΞϯφογϡߧۉΛٻΊΑ
ͷλΠϓͰ͋Ε
ͷͱ͖
ͷͱ͖
i ∈ N = {1,2} vi
P(vi
= 0) =
1
4
P(vi
= 1) =
1
4
P(vi
= 2) =
1
2
bi
v1
= 2 E1
(f1
(s1
(2), s2
(v2
), v1
, v2
)|2) = P[s1
(2) = s2
(v2
)]
2 − s1
(2)
2
+ P[s1
(2) s2
(v2
)](2 − s1
(1))
s1
(2) = 0 E1
(f1
(1,s2
(v2
), v1
, v2
)|2) = P[s2
(v2
) = 0]
2 − 0
2
+ P[0 s2
(v2
)](2 − 0) = P[s2
(v2
) = 0]
s1
(2) = 1 E1
(f1
(1,s2
(v2
), v1
, v2
)|2) = P[s2
(v2
) = 1]
2 − 1
2
+ P[1 s2
(v2
)](2 − 1) =
P[s2
(v2
) = 1]
2
+ P[s2
(v2
) = 0]
ϑΝʔετϓϥΠεΦʔΫγϣϯ
34.
s2
(0) − s2
(1) − s2
(2)
s1
(0) = 0
s1
(0) = 1
s2
(0) − s2
(1) − s2
(2)
s1
(1) = 0
s1
(1) = 1
35. ͨͩ͠
ࣗͷධՁΘ͔Δ͕ଞͷೖࡳऀͷධՁΘ͔Βͳ͍ͱ͢Δ
ೖࡳऀ ͷධՁ
ಠཱͳ֬มͰ
ͷΛऔΔͱ͠
Ͱ͋Δͱ͢Δ
͜Ε֤ϓϨΠϠʔͷ֬ʹ͍ޓ͍ͬͯΔͷͱ͢Δɹೖࡳֹ
ͷ͍ͣΕ͔ΛબͿͱ͢Δ
ಉೖࡳֹͷ߹֬ ͭ·Γ
ͰͲͪΒ͔ͷϓϨΠϠʔʹམࡳ͞ΕΔͷͱ͢Δ͜ͷͱ͖
ϕΠδΞϯφογϡߧۉΛٻΊΑ
ͷλΠϓͰ͋Ε
ͷͱ͖
ͷͱ͖
i ∈ N = {1,2} vi
P(vi
= 0) =
1
4
P(vi
= 1) =
1
4
P(vi
= 2) =
1
2
bi
v1
= 2 E1
(f1
(s1
(2), s2
(v2
), v1
, v2
)|2) = P[s1
(2) = s2
(v2
)]
2 − s1
(2)
2
+ P[s1
(2) s2
(v2
)](2 − s1
(1))
s1
(2) = 0 E1
(f1
(1,s2
(v2
), v1
, v2
)|2) = P[s2
(v2
) = 0]
2 − 0
2
+ P[0 s2
(v2
)](2 − 0) = P[s2
(v2
) = 0]
s1
(2) = 1 E1
(f1
(1,s2
(v2
), v1
, v2
)|2) = P[s2
(v2
) = 1]
2 − 1
2
+ P[1 s2
(v2
)](2 − 1) =
P[s2
(v2
) = 1]
2
+ P[s2
(v2
) = 0]
ϑΝʔετϓϥΠεΦʔΫγϣϯ
42.
s2
(0) − s2
(1) − s2
(2)
s1
(0) = 0
s1
(0) = 1
s2
(0) − s2
(1) − s2
(2)
s1
(1) = 0
s1
(1) = 1
43. ͨͩ͠
ࣗͷධՁΘ͔Δ͕ଞͷೖࡳऀͷධՁΘ͔Βͳ͍ͱ͢Δ
ೖࡳऀ ͷධՁ
ಠཱͳ֬มͰ
ͷΛऔΔͱ͠
Ͱ͋Δͱ͢Δ
͜Ε֤ϓϨΠϠʔͷ֬ʹ͍ޓ͍ͬͯΔͷͱ͢Δɹೖࡳֹ
ͷ͍ͣΕ͔ΛબͿͱ͢Δ
ಉೖࡳֹͷ߹֬ ͭ·Γ
ͰͲͪΒ͔ͷϓϨΠϠʔʹམࡳ͞ΕΔͷͱ͢Δ͜ͷͱ͖
ϕΠδΞϯφογϡߧۉΛٻΊΑ
ͷλΠϓͰ͋Ε
ͷͱ͖
ͷͱ͖
i ∈ N = {1,2} vi
P(vi
= 0) =
1
4
P(vi
= 1) =
1
4
P(vi
= 2) =
1
2
bi
v1
= 2 E1
(f1
(s1
(2), s2
(v2
), v1
, v2
)|2) = P[s1
(2) = s2
(v2
)]
2 − s1
(2)
2
+ P[s1
(2) s2
(v2
)](2 − s1
(1))
s1
(2) = 0 E1
(f1
(1,s2
(v2
), v1
, v2
)|2) = P[s2
(v2
) = 0]
2 − 0
2
+ P[0 s2
(v2
)](2 − 0) = P[s2
(v2
) = 0]
s1
(2) = 1 E1
(f1
(1,s2
(v2
), v1
, v2
)|2) = P[s2
(v2
) = 1]
2 − 1
2
+ P[1 s2
(v2
)](2 − 1) =
P[s2
(v2
) = 1]
2
+ P[s2
(v2
) = 0]
ϑΝʔετϓϥΠεΦʔΫγϣϯ
50.
s2
(0) − s2
(1) − s2
(2)
s1
(0) = 0
s1
(0) = 1
s2
(0) − s2
(1) − s2
(2)
s1
(1) = 0
s1
(1) = 1
51. ͨͩ͠
ࣗͷධՁΘ͔Δ͕ଞͷೖࡳऀͷධՁΘ͔Βͳ͍ͱ͢Δ
ೖࡳऀ ͷධՁ
ಠཱͳ֬มͰ
ͷΛऔΔͱ͠
Ͱ͋Δͱ͢Δ
͜Ε֤ϓϨΠϠʔͷ֬ʹ͍ޓ͍ͬͯΔͷͱ͢Δɹೖࡳֹ
ͷ͍ͣΕ͔ΛબͿͱ͢Δ
ಉೖࡳֹͷ߹֬ ͭ·Γ
ͰͲͪΒ͔ͷϓϨΠϠʔʹམࡳ͞ΕΔͷͱ͢Δ͜ͷͱ͖
ϕΠδΞϯφογϡߧۉΛٻΊΑ
ϕΠδΞϯφογϡߧۉ
Ͱ͋Δ
ϕΠδΞϯφογϡͱߧۉͳΒͳ͍
ͳͥͳΒϓϨΠϠʔͷλΠϓ ʹ͍ͭͯೖࡳֹ͔Βೖࡳֹʹม͑ͨ΄͏͕ظརಘ͕ߴ͍ͨΊ
i ∈ N = {1,2} vi
P(vi
= 0) =
1
4
P(vi
= 1) =
1
4
P(vi
= 2) =
1
2
bi
(0 − 0 − 0, 0 − 0 − 0) (0 − 0 − 1, 0 − 0 − 1)
(0 − 0 − 1, 0 − 0 − 0)
v2
= 2
ϑΝʔετϓϥΠεΦʔΫγϣϯ
53.
s2
(0) − s2
(1) − s2
(2)
s1
(0) = 0
s1
(0) = 1
s2
(0) − s2
(1) − s2
(2)
s1
(1) = 0
s1
(1) = 1
54. ͨͩ͠
ࣗͷධՁΘ͔Δ͕ଞͷೖࡳऀͷධՁΘ͔Βͳ͍ͱ͢Δ
ೖࡳऀ ͷධՁ
ಠཱͳ֬มͰ
ͷΛऔΔͱ͠
Ͱ͋Δͱ͢Δ
͜Ε֤ϓϨΠϠʔͷ֬ʹ͍ޓ͍ͬͯΔͷͱ͢Δɹೖࡳֹ
ͷ͍ͣΕ͔ΛબͿͱ͢Δ
ಉೖࡳֹͷ߹֬ ͭ·Γ
ͰͲͪΒ͔ͷϓϨΠϠʔʹམࡳ͞ΕΔͷͱ͢Δ͜ͷͱ͖
ϕΠδΞϯφογϡߧۉΛٻΊΑ
ϕΠδΞϯφογϡߧۉ
Ͱ͋Δ
ϕΠδΞϯφογϡͱߧۉͳΒͳ͍
ͳͥͳΒϓϨΠϠʔͷλΠϓ ʹ͍ͭͯೖࡳֹ͔Βೖࡳֹʹม͑ͨ΄͏͕ظརಘ͕ߴ͍ͨΊ
ࢀߟ
φογϡٻͰߧۉΊΔͱӈਤ
i ∈ N = {1,2} vi
P(vi
= 0) =
1
4
P(vi
= 1) =
1
4
P(vi
= 2) =
1
2
bi
(0 − 0 − 0, 0 − 0 − 0) (0 − 0 − 1, 0 − 0 − 1)
(0 − 0 − 1, 0 − 0 − 0)
v2
= 2
ϑΝʔετϓϥΠεΦʔΫγϣϯ
56.
s2
(0) − s2
(1) − s2
(2)
s1
(0) = 0
s1
(0) = 1
s2
(0) − s2
(1) − s2
(2)
s1
(1) = 0
s1
(1) = 1