Rustでon-diskなB+Treeを作ったときの細かな話

by KOBA789

Slide 1

Slide 1 text

KOBA789 RustͰ on-diskͳB+TreeΛ   ࡞ͬͨͱ͖ͷ ࡉ͔ͳ࿩

Slide 2

Slide 2 text

KOBA789 ݱࡏਐߦܗͰແ৬ ‣ 3VTUྺ͸೥͘Β͍ ‣ ී௨ʹ΢ΣϒαʔόʔΛॻ͍ͨΓ ‣ %#.4Λॻ͍ͨΓ ‣ ϒϥ΢βͰಈ͘ճ࿏$"%Λॻ͍ͨΓ   8"4.λʔήοτ ‣ ࣗ࡞ΩʔϘʔυͷ   ϑΝʔϜ΢ΣΞΛॻ͍ͨΓ   ͍ΘΏΔ૊ΈࠐΈ3VTU ͓͢͢Ίͷ࢓ࣄʹؔ͢Δ৘ใ͸   ͍ͭͰ΋׻ܴ͍ͯ͠·͢ https://gihyo.jp/magazine/wdpress/archive/2021/vol122 ʲະঝ୚޿ࠂʳࡶࢽʹهࣄॻ͖·ͨ͠

Slide 3

Slide 3 text

RustͰ on-diskͳB+TreeΛ   ࡞ͬͨͱ͖ͷ ࡉ͔ͳ࿩ ࠓճͷλΠτϧ   ʢ࠶ܝʣ

Slide 4

Slide 4 text

RustͰ on-diskͳB+TreeΛ   ࡞ͬͨͱ͖ͷ ࡉ͔ͳ࿩ ͱ͸ʁ

Slide 5

Slide 5 text

RustͰ on-diskͳB+TreeΛ   ࡞ͬͨͱ͖ͷ ࡉ͔ͳ࿩ ͱ͸ʁ " ಺༰ΛσΟεΫʹӬଓԽͰ͖ͨΓɺ   ϝϞϦΑΓେ͖ͳ಺༰ΛσΟεΫ্Ͱѻ͑ͨΓ͢Δ   #5SFF ˞ಠࣗͷఆٛͰ͢

Slide 6

Slide 6 text

ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ͜͏͍͏#5SFFΛߟ͑Δ

Slide 7

Slide 7 text

ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ͱΓ͋͑ͣ࣍ݩʹͭͿ͢

Slide 8

Slide 8 text

σΟεΫʢϑΝΠϧʣ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ σΟεΫ͕͋Δͱ͢Δ

Slide 9

Slide 9 text

σΟεΫʢϑΝΠϧʣ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ σΟεΫʹೖͬͨ

Slide 10

Slide 10 text

σΟεΫʢϑΝΠϧʣ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU #5SFFΛૢ࡞͍ͨ͠

Slide 11

Slide 11 text

σΟεΫʢϑΝΠϧʣ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU #5SFFΛૢ࡞͍ͨ͠ σΟεΫΛ௚઀ಡΈॻ͖͢Δͷ͸஗͍͠ෆศ

Slide 12

Slide 12 text

ϝϞϦ σΟεΫʢϑΝΠϧʣ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU ϝϞϦʹόοϑΝΛ༻ҙ

Slide 13

Slide 13 text

ϝϞϦ σΟεΫʢϑΝΠϧʣ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU

Slide 14

Slide 14 text

ϝϞϦ σΟεΫʢϑΝΠϧʣ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU ϊʔυͷҰ෦ΛϝϞϦ΁

Slide 15

Slide 15 text

ϝϞϦ σΟεΫʢϑΝΠϧʣ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU ಡΈॻ͖ ೖΕସ͑ όοϑΝϓʔϧϚωʔδϟ

Slide 16

Slide 16 text

ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ Ұ෦ͷϊʔυͷΈ͕ϝϞϦʹ͋Δ#5SFFͱ͍͑Δ ന͍ϊʔυ͸σΟεΫʹ͔͠ͳ͍

Slide 17

Slide 17 text

ϝϞϦ σΟεΫʢϑΝΠϧʣ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU ಡΈॻ͖ ೖΕସ͑ ͱ͜ΖͰɺ

Slide 18

Slide 18 text

ϝϞϦ σΟεΫʢϑΝΠϧʣ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU ಡΈॻ͖ ೖΕସ͑ ϚϧνίΞΛ׆༻͍ͨ͠Ͱ͢ΑͶʁ CPU CPU CPU

Slide 19

Slide 19 text

ϝϞϦ σΟεΫʢϑΝΠϧʣ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU ར༻தͷϊʔυΛόοϑΝ͔Β௥͍ग़ͨ͠Γ͢Δͱ͍ͨ΁Μͳ͜ͱʹ CPU CPU CPU ΛಡΈ͍ͨɻΛ௥͍ग़ͦ͏ ଴ͯίϥ ϊʔυ ར༻த

Slide 20

Slide 20 text

ϝϞϦ σΟεΫʢϑΝΠϧʣ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU ར༻தͷϊʔυΛόοϑΝ͔Β௥͍ग़ͨ͠Γ͢Δͱ͍ͨ΁Μͳ͜ͱʹ CPU CPU CPU ΛಡΈ͍ͨɻΛ௥͍ग़ͦ͏ ଴ͯίϥ ϊʔυ ར༻த ͜ͷ΁Μͷ   σʔλߏ଄ɾΞϧΰϦζϜΛ   3VTUͰͲ͏͢Δ͔ POEJTLಛ༗ͷ೉͕͋͠͞Δ

Slide 21

Slide 21 text

3VTUͰPOEJTLͳ#5SFFΛ࡞Δͱ͖ͷݒ೦ࣄ߲ w όοϑΝϓʔϧϚωʔδϟͷ   σʔλߏ଄ͱΞϧΰϦζϜ w #5SFFͷϊʔυͷσʔλߏ଄ w #5SFFͷഉଞ੍ޚ

Slide 22

Slide 22 text

όοϑΝϓʔϧϚωʔδϟͷ   σʔλߏ଄ͱΞϧΰϦζϜ

Slide 23

Slide 23 text

ར༻தͷϊʔυΛอޢ͢Δʹ͸ $.6ͷߨٛͰ࢖ΘΕ͍ͯΔ#VT5VC $ ͱ͍͏࣮૷ͷ৔߹ ϊʔυʢϖʔδʣ಺ʹΧ΢ϯλΛ   ࣋ͬͯ؅ཧ͍ͯ͠Δ https://github.com/cmu-db/bustub/blob/master/src/include/storage/page/page.h ϐϯ 1JO ͸ʮར༻தʯͷҙຯ ˞3VTUͷ1JOͱ͸ؔ܎ͳ͍

Slide 24

Slide 24 text

3VTUͰ͸Ͳ͏͢Δ͔ Ҋ$ಉ༷ʹΧ΢ϯλͰอޢ w ڞ༗ϝϞϦΛॻ͖׵͑ΔͨΊɺ   ౰વͷΑ͏ʹVOTBGF͕ొ৔ w ઈରʹόάΒͤΔࣗ৴͔͠ͳ͍ w ͜ΕͳΒ$Ͱॻ͚͹͍͍ w ଈߦͰϘπ

Slide 25

Slide 25 text

3VTUͰ͸Ͳ͏͢Δ͔ Ҋ3X-PDLͰอޢ w ར༻த͸4IBSFEMPDLΛ͓࣋ͬͯ͘ w ௥͍ग़ͨ͘͠ͳͬͨΒ&YDMVTJWFMPDLΛऔΔ w (VBSEܥͷߏ଄ମ͸TUBUJD͡Όͳ͍ͷͰ   औΓճ͕͠ѱ͍

Slide 26

Slide 26 text

3VTUͰ͸Ͳ͏͢Δ͔ Ҋ"SDͰอޢ w "SDʹ͸HFU@NVU NVU"SD5 ͱ͍͏   ϝιου͕͋Δ w ࢀরΧ΢ϯλ͕ͷͱ͖ʹ͚ͩNVU5͕औΕΔ w όοϑΝϓʔϧͷʮϐϯʯͱ૬ੑ͕Αͦ͞͏ͳػೳ w ͨͩ͠Ϩγʔό͸NVU w όοϑΝϓʔϧશମΛอޢ͢Δ.VUFY͕͋ΔͷͰ   Մมࢀর͕औΕΔ

Slide 27

Slide 27 text

#5SFFͷϊʔυͷ   σʔλߏ଄

Slide 28

Slide 28 text

#5SFFͷϊʔυͷߏ଄ ૉ๿ʹ΍Δͱɺ͜͏

Slide 29

Slide 29 text

⚠ϊʔυ͸σΟεΫʹ   ॻ͖ग़ͤͳ͚Ε͹ͳΒͳ͍ ΋ͪΖΜɺಡΈग़͠΋Ͱ͖ͳ͚Ε͹ͳΒͳ͍

Slide 30

Slide 30 text

2ߏ଄ମΛσΟεΫʹ   ॻ͖ग़͍ͨ͠ͱ͖ɺͲ͏͢Δʁ

Slide 31

Slide 31 text

2ߏ଄ମΛσΟεΫʹ   ॻ͖ग़͍ͨ͠ͱ͖ɺͲ͏͢Δʁ TFSEF

Slide 32

Slide 32 text

2ߏ଄ମΛσΟεΫʹ   ॻ͖ग़͍ͨ͠ͱ͖ɺͲ͏͢Δʁ TFSEF γϦΞϥΠζޙͷσʔλ௕͕Θ͔Βͳ͍͠ ޮ཰΋ѱ͍ͷͰμϝ

Slide 33

Slide 33 text

2ߏ଄ମΛσΟεΫʹ   ॻ͖ग़͍ͨ͠ͱ͖ɺͲ͏͢Δʁ "ͦͷ··ॻ͖ग़ͤΔ   σʔλߏ଄Λ͕Μ͹࣮ͬͯ૷͢Δ

Slide 34

Slide 34 text

ͦͷ··ॻ͖ग़ͤΔσʔλߏ଄ ৗʹݻఆ௕ͷόΠτྻͷΈʹऩ·Δσʔλߏ଄ ϊʔυ ͖ͬ͞ొ৔ͨ͠ϊʔυ͘Μ

Slide 35

Slide 35 text

ͦͷ··ॻ͖ग़ͤΔσʔλߏ଄ ৗʹݻఆ௕ͷόΠτྻͷΈʹऩ·Δσʔλߏ଄ ,# ࣮͸͜͏͍͏େ͖͞

Slide 36

Slide 36 text

ͦͷ··ॻ͖ग़ͤΔσʔλߏ଄ ৗʹݻఆ௕ͷόΠτྻͷΈʹऩ·Δσʔλߏ଄ ,# ,FZ 7BMVF ͜Ε͸,FZ7BMVFͷϖΞ

Slide 37

Slide 37 text

ͦͷ··ॻ͖ग़ͤΔσʔλߏ଄ ৗʹݻఆ௕ͷόΠτྻͷΈʹऩ·Δσʔλߏ଄ ,# ,FZ 7BMVF ,FZ 7BMVF ,FZ 7BMVF ௕͞͸όϥόϥ

Slide 38

Slide 38 text

ͦͷ··ॻ͖ग़ͤΔσʔλߏ଄ ৗʹݻఆ௕ͷόΠτྻͷΈʹऩ·Δσʔλߏ଄ ,# ,FZ 7BMVF ,FZ 7BMVF ,FZ 7BMVF ͜ΕΛͦͷ··ෑ͖٧ΊΔͱ

Slide 39

Slide 39 text

ͦͷ··ॻ͖ग़ͤΔσʔλߏ଄ ৗʹݻఆ௕ͷόΠτྻͷΈʹऩ·Δσʔλߏ଄ ,# ,FZ 7BMVF ,FZ 7BMVF ,FZ 7BMVF Φϑηοτ͕౳ִؒͰ͸ͳ͍ͷͰೋ෼୳ࡧͰ͖ͳ͍

Slide 40

Slide 40 text

ͦͷ··ॻ͖ग़ͤΔσʔλߏ଄ ৗʹݻఆ௕ͷόΠτྻͷΈʹऩ·Δσʔλߏ଄ ,# ,FZ 7BMVF ,FZ 7BMVF ,FZ 7BMVF ࢓੾Γ௚͠

Slide 41

Slide 41 text

ͦͷ··ॻ͖ग़ͤΔσʔλߏ଄ ৗʹݻఆ௕ͷόΠτྻͷΈʹऩ·Δσʔλߏ଄ ,# ,FZ 7BMVF ,FZ 7BMVF ,FZ 7BMVF ,FZ7BMVF͸ޙΖʹ٧Ίͯ

Slide 42

Slide 42 text

ͦͷ··ॻ͖ग़ͤΔσʔλߏ଄ ৗʹݻఆ௕ͷόΠτྻͷΈʹऩ·Δσʔλߏ଄ ,# 1US ,FZ 7BMVF ,FZ 7BMVF ,FZ 7BMVF 1US 1US ݻఆ௕ͷϙΠϯλΛ಄ʹฒ΂Δ

Slide 43

Slide 43 text

ͦͷ··ॻ͖ग़ͤΔσʔλߏ଄ ৗʹݻఆ௕ͷόΠτྻͷΈʹऩ·Δσʔλߏ଄ ,# 1US ,FZ 7BMVF ,FZ 7BMVF ,FZ 7BMVF 1US 1US ͜ΕΛ3VTUͰॻ͘

Slide 44

Slide 44 text

ͱ͜ΖͰ͜ΕΛͲ͏΍ͬͯ   Ωϟετ͢Δͷ͔

Slide 45

Slide 45 text

std::mem::transmute

Slide 46

Slide 46 text

std::mem::transmute ͦΜͳةݥͳ΋ͷ࢖͏Θ͚ͳ͍

Slide 47

Slide 47 text

ศརDSBUFl[FSPDPQZz ΞϥΠϝϯτͳͲΛߟྀͯ҆͠શʹܕΩϟετͰ͖Δ w (PPHMFͷ'VDITJBͰ࢖ΘΕ͍ͯΔͬΆ͍ w ࢖͍ํʹ͔ͳΓΫη͕͋Δ w υΩϡϝϯτ͸ۃΊͯগͳ͍ w αϯϓϧίʔυ͸'VDITJBͷωοτϫʔΫελοΫ

Slide 48

Slide 48 text

LayoutVerifiedͱ͍͏   εϚʔτϙΠϯλܦ༝Ͱૢ࡞͢Δ new_from_prefixϝιου͸   ϔομͱϘσΟʹ෼͔Ε͍ͯΔ   σʔλߏ଄ʹ࢖͑Δ

Slide 49

Slide 49 text

1US ,FZ 7BMVF ,FZ 7BMVF ,FZ 7BMVF 1US 1US OVN@TMPUT IFBEFS CPEZ

Slide 50

Slide 50 text

new_sliceϝιουͰ   ϙΠϯλͷεϥΠεΛ੾Γग़͍ͯ͠Δ

Slide 51

Slide 51 text

1US ,FZ 7BMVF ,FZ 7BMVF ,FZ 7BMVF 1US 1US OVN@TMPUT QPJOUFST IFBEFS CPEZ

Slide 52

Slide 52 text

1US ,FZ 7BMVF ,FZ 7BMVF ,FZ 7BMVF 1US 1US OVN@TMPUT QPJOUFST IFBEFS CPEZ ͜ͷਤΛΑ͘ݟͯ΄͍͠

Slide 53

Slide 53 text

1US ,FZ 7BMVF ,FZ 7BMVF ,FZ 7BMVF 1US 1US OVN@TMPUT QPJOUFST IFBEFS CPEZ QPJOUFST͸CPEZΛआ༻͍ͯ͠Δ

Slide 54

Slide 54 text

1US ,FZ 7BMVF ,FZ 7BMVF ,FZ 7BMVF 1US 1US OVN@TMPUT QPJOUFST IFBEFS CPEZ QPJOUFST͸CPEZΛआ༻͍ͯ͠Δ ͭ·Γɺ,FZ7BMVFϖΞΛมߋ͢Δͱ͖ʹ͸   ͍͍ͪͪQPJOUFSTΛख์͞ͳ͚Ε͹ͳΒͳ͍ ͩΔ͍   ʢ͔ͨ͠ͳ͠ʣ

Slide 55

Slide 55 text

#5SFFͷഉଞ੍ޚ

Slide 56

Slide 56 text

ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU CPU

Slide 57

Slide 57 text

ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU CPU Modify Modify 💥 😩 😩

Slide 58

Slide 58 text

ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU CPU ϩοΫ͸্͔ΒॱʹऔΔ

Slide 59

Slide 59 text

ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϩοΫ͸্͔ΒॱʹऔΔ CPU CPU

Slide 60

Slide 60 text

ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϩοΫ͸্͔ΒॱʹऔΔ CPU CPU

Slide 61

Slide 61 text

ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϩοΫ͕औΕͨΒɺ্ͷϩοΫ͸ख์ͯ͠΋Α͍ CPU CPU

Slide 62

Slide 62 text

ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ଞͷεϨου͕ಈ͚ͯฒྻ౓্͕͕Δ CPU CPU

Slide 63

Slide 63 text

ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU CPU ಉ༷ʹଓ͚Δ

Slide 64

Slide 64 text

ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ Լͷϊʔυ͕ᷓΕͦ͏ͳ৔߹͸ɺ্ͷϩοΫΛख์ͯ͠͸ͳΒͳ͍   ʢॻ͖ࠐΈͷ৔߹ʣ CPU CPU

Slide 65

Slide 65 text

ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ ϊʔυ CPU CPU ͜ΕΛ3VTUͰ࣮૷͢Δ

Slide 66

Slide 66 text

#5SFFͷഉଞ੍ޚ ૉ๿ʹ࣮૷

Slide 67

Slide 67 text

#5SFFͷഉଞ੍ޚ ૉ๿ʹ࣮૷

Slide 68

Slide 68 text

#5SFFͷഉଞ੍ޚ ૉ๿ʹ࣮૷ page:   Arc> ro_page:   RwLockReadGuard<_, Page> next_page:   Arc> ro_next_page:   RwLockReadGuard<_, Page> next_pageΛಈ͔͍͕ͨ͠ かといってRwLockReadGuardΛ   ख์͢Θ͚ʹ͸͍͔ͳ͍ ro_page͕pageΛɺ   ro_next_page͕next_pageΛ   ࢀর͍ͯ͠ΔͷͰಈ͔ͤͳ͍

Slide 69

Slide 69 text

Slide 70

Slide 70 text

͜Ε͸Α͋͘Δ4UBCMF"EESFTT໰୊ "SDͷࢦ͢ϙΠϯλ͸ෆมͳΜ͔ͩΒNPWFͤͯ͘͞Ε w PXOJOH@SFGΫϨʔτͳͲͰ   ղܾ͕ࢼΈΒΕ͍ͯΔ w ࠓճ͸3X-PDL3FBE(VBSEʹ   ಛघͳϝιουΛੜ΍ͯ͠ճආ

Slide 71

Slide 71 text

0XOFE3X-PDL3FBE(VBSE ΊͬͪΌVOTBGF͚ͩͲ͔ͨ͠ͳ͍

Slide 72

Slide 72 text

ࠓ೔঺հͨ͠ίʔυ͸͍͍ͩͨ(JU)VCʹ͋Δ RQ w IUUQTHJUIVCDPN,0#"RQ w ϚϧνεϨου w ίʔυ͕ͱͯ΋Ԛ͍ SFMMZ w IUUQTHJUIVCDPN,0#"SFMMZ w γϯάϧεϨου w 8&#%#13&447PMͷͨΊʹ   ॻ͖ԼΖͨ͠ w ͪΐͬͱίʔυ͕៉ྷ

Slide 73

Slide 73 text

·ͱΊ ಈతͳσʔλߏ଄Λ࣮૷͢Δͱ3VTUಛ༗ͷ೉͕ͯ͠͞Μ͜੝Γʂ w "SDHFU@NVUͷΑ͏ͳϚΠφʔͳ   ϝιουΛ஌͓ͬͯ͘ͱ໾ʹཱͭ w TUE΍ΫϨʔτΛ׆͔ͤΔΑ͏ʹ   σʔλߏ଄Λมܗ͢ΔεΩϧ͕ॏཁ w ίϯύΠϧΤϥʔΛோΊΔ͚ͩͰͳ͘ɺ   ϝϞϦͷ༷ࢠΛ૝૾͢Δ w ͋Δ΂͖ϝϞϦͷߏ଄͔Β   σʔλߏ଄Λٯࢉ͢Δͷ͕ίπ