Upgrade to Pro — share decks privately, control downloads, hide ads and more …

AWS とKARTE で作る User State Driven System / user...

tik-son
May 12, 2021

AWS とKARTE で作る User State Driven System / user-state-driven-system-with-aws-and-karte

AWS Summit Online 2021 でお話した
AWS とKARTE で作る User State Driven System について
https://aws.amazon.com/jp/events/summits/online/japan/

tik-son

May 12, 2021
Tweet

More Decks by tik-son

Other Decks in Technology

Transcript

  1. 1 AWS ͱKARTE Ͱ࡞Δ User State Driven Syste m Naohiko

    Takemura / PLAID, Inc / Head of Engineering ɹɹʛɹɹ© PLAID Inc. AWS Summit Online 2021 ɹ
  2. 2 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. ஛ଜ

    ঘ඙ גࣜձࣾϓϨΠυ Head of Engineering Backend / Infra 2014೥11݄ೖࣾ BlackMusic ि຤ΪλϦετ Թઘ ΢ΠεΩʔ BizDev with CloudProvider github : tik-son 1 0 twitter : tikson ࣗݾ঺հ
  3. 3 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. גࣜձࣾϓϨΠυʹ͍ͭͯ

    גࣜձࣾϓϨΠυ ౦ژ౎தԝ۠ۜ࠲6-10-1 GINZA SIX 10 F ઃཱɿ2011೥10݄ ैۀһɿ190໊ ※2020೥9݄30೔ ࣌఺ 3
  4. 4 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. Event

    Driven System ʁ Event Driven System
  5. 5 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. Event

    Driven Syste m • ΠϕϯτۦಈܕΞʔΩςΫνϟʢEDAʣ͸ɺΠϕϯτͷੜ੒ɺݕग़ɺফඅɺ͓ΑͼΠϕϯτ΁ͷରԠΛଅਐ͢Δ ιϑτ΢ΣΞΞʔΩςΫνϟύϥμΠϜͰ͢ɻ • Πϕϯτ͸ʮঢ়ଶͷେ෯ͳมԽ ( a signi fi cant change in state)ʯͱͯ͠ఆٛͰ͖·͢ɻͨͱ͑͹ɺফඅऀ͕ं Λߪೖ͢Δͱɺंͷঢ়ଶ͕ʮൢചதʯ͔ΒʮൢചࡁΈʯʹมΘΓ·͢ɻ ࣗಈंσΟʔϥʔͷγεςϜΞʔΩς Ϋνϟ͸ɺ͜ͷঢ়ଶͷมԽΛɺΞʔΩςΫνϟ಺ͷଞͷΞϓϦέʔγϣϯʹͦͷൃੜΛ஌ΒͤΔ͜ͱ͕Ͱ͖ΔΠ ϕϯτͱͯ͠ѻ͏৔߹͕͋Γ·͢ɻ https://en.wikipedia.org/wiki/Event-driven_architecture with Google Translat e Event Driven System
  6. 6 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. •

    γϯϓϧͳEvent Driven System Ͱ͋Ε͹ɺAWSͷαʔϏεͷ૊Έ߹ΘͤͰ؆୯ʹ࣮ݱͰ͖Δ https://aws.amazon.com/jp/lambda/ Event Driven System
  7. 7 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. User

    State Driven System ʁ User State Driven System
  8. 8 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. User

    State Driven Syste m • ਓͷঢ়ଶ( User State ) ͷมԽΛτϦΨʔʹۦಈ • ༷ʑͳγεςϜ͕ଘࡏ͢Δ͕ɺ࠷ऴతͳϦΞΫγϣϯઌͱͯ͠͸ਓͰ͋Δ͜ͱ͕ଟ͍ • ਓʹରͯ͠ɺద੾ʹϦΞΫγϣϯ͕Ͱ͖Ε͹ɺϢʔβମݧ͕޲্͠ɺγεςϜͷ໨తΛୡ੒͠΍͘͢ͳΔ͸ͣ • ਓʹରͯ͠ɺద੾ͳϦΞΫγϣϯΛ͢ΔͨΊʹ͸ʁ • ϢʔβΛ஌Δ • User StateͷมԽΛϦΞϧλΠϜʹଊ͑ΒΕΔ͜ͱ(ϦΞϧλΠϜʹଊ͑ΒΕΕ͹ͦΕΑΓ஗͘ରԠ͸ग़དྷΔ ) • ଟ໘తʹϢʔβΛଊ͑ΒΕΔ͜ͱ • Ϣʔβʹ߹ΘͤΔ • จ຺ʹ߹Θͤͨద੾ͳखஈͰ߹ΘͤΒΕΔ͜ͱ ͜ΕΒΛຬͨ͢γεςϜΛࣗલͰ࡞Δʁ User State Driven System
  9. 9 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. ֬ೝ͢Δ

    جຊαʔϏε΍͝ར༻ํ๏Λ͝঺հ͠·͢ɻ ͓ಘͳಛయ΍໾ཱͭ৘ใ͕ຬࡌͰ͢ɻ ॳΊͯͷํ΁ ְתּׅ然钠ׅ׷ 6*رؠ؎ش٦׌ֽוזַזַ♳麦׃זְծ➙ ״׶إٔؗ،حف׃׋ְהְֲ倯䗳铣דׅկ UIرؠ؎ش٦ָ濼׏גֶֻץֹ 7אךرؠ؎ٕٝ٦ٕ DESIGN RULES » CHECK ׆׏ה⢪ִ׷،؎ذي׌ֽ׾䲧ִת׃׋կ ֿך堣⠓׾ֶ鋅鷕׃זֻկ 窫㼎ծ 妜׃ְ ౙͷओ໾ɺ Ξ΢λʔ COLLECTION OUTER 嗚稊勴⟝׾㼰׃㢌刿ׅ׷׌ֽדծ֮ז׋ך椚 䟝ך暟⟝ח⳿⠓ִ׷〳腉䚍ָ넝ֻז׶תׅկ 勴⟝׾㢌ִג嗚稊׃ג׫גֻ׌ְׁկ ׀䋞劄ך暟⟝כ 鋅אַ׶תׇ׿ד׃׋ַ ꟗׄ׷ ҰਓҰਓʹ߹Θͤͨ ސ٬ମݧΛఏڙ WebαΠτͷ๚໰ऀͷߦಈΛ
 ސ٬͝ͱʹϦΞϧλΠϜʹղੳ KARTEʹ͍ͭͯ CX(ސ٬ମݧ)ϓϥοτϑΥʔϜ
  10. 10 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. CX(ސ٬ମݧ)ϓϥοτϑΥʔϜ

    KARTEʹ͍ͭͯ ϢʔβΛ஌Δ • User StateͷมԽΛϦΞϧλΠϜʹଊ͑ΒΕΔ͜ͱ • ଟ໘తʹϢʔβΛଊ͑ΒΕΔ͜ͱ Ϣʔβʹ߹ΘͤΔ • จ຺ʹԠͯ͡αΠτ্/αΠτ֎ͷ༷ʑͳखஈͰ߹ΘͤΒΕΔ͜ͱ
  11. 11 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. CX(ސ٬ମݧ)ϓϥοτϑΥʔϜ

    KARTEʹ͍ͭͯ ϢʔβΛ஌Δ • User StateͷมԽΛϦΞϧλΠϜʹଊ͑ΒΕΔ͜ͱ • ଟ໘తʹϢʔβΛଊ͑ΒΕΔ͜ͱ Ϣʔβʹ߹ΘͤΔ • จ຺ʹԠͯ͡αΠτ্/αΠτ֎ͷ༷ʑͳखஈͰ߹ΘͤΒΕΔ͜ͱ
  12. 12 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. CX(ސ٬ମݧ)ϓϥοτϑΥʔϜ

    KARTEʹ͍ͭͯ + External System ϢʔβΛ஌Δ • User StateͷมԽΛϦΞϧλΠϜʹଊ͑ΒΕΔ͜ͱ • ଟ໘తʹϢʔβΛଊ͑ΒΕΔ͜ͱ Ϣʔβʹ߹ΘͤΔ • จ຺ʹԠͯ͡αΠτ্/αΠτ֎ͷ༷ʑͳखஈͰ߹ΘͤΒΕΔ͜ͱ
  13. 13 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. CX(ސ٬ମݧ)ϓϥοτϑΥʔϜ

    KARTEʹ͍ͭͯ External System ϢʔβΛ஌Δ • User StateͷมԽΛϦΞϧλΠϜʹଊ͑ΒΕΔ͜ͱ • ଟ໘తʹϢʔβΛଊ͑ΒΕΔ͜ͱ Ϣʔβʹ߹ΘͤΔ • จ຺ʹԠͯ͡αΠτ্/αΠτ֎ͷ༷ʑͳखஈͰ߹ΘͤΒΕΔ͜ͱ Amazon S3 Amazon EventBridge +
  14. 14 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. Realtime

    Analysis/Action Engine … Latest User State KARTE ར༻ऀ༷ ͷΤϯυϢʔβ ࣄલʹઃఆ͞ΕͨτϦΨʔͱ Latest User Stateʹج͍ͮͯɺ ActionΛ࣮ߦ 0.x sec etc… Action ૹ৴͞ΕΔEvent͝ͱʹUser Stat e ΛϦΞϧλΠϜʹղੳ Event (Userͷߦಈσʔλ) Realtim e Analysis/Action Engine Action΍ ActionτϦΨʔͷͨΊͷ SegmentͳͲΛઃఆ KARTE ར༻ऀ༷
  15. 15 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. KARTEಋೖاۀ༷

    Ұ෦ൈਮ ※2021೥3݄30೔࣌఺ʢABC/50Իॱʣ EC / ૯߹௨ൢ ۚ༥ / อݥ IT / αʔϏε ϝʔΧʔ ਓࡐ ඒ༰ / ϔϧεέΞ ෆಈ࢈ / ॅ୐৘ใ ڭҭ / ֶश ཱྀߦ / ަ௨ ίϯςϯπ
  16. 16 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. External

    Interface … Latest User State KARTE ར༻ऀ༷ ͷΤϯυϢʔβ ࣄલʹઃఆ͞ΕͨτϦΨʔͱ Latest User Stateʹج͍ͮͯɺ ActionΛ࣮ߦ etc… Action ૹ৴͞ΕΔEvent͝ͱʹUser Stat e ΛϦΞϧλΠϜʹղੳ Event (Userͷߦಈσʔλ) Realtim e Analysis/Action Engine External Interfac e Realtim e - External Actio n - Api Batc h - Datahub 0.x sec
  17. 17 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. External

    Interface … Latest User State KARTE ར༻ऀ༷ ͷΤϯυϢʔβ ࣄલʹઃఆ͞ΕͨτϦΨʔͱ Latest User Stateʹج͍ͮͯɺ ActionΛ࣮ߦ etc… Action ૹ৴͞ΕΔEvent͝ͱʹUser Stat e ΛϦΞϧλΠϜʹղੳ Event (Userͷߦಈσʔλ) Realtim e Analysis/Action Engine External Interfac e Realtim e - External Actio n - Api Batc h - Datahub 0.x sec KARTE ར༻ऀ༷ ͷAWS؀ڥ Amazon EventBridge Amazon S3
  18. 18 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. Realtime

    External Interface (External Action) • Realtime External Interface (External Action) • Realtime External Interface (Api ) • Batch Interface (Datahub) Amazon EventBridge Amazon EventBridge Amazon S3 With With With
  19. 19 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. External

    Action ͱ͸ʁ Event … Latest User State KARTE ར༻ऀ༷ ͷΤϯυϢʔβ ࣄલʹઃఆ͞ΕͨτϦΨʔͱ Latest User Stateʹج͍ͮͯɺ ActionΛ࣮ߦ 0.x sec ૹ৴͞ΕΔEvent͝ͱʹUser Stat e ΛϦΞϧλΠϜʹղੳ ExternalAction … Latest User State KARTE ར༻ऀ༷ ͷAWS؀ڥ Realtim e Analysis/Action Engine Amazon EventBridge … etc… Action
  20. 20 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. Amazon

    EventBridge ͱ͸ʁ https://ap-northeast-1.console.aws.amazon.com/events/home?region=ap-northeast-1
  21. 21 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. Ϣʔβͷঢ়ଶʹԠͨ͡ి࿩αϙʔτ

    Event … Latest User State KARTE ར༻ऀ༷ ͷΤϯυϢʔβ ࣄલʹઃఆ͞ΕͨτϦΨʔͱ Latest User Stateʹج͍ͮͯɺ ActionΛ࣮ߦ 0.x sec Action ૹ৴͞ΕΔEvent͝ͱʹUser Stat e ΛϦΞϧλΠϜʹղੳ ExternalAction … Latest User State KARTE ར༻ऀ༷ ͷAWS؀ڥ Realtim e Analysis/Action Engine Amazon EventBridge … AWS Lambda Amazon Connect ᶄి࿩Λ͔͚͍ͨstateͰ͋Δ͜ͱΛτϦΨʔʹ Amazon EventBridge ʹ User StateΛૹ৴ ᶃKARTEͰදࣔͨ͠αΠτ্ͷϙοϓΞοϓ Ͱ `ి࿩Λ໰͍߹ΘͤΔ` Λબ୒͢Δ͜ͱͰɺ ίʔϧόοΫʹඞཁͳEvent͕ൃੜ ᶅUser State͔Β ඞཁͳ৘ใΛऔಘ/Ճ޻͠ɺ Amazon ConnectͷapiΛcall ᶆLambda͔Β౉͖ͬͯͨ৘ใΛɺ Amazon ConnectͷContactFlo w Ͱར༻͠ɺFlowʹै͍ి࿩Λ͔͚Δ
  22. 22 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. ݟग़͠ςΩετ

    ͜ΕʹΑΓɺ·ͣ͸͓٬༷ͷ଴͕ͪ࣌ؒ࡟ݮ͞Ε·͠ ͨɻٙ໰ͷղফͷਫ਼౓΋্͕ΔͷͰɺ͓٬༷ʹͱͬͯͷ ൥Θ͠͞Λ཈੍͢Δ͜ͱ͕Ͱ͖·͢ɻ knowbeͷαʔϏεͷੑ্࣭ɺITϦςϥγʔͷߴ͍͓٬༷ ͹͔ΓͰ͸ͳ͘ɺి࿩ରԠ΁ͷχʔζ͸ڧ͋͘Γ·͢ɻͦ ͜ʹஸೡʹ޲͖߹͑ΔΑ͏ʹͳͬͨͱߟ͍͑ͯ·͢ɻ Ϣʔβͷঢ়ଶʹԠͨ͡ి࿩αϙʔτ https://cxclip.karte.io/interview/recruit/
  23. 23 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. Realtime

    External Interface (Api) • Realtime External Interface (External Action) • Realtime External Interface (Api ) • Batch Interface (Datahub) Amazon EventBridge Amazon EventBridge Amazon S3 With With With
  24. 24 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. KARTE

    Apiͱ͸ʁ ,"35& ΢ΣϒαΠτ/ΞϓϦ্ͰܭଌͰ͖ͳ͍
 ೚ҙͷΠϕϯτͷૹ৴ Track API Talk API KARTE TALKͰͷ ΤϯυϢʔβͱͷϝοηʔδͷ΍ΓऔΓ ୲౰ΦϖϨʔλʔͷૢ࡞ͳͲ Datahub API KARTE DatahubͰͷ δϣϒͷ࣮ߦ΍৘ใऔಘͳͲ KARTEͷػೳΛ֎෦γεςϜ͔ΒApi࣮ߦͰ͖Δػೳ 2021/02ʹGA൛ͷఏڙ։࢝
  25. 25 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. Api

    hook with Amazon EventBridge ,"35& Talk hook KARTE TALKͰͷ ΤϯυϢʔβͱͷϝοηʔδɺ ୲౰ΦϖϨʔλʔͷૢ࡞৘ใͳͲ Datahu b hook KARTE DatahubͰͷ δϣϒͷ࣮ߦ։࢝/ऴྃ৘ใͳͲ Amazon EventBridge ಛఆͷॲཧΛτϦΨʔʹɺAmazon EventBridgeʹApiͰऔಘͰ͖ΔσʔλΛ౤͛Δػೳ
  26. KARTE ར༻ऀ༷ͷAWS؀ڥ Chat messag e from user KARTE ར༻ऀ༷ ͷΤϯυϢʔβ

    ᶆAmazon ComprehendͰ ײ৘෼ੳͱΩʔϫʔυΛநग़ ᶅ ϝοηʔδͷத਎Λ࢖ͬͯ Amazon ComprehendͷapiΛcall ᶇKARTE TALK apiΛlamdaΛ࢖ͬͯcall͠ɺײ৘෼ੳσʔλΛݩʹͨ͠ϝοηʔδΛૹ৴ ᶃ KARTE TALKͰΤϯυϢʔβ͕ϝοηʔδΛૹ৴ ᶄΤϯυϢʔβͷϝοηʔδૹ৴ΛτϦΨʔʹ Amazon EventBridge ʹϝοηʔδΛhook 26 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. ײ৘෼ੳνϟοτϘοτ Chat messag e from operator … … Amazon EventBridge AWS Lambda Amazon Comprehend
  27. 27 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. ࿈ܞΠϯλʔϑΣʔε

    ʹAmazon EventBridge ΛબΜͩཧ༝ • ϊʔίʔυ͔ͭӡ༻ίετෆཁͰ؆୯ʹϢʔβͷAWS؀ڥͱܨ͛ΒΕΔ • AWSͷαʔόϨεจ຺ͷத৺తͳଘࡏɻLambdaͳͲʹγʔϜϨεͰ؆୯ʹܨ͛ΒΕΔ • KARTEͱAmazonEventBridgeͷ࿈ܞ෦෼ͷ։ൃ͕ඇৗʹ؆୯ (࣮࣭Ұिؒ) + Amazon EventBridge
  28. 28 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. Batch

    External Interface (Datahub) • Realtime External Interface (External Action) • Realtime External Interface (Api ) • Batch Interface (Datahub) Amazon EventBridge Amazon EventBridge Amazon S3 With With With
  29. 29 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. KARTE

    Datahub ͱ͸ʁ ࣾ಺֎ʹଘࡏ͢ΔଟछେྔͳσʔλΛKARTEʹ౷ ߹͠ɺΑΓߴ౓ͳηάϝϯςʔγϣϯ΍ΞΫγϣϯ ͷ࣮ߦʹՃ͑ͯɺϏδωε্ͷਝ଎ͳҙࢥܾఆΛࢧ ԉ͢Δʮσʔλ౷߹ɾར׆༻ϓϥοτϑΥʔϜʯ
  30. 30 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. KARTE

    Datahub ͷߏ੒ཁૉ KARTE಺֎ʹଘࡏ͢ΔଟछେྔͳσʔλΛ౷߹ɾ؅ཧɾ෼ੳ͢ΔʮσʔλςʔϒϧʯΛத৺ʹɺ σʔλͷ෼ੳ݁Ռʹج͖ͮɺKARTEͰܭଌ͞ΕͨϢʔβʔσʔλʹ৽ͨͳଐੑ৘ใΛ෇༩͢Δʮඥ෇͚ςʔϒϧʯͱ ઀٬αʔϏεͷίϯςϯπͱͯ͠׆༻͢ΔʮΞΫγϣϯςʔϒϧʯͰߏ੒͞ΕΔ
  31. 31 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. ΦϑϥΠϯσʔλ౷߹Ϩίϝϯσʔγϣϯ

    KARTE ར༻ऀ༷ ͷΤϯυϢʔβ ᶃOnlineUser activity DataͷExport jobΛ DatahubͰ࣮ߦ͠S3ʹExport ᶆ Amazon Personalize Ͱ Recommendation DataΛ όονͰਪ࿦ Latest User State … ᶉ ࣄલʹઃఆ͞ΕͨτϦΨʔ + Latest User State + ඥ෇͚ςʔϒϧ + ΞΫγϣϯςʔϒϧ Λར༻͠ɺActionΛ࣮ߦ ᶈ Ϣʔβ͕αΠτͰߦಈ Event ʴ ᶊ ϢʔβͷߦಈσʔλʹԠͨ͡ΞΠςϜΛϨίϝϯυ KARTE ར༻ऀ༷ͷAWS؀ڥ ᶅ Amazon AthenaͰ OnlineͱOf fl ineͷDataΛjoin ʴ ᶇ KARTE Datahub apiΛcall͠ ɹҎԼͷImport jobΛ࣮ߦ ɹ- recommendation data -> ඥ෇͚ςʔϒϧ ɹ- item data -> ΞΫγϣϯςʔϒϧ Onlin e User activity Data Of fl in e User activity Data Online and of fl in e User activity Data Recommendatio n Data Item Data ᶅ ᶆ ᶇ ᶇ Amazon EventBridge ᶄ job׬ྃΛhook Step Functions Amazon Athena Amazon Personalize Amazon S3 AWS Lambda AWS Lambda AWS Lambda
  32. 32 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. ࿈ܞΠϯλʔϑΣʔεʹAmazon

    S3 ΛબΜͩཧ༝ • ϊʔίʔυ͔ͭӡ༻ίετෆཁͰ؆୯ʹϢʔβͷAWS؀ڥͱܨ͛ΒΕΔ • AWSͷσʔλॲཧͷத৺తͳଘࡏͰɺ͞·͟·ͳσʔλܥͷServiceͱ࿈ܞͰ͖Δ • ѹ౗తͳ֎෦ΤίγεςϜ • ރΕٕͨज़(15प೥ɺ100ஹΦϒδΣΫτʂ ) • ϓϩμΫτͯ͠ͷັྗ • S3 Select, Strong Consistency etc ... + Amazon S3
  33. 34 AWS Summit Online 2021 ɹ ɹɹʛɹɹ© PLAID Inc. ·ͱΊ

    … Latest User State KARTE ར༻ऀ༷ ͷΤϯυϢʔβ ࣄલʹઃఆ͞ΕͨτϦΨʔͱ Latest User Stateʹج͍ͮͯɺ ActionΛ࣮ߦ etc… Action ૹ৴͞ΕΔEvent͝ͱʹUser Stat e ΛϦΞϧλΠϜʹղੳ Event (Userͷߦಈσʔλ) Realtim e Analysis/Action Engine External Interfac e Realtim e - External Actio n - Api Batc h - Datahub Amazon EventBridge Amazon S3 0.x sec + = ∞ ϢʔβΛ஌Δ • User StateͷมԽΛϦΞϧλΠϜʹଊ͑ΒΕΔ͜ͱ • ଟ໘తʹϢʔβΛଊ͑ΒΕΔ͜ͱ Ϣʔβʹ߹ΘͤΔ • จ຺ʹԠͯ͡αΠτ্/αΠτ֎ͷ༷ʑͳखஈͰ߹ΘͤΒΕΔ͜ͱ