Slide 1

Slide 1 text

Haskell ST #09 CONTENTS ੩తղੳπʔϧͰ(Pͷ͏͔ͬΓϛεΛͳͦ͘͏ ୳๚45.BU)BTLFMM 8FCͷճؼςετͷࣗಈԽ NJDSPCJUͷ͓΋͠Ζ׆༻ߟࠪ $IBU(15Λ2"͕࢖͍͜ͳ͢ҝͷΞΠσΞ MIXI TECH NOTE Go ChatGPT

Slide 2

Slide 2 text

MIXI TECH NOTE #09 גࣜձࣾ MIXI ༗ࢤɹஶ 2023-05-20 ൛ גࣜձࣾ MIXI ൃߦ

Slide 3

Slide 3 text

No content

Slide 4

Slide 4 text

·͕͖͑ ຊॻʮMIXI TECH NOTE #09ʯ͸ɺMIXI GROUP ʹॴଐ͢Δ༗ࢤୡʹΑͬͯࣥචɾ੍࡞͞Εٕͨ ज़ॻͰ͢ɻ࣮ࡍͷݱ৔Ͱ࢖ΘΕٕͨज़΍ߟ͑ํɺ·ͨɺݸਓతʹڵຯɾؔ৺ͷ͋Δ෼໺͔Βɺࢥ͍ࢥ ͍ʹࣥච͍ͨ͠·ͨ͠ɻͦͷͨΊɺ֤ষͦΕͧΕͰ׬͍݁ͯ͠Δ಺༰ʹͳ͍ͬͯ·͢ͷͰɺ޷͖ͳষ ͔Β޷͖ͳॱ൪Ͱָ͓͠Έ͍ͩ͘͞ɻ ·ͨɺຊॻ͸ɺMIXI GROUP ʹ͋Δٕज़త஌ݟ΍ΞΠσΞΛੵۃతʹڞ༗ɾެ։͍ͯ͘͜͠ͱ ͰɺੈͷதʹΑΓྑ͍αʔϏε͕ҲΕग़͢͜ͱΛئͬͯץߦ͞Ε͍ͯ·͢ɻܝࡌ͞Ε͍ͯΔ৘ใ͸ɺ ࣥචऀࣗ਎ͷ؀ڥͰݕূࣥ͠ච͞Εͨ΋ͷͰ͢ͷͰɺ͝ࢀߟʹ͞ΕΔࡍ͸ɺࣗ͝਎ͷ੹೚Ͱ൑அ͠ ͝׆༻͍ͩ͘͞ɻͳ͓ɺจষදݱʹ͖ͭ·ͯ͠΋ɺࣥචऀࣗ਎ͷݴ༿Ͱ఻͑ͨ͘ɺϑϥϯΫͳදݱͱ ͳ͓ͬͯΓ·͢͜ͱ͝ཧղ͍͚ͨͩΕ͹ͱࢥ͍·͢ɻ MIXI DEVELOPERS Ұಉ ˗ຊॻʹؔ͢Δ͓໰͍߹Θͤઌ ɹ https://twitter.com/mixi_engineers ˗ MIXI GROUP ʹ͍ͭͯ ɹ https://mixi.co.jp/ ˞ MIXI ͷ໊শɺ͜Εʹؔ࿈͢Δ঎ඪٴͼϩΰ͸ɺגࣜձࣾ MIXI ͷ঎ඪٴͼొ࿥঎ඪͰ͢ɻ·ͨɺ ֤ࣾͷձ໊ࣾɺαʔϏεٴͼ੡඼ͷ໊শ͸ɺͦΕͧΕͷॴ༗͢Δ঎ඪ·ͨ͸ొ࿥঎ඪͰ͢ɻ iii

Slide 5

Slide 5 text

No content

Slide 6

Slide 6 text

໨࣍ ·͕͖͑ iii ୈ 1 ষ ੩తղੳπʔϧͰ Go ͷ͏͔ͬΓϛεΛͳͦ͘͏ 1 1.1 ͸͡Ίʹ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Go Analysis Λ࢝ΊΔ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 ੩తղੳπʔϧΛॻ͍ͯΈΔ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.4 ͓ΘΓʹ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 ୈ 2 ষ ୳๚ STM at Haskell 13 2.1 Software Transactional Memory . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.2 STM ͷ࢖ΘΕํ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.3 ऴΘΓʹ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 ୈ 3 ষ Web ͷճؼςετͷࣗಈԽ 23 3.1 ճؼςετͱ͸ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3.2 ՝୊ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3.3 Ξϓϩʔν . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3.4 ࣮ફ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3.5 ͍͞͝ʹ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 29 4.1 ຊষʹ͍ͭͯ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 4.2 ಺ଂ Beep ԻεϐʔΧʔͰϝϩσΟϓϨΠϠʔ . . . . . . . . . . . . . . . . . . . . 32 4.3 Ճ଎౓ηϯαͰମݧܕήʔϜίϯτϩʔϥ . . . . . . . . . . . . . . . . . . . . . . 35 4.4 ϚΠίϯνοϓ୯ಠϛχήʔϜ੍࡞ . . . . . . . . . . . . . . . . . . . . . . . . . . 45 4.5 ऴΘΓʹ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 ୈ 5 ষ ChatGPT Λ QA ͕࢖͍͜ͳ͢ҝͷΞΠσΞ 49 5.1 ChatGPT ͔Β GPT-4 ͕ϦϦʔε . . . . . . . . . . . . . . . . . . . . . . . . . . 49 5.2 ςετϓϩηε͝ͱͷ׆༻ΞΠσΞ . . . . . . . . . . . . . . . . . . . . . . . . . . 50 5.3 ৼΓฦΓͰͷ׆༻ΞΠσΞ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 v

Slide 7

Slide 7 text

໨࣍ 5.4 ࣮ફʂ ެࣜαΠτͷ͓஌ΒͤνΣοΫ . . . . . . . . . . . . . . . . . . . . . . . . 54 5.5 ࠓޙͷల๬ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 ஶऀ঺հ 59 vi

Slide 8

Slide 8 text

ୈ 1 ষ ੩తղੳπʔϧͰ Go ͷ͏͔ͬΓϛεΛ ͳͦ͘͏ 1.1 ͸͡Ίʹ ຊষʹڵຯΛ࣋ͨΕͨͱݴ͏͜ͱ͸ɺ͓ͦΒ͘೔ʑۀ຿΍झຯͰେྔͷιʔείʔυʹ೴Λম͔Ε ͍ͯΔํͱࢥ͍·͢ɻ ࢲ͕ܞΘ͍ͬͯΔڞ༡ܕεϙʔπϕοςΟϯάαʔϏε TIPSTAR *1 Ͱ͸ɺօ͞Μͱಉ༷ʹ೔ʑ ਺ઍ͔Β਺ສͷίʔυΛॻ͍ͨΓϨϏϡʔͨ͠Γ (ॻ͖௚ͨ͠Γ) ͓ͯ͠ΓɺͦͷதͰͷେ͖ͳ՝୊ ͱ࣮ͯ͠૷࿙Ε΍ϨϏϡʔ࿙Ε͕͋Γ·͢ɻ ࠷ۙͰ͸ਂ૚ֶशͷൃలʹ൐ͬͯࣗಈͰϓϩμΫτίʔυ͕ग़ͯ͘Δ & ϨϏϡʔͯ͘͠ΕΔະདྷ ΋ඵಡΈ͔ɺͱ͍͏ྲྀΕ΋͋Γ·͕͢ɺґવͱͯ͠ʮͰ͖ΔͳΒ࣮֬ʹ͜͜͸ݟಀͨ͘͠ͳ͍ʯͱ͔ ʮ͜Μͳ໌Β͔ͳ͏͔ͬΓϛε͸ͬ͞͞ͱؾ෇͍ͯ΄͍͠ʯΈ͍ͨͳ͜ͱ͸͋Δͱࢥ͍·͢ɻ ͨͱ͑͹࣍ͷϖʔδͷ human.go ΛϨϏϡʔͯ͠Έ·͠ΐ͏ɻ *1 https://about.tipstar.com/ MIXI ͕ӡӦ͢ΔɺڝྠɾPIST6ɾΦʔτϨʔεͷωοτ౤ථΛجຊແྉͰָ͠Ή͜ͱ ͕Ͱ͖ΔαʔϏεͰ͢ 1

Slide 9

Slide 9 text

ୈ 1 ষ ੩తղੳπʔϧͰ Go ͷ͏͔ͬΓϛεΛͳͦ͘͏ 1.1 ͸͡Ίʹ Ϧετ 1.1: human.go 1: package main 2: 3: import ( 4: "errors" 5: "fmt" 6: "log" 7: ) 8: 9: type Human struct { 10: Name string 11: Age int 12: } 13: 14: func (m *Human) IsValid() error { 15: if m.Name == "" { 16: return errors.New("Human has no Name") 17: } 18: return nil 19: } 20: 21: func (m *Human) Profile() (string, error) { 22: if err := m.IsValid(); err != nil { 23: log.Printf("[err] Human Profile raise err: since %v", err) 24: return "", nil // error handling ... 25: } 26: return fmt.Sprintf("Name: %s, Age: %d", m.Name, m.Age), nil 27: } 28: 29: func main() { 30: me := Human{Name: "Meguru", Age: 25} 31: profile, err := me.Profile() 32: if err != nil { 33: log.Fatal(err) 34: } 35: fmt.Printf("[%s] Hello, World\n", profile) 36: } ϩάΛग़ͯ҆͠৺ͯ͠͠·ͬͨͷ͔ɺProfile ؔ਺ͷ L.23 Ͱൃੜͨ͠ΤϥʔΛݟա͍ͯ͝͠· ͢Ͷɻ͜ͷ··Ͱ͸ main ؔ਺Ͱҙਤ͠ͳ͍ Hello, World ͕දࣔ͞Εͯ͠·͍·͢ɻ ຊষͰ͸͜ͷΑ͏ͳϨϏϡʔͷۤ͠ΈΛগ͠Ͱ΋ղফ͢Δɺ੩తղੳπʔϧͷ࡞Γํʹ͍ͭͯ঺հ ͠·͢ɻ 2

Slide 10

Slide 10 text

ୈ 1 ষ ੩తղੳπʔϧͰ Go ͷ͏͔ͬΓϛεΛͳͦ͘͏ 1.2 Go Analysis Λ࢝ΊΔ 1.2 Go Analysis Λ࢝ΊΔ ੩తղੳͱ͸ϓϩάϥϜͷίʔυΛίʔυͱͯ͠ (࣮ߦ͢Δ͜ͱͳ͘) ݕূ͢Δ͜ͱΛࢦ͠ɺಘΒ Εͨղੳ݁ՌΛར༻͢Δ͜ͱͰҙਤ͠ͳ͍ಈ࡞Λݕ஌Ͱ͖·͢ɻ Go ͷ੩తղੳͷͨΊඪ४ύοέʔδͱͯ͠͸ Go Analysis *2 ͕͋Γɺ͜ͷύοέʔδΛ༻͍ͯ ੩తղੳͷॲཧΛڞ௨Խ͢Δ͜ͱͰޮ཰తʹ੩తղੳπʔϧΛ࣮૷Ͱ͖·͢ɻ ·ͨઌਓͨͪ΋ଟ͘ͷπʔϧΛ࣮૷͓ͯ͠Γɺͨͱ͑͹ GoStaticAnalysis *3 ϦϙδτϦʹ͸ଟ ͘ͷ੩తղੳπʔϧ͕ଘࡏ͢ΔͨΊɺ͜ΕΒΛࢀߟʹ͢Δ͜ͱ΋Ͱ͖·͢ɻ ʢࠓճ͸͔̍Β࡞ͬͯΈ ·͢ʣ ݸਓతͳܦݧͰ͸͋Γ·͕͢ɺಛʹ Go Analysis Λ༻͍ͯ੩తղੳπʔϧΛ࣮૷͢ΔͨΊͷύλʔ ϯͱͯ͠ɺҎԼͷΑ͏ͳྲྀΕͰ࣮૷͢Δ͜ͱ͕ଟ͍Ͱ͢ɻ 1. ҙਤ͠ͳ͍ίʔυͷαϯϓϧΛ࡞Δ 2. ͦͷαϯϓϧίʔυΛதؒදݱͱݺ͹ΕΔ੩తղੳʹศརͳܗʹม׵ͯ͠ɺҙਤ͠ͳ͍ڍಈ͕ ͲͷΑ͏ͳঢ়ଶʹΑͬͯҾ͖ى͜͞ΕΔͷ͔Λௐ΂Δ 3. αϯϓϧίʔυͷҙਤ͠ͳ͍෦෼ʹ͍ͭͯܯࠂΛൃੜ͢ΔΑ͏ʹ੩తղੳπʔϧΛ࣮૷͢Δ 4. ࣮૷্ؾ෇͍ͨ͜ͱͳͲΛࢀߟʹɺαϯϓϧͷ௥Ճ + πʔϧͷϦϑΝΫλϦϯάΛߦ͏ ࠓճ͸ 1. ͷαϯϓϧͱͯ͠ human.go Λ༻͍͍͖ͯɺ2., 3. ʹ͍ͭͯΛ͜ͷޙͷઅͰ঺հ͍ͯ͠ ͖·͢ɻ Go ͷίʔυΛதؒදݱͰಡΈ௚ͯ͠ΈΔ தؒදݱͱ͸ Go ͷιʔείʔυΛ෼ੳ͠΍ͨ͘͢͠΋ͷͰ͋Γɺ۩ମతʹ͸ ந৅ߏจ໦ (AST, Abstract Syntax Tree) ͱ੩త୯Ұ୅ೖܗࣜ (SSA, Static Single Assignment) ͳͲ͕͋Γ·͢ɻ ҎԼʹͦΕͧΕͷදݱͱ Go ͷίʔυΛಡΈࠐΜͰͦΕͧΕͷதؒදݱͰग़ྗͯ͘͠ΕΔ؆қεΫ ϦϓτΛ঺հ͍͖ͯ͠·͢ɻ ந৅ߏจ໦ (AST) ந৅ߏจ໦ͱ͸ʮTreeʯͱ໊લʹ͋ΔΑ͏ʹɺϓϩάϥϜͳͲͷίʔυΛ໦ߏ଄ʹஔ͖׵͑ͨ΋ͷ ʹͳΓ·͢ɻͨͱ͑͹ 1 + 2 ͱ͍ͬͨ଍͠ࢉΛந৅ߏจ໦্Ͱද͢ͱ • Ճࢉԋࢉࢠ + Λ෼ذ఺ • ࠨӈʹ஋Ͱ͋Δ 1 , 2 Λ༿ ͱ͢ΔΑ͏ͳਫ෼ࢠͷΑ͏ͳΠϝʔδ͕ߟ͑ΒΕ·͢ɻ *2 https://godoc.org/golang.org/x/tools/go/analysis *3 https://github.com/gostaticanalysis 3

Slide 11

Slide 11 text

ୈ 1 ষ ੩తղੳπʔϧͰ Go ͷ͏͔ͬΓϛεΛͳͦ͘͏ 1.2 Go Analysis Λ࢝ΊΔ ਤ 1.1: 1 + 2 ͷந৅ߏจ໦ Go ͷίʔυΛந৅ߏจ໦ʹ෼ղ͢Δʹ͸ҎԼͷΑ͏ͳαϯϓϧίʔυΛར༻Ͱ͖·͢ɻ Ϧετ 1.2: cmd/astdump/main.go 1: package main 2: 3: import ( 4: "flag" 5: "go/ast" 6: "go/parser" 7: "go/token" 8: "log" 9: ) 10: 11: func main() { 12: s := flag.String("f", "human.go", "file-path") 13: flag.Parse() 14: 15: fset := token.NewFileSet() 16: f, err := parser.ParseFile(fset, *s, nil, 0) 17: if err != nil { 18: log.Fatalf("Failed to parse file: cause %v", err) 19: } 20: if err := ast.Print(fset, f); err != nil { 21: log.Fatalf("Print failed: cause %v", err) 22: } 23: } go run ./cmd/astdump -f human.go Ͱग़ྗΛಘΒΕɺͦͷ͏ͪͷ Profile ؔ਺ͷҰ෦ΛऔΓ ग़͢ͱ࣍ͷΑ͏ʹͳΓ·͢ɻ ಛʹ L.366 ͷ *ast.ReturnStmt ͸ human.go ʹ͓͚Δ return "", nil // error handlin g ... ͷ෦෼ʹ֘౰͠·͢ɻ 4

Slide 12

Slide 12 text

ୈ 1 ষ ੩తղੳπʔϧͰ Go ͷ͏͔ͬΓϛεΛͳͦ͘͏ 1.2 Go Analysis Λ࢝ΊΔ astdump.log 226 . . 3: *ast.FuncDecl { 283 . . . Body: *ast.BlockStmt { 284 . . . . Lbrace: human.go:21:43 285 . . . . List: []ast.Stmt (len = 2) { 286 . . . . . 0: *ast.IfStmt { 287 . . . . . . If: human.go:22:2 321 . . . . . . Cond: *ast.BinaryExpr { 322 . . . . . . . X: *ast.Ident { 323 . . . . . . . . NamePos: human.go:22:25 324 . . . . . . . . Name: "err" 325 . . . . . . . . Obj: *(obj @ 293) 326 . . . . . . . } 327 . . . . . . . OpPos: human.go:22:29 328 . . . . . . . Op: != 329 . . . . . . . Y: *ast.Ident { 330 . . . . . . . . NamePos: human.go:22:32 331 . . . . . . . . Name: "nil" 332 . . . . . . . } 333 . . . . . . } 334 . . . . . . Body: *ast.BlockStmt { 335 . . . . . . . Lbrace: human.go:22:36 336 . . . . . . . List: []ast.Stmt (len = 2) { 337 . . . . . . . . 0: *ast.ExprStmt { 338 . . . . . . . . . X: *ast.CallExpr { 339 . . . . . . . . . . Fun: *ast.SelectorExpr { 340 . . . . . . . . . . . X: *ast.Ident { 341 . . . . . . . . . . . . NamePos: human.go:23:3 342 . . . . . . . . . . . . Name: "log" 343 . . . . . . . . . . . } 344 . . . . . . . . . . . Sel: *ast.Ident { 345 . . . . . . . . . . . . NamePos: human.go:23:7 346 . . . . . . . . . . . . Name: "Printf" 347 . . . . . . . . . . . } 348 . . . . . . . . . . } 365 . . . . . . . . } 366 . . . . . . . . 1: *ast.ReturnStmt { 367 . . . . . . . . . Return: human.go:24:3 368 . . . . . . . . . Results: []ast.Expr (len = 2) { 369 . . . . . . . . . . 0: *ast.BasicLit { 370 . . . . . . . . . . . ValuePos: human.go:24:10 371 . . . . . . . . . . . Kind: STRING 372 . . . . . . . . . . . Value: "\"\"" 373 . . . . . . . . . . } 374 . . . . . . . . . . 1: *ast.Ident { 375 . . . . . . . . . . . NamePos: human.go:24:14 376 . . . . . . . . . . . Name: "nil" 377 . . . . . . . . . . } 440 . . } 5

Slide 13

Slide 13 text

ୈ 1 ষ ੩తղੳπʔϧͰ Go ͷ͏͔ͬΓϛεΛͳͦ͘͏ 1.2 Go Analysis Λ࢝ΊΔ ੩త୯Ұ୅ೖܗࣜ (SSA) ੩త୯Ұ୅ೖܗࣜͱ͸ղੳ͢Δίʔυ্Ͱม਺ఆ͕ٛҰҙʹͳΔΑ͏ͳ (ಉ໊͡લͷม਺Λڐ͞ͳ ͍) ܗͷதؒදݱͰ͢ɻ͜ͷදݱΛར༻͢Δͱɺಉ໊͡લͷม਺ʹ஋Λ্ॻ͖ͯ͠͠·ͬͨ͜ͱΛݕ ஌ͨ͠Γɺ͋Δ஋͕ͲͷܕͰѻΘΕ͍ͯΔ͔Λௐࠪͨ͠Γɺͱ͍ͬͨ͜ͱ͕༰қʹͳΓ·͢ɻ ιʔείʔυΛ SSA ΁ม׵͢Δʹ͸ golang.org/x/tools/cmd/ssadump Λར༻Ͱ͖·͢ɻ sample.sh go build -o ./bin/ssadump golang.org/x/tools/cmd/ssadump ./bin/ssadump -build=F ./human.go ग़ྗͷ͏ͪ Profile ؔ਺ͷΈΛऔΓग़͢ͱ࣍ͷΑ͏ʹͳΓ·͢ɻ ಛʹ return "":string, nil:error ͸ human.go ʹ͓͚Δ return "", nil // error han dling ... ͷ෦෼ʹ֘౰͠·͢ɻ ssadump.log func (m *Human) Profile() (string, error): 0: entry P:0 S:2 t0 = (*Human).IsValid(m) error t1 = t0 != nil:error bool if t1 goto 1 else 2 1: if.then P:1 S:0 t2 = new [1]any (varargs) *[1]any t3 = &t2[0:int] *any t4 = change interface any <- error (t0) any *t3 = t4 t5 = slice t2[:] []any t6 = log.Printf("[err] Humun Profi...":string, t5...) () return "":string, nil:error 2: if.done P:1 S:0 t7 = &m.Name [#0] *string t8 = *t7 string t9 = &m.Age [#1] *int t10 = *t9 int t11 = new [2]any (varargs) *[2]any t12 = &t11[0:int] *any t13 = make any <- string (t8) any *t12 = t13 t14 = &t11[1:int] *any t15 = make any <- int (t10) any *t14 = t15 t16 = slice t11[:] []any t17 = fmt.Sprintf("Name: %s, Age: %d":string, t16...) string return t17, nil:error 6

Slide 14

Slide 14 text

ୈ 1 ষ ੩తղੳπʔϧͰ Go ͷ͏͔ͬΓϛεΛͳͦ͘͏ 1.3 ੩తղੳπʔϧΛॻ͍ͯΈΔ 1.3 ੩తղੳπʔϧΛॻ͍ͯΈΔ ੩తղੳπʔϧΛ࣮૷͢ΔͨΊͷςϯϓϨʔτͱͯ͠ skeleton *4 ͕͋Γ·͢ɻ skeleton Λར༻ͨ͠৔߹ͷ੩తղੳπʔϧͷςϯϓϨʔτ͸ҎԼͷΑ͏ʹͳΓ·͢ɻ ·ͣ͸ samplelinter/testdata/src/a/a.go ΁αϯϓϧίʔυ (hello.go) Λςετͱͯ͠഑ ஔͯ͠ɺςετʹ߹֨͢ΔΑ͏ίʔυΛΰϦΰϦॻ͍͍͖ͯ·͠ΐ͏ɻ skeleton-tree . ᵋᴷᴷ samplelinter ᵓᴷᴷ cmd ᴹ ᵋᴷᴷ samplelinter ᴹ ᵋᴷᴷ main.go ᵓᴷᴷ go.mod ᵓᴷᴷ samplelinter.go // ͜͜ʹίʔυΛॻ͘ ᵓᴷᴷ samplelinter_test.go ᵋᴷᴷ testdata ᵋᴷᴷ src ᵋᴷᴷ a ᵓᴷᴷ a.go // human.go Α͏ͳαϯϓϧσʔλΛ֨ೲ͢Δ ᵋᴷᴷ go.mod human.go ͷΈͷέʔεΛߟ͑Ε͹ɺҎԼͷΑ͏ͳ࣮૷Λ͢Ε͹Αͦ͞͏Ͱ͢ *5 *6 ɻ Ϧετ 1.3: samplelinter/samplelinter.go 1: package samplelinter 2: 3: import ( 4: "go/token" 5: "go/types" 6: "strings" 7: 8: "github.com/gostaticanalysis/comment" 9: "github.com/gostaticanalysis/comment/passes/commentmap" 10: "golang.org/x/tools/go/analysis" 11: "golang.org/x/tools/go/analysis/passes/buildssa" 12: "golang.org/x/tools/go/ssa" 13: ) *4 https://github.com/gostaticanalysis/skeleton *5 ࣮ࡍ͸ΑΓଟ͘ͷαϯϓϧέʔεΛߟ͑ͨΓɺࣗಈੜ੒ͷϑΝΠϧΛݟಀͨ͠Γͱ͍ͬͨϓϩδΣΫτ͝ͱͷࡉ͔ͳઃ ఆΛ଍͍ͯ͘͠ඞཁ͕͋Γ·͢ɻ *6 ࠓճͷΑ͏ͳΤϥʔϋϯυϦϯάʹ͍ͭͯ͸ https://github.com/gostaticanalysis/nilerr ͷΑ͏ͳطଘͷπʔϧΛ ར༻͢Δ͜ͱ΋ՄೳͰ͢ɻͰ͕࣮͢͸ࠓճͷ human.go ͷΑ͏ͳέʔε͸ nilerr ͩͱݕ஌͠ͳ͍έʔεͩͬͨΓ͠· ͢ (ࠓճͷٕज़ॻయΛॻ͘ʹࢸͬͨಈػ)ɻ 7

Slide 15

Slide 15 text

ୈ 1 ষ ੩తղੳπʔϧͰ Go ͷ͏͔ͬΓϛεΛͳͦ͘͏ 1.3 ੩తղੳπʔϧΛॻ͍ͯΈΔ 14: 15: const ( 16: doc = "samplelinter is checker for missing error handling" 17: nilErr = "nil:error" 18: ) 19: 20: var Analyzer = &analysis.Analyzer{ 21: Name: "samplelinter", 22: Doc: doc, 23: Run: run, 24: Requires: []*analysis.Analyzer{ 25: buildssa.Analyzer, 26: commentmap.Analyzer, 27: }, 28: } 29: 30: var errorType = types.Universe.Lookup("error").Type() 31: 32: func run(pass *analysis.Pass) (any, error) { 33: s := pass.ResultOf[buildssa.Analyzer].(*buildssa.SSA) 34: cmaps := pass.ResultOf[commentmap.Analyzer].(comment.Maps) 35: 36: // ର৅ͷίʔυ಺ͷؔ਺ʹ͍ͭͯ෼ੳ 37: for _, f := range s.SrcFuncs { 38: fileName := pass.Fset.Position(f.Pos()).Filename 39: // ςετͷϑΝΠϧ͸আ֎ 40: if strings.HasSuffix(fileName, "_test.go") { 41: continue 42: } 43: // error ܕΛฦ͞ͳ͍ؔ਺͸আ֎ 44: if !hasErrInResults(f.Signature.Results()) { 45: continue 46: } 47: for _, b := range f.Blocks { 48: for _, instr := range b.Instrs { 49: switch instr := instr.(type) { 50: // if err != nll Λݕ஌ 51: case *ssa.BinOp: 52: if isNilErrorCheck(instr) { 53: retBlock := instr.Block().Succs[0] 54: // ؼΓ஋ͷதʹ err (not nil) ͕ 55: // ೖ͍ͬͯͳ͚Ε͹ܯࠂ 56: checkErrorReturnValue( 57: retBlock, pass, cmaps, 58: ) 59: } 60: } 61: } 62: } 63: } 64: return nil, nil 65: } 66: 67: func isNilErrorCheck(ifstmt *ssa.BinOp) bool { 8

Slide 16

Slide 16 text

ୈ 1 ষ ੩తղੳπʔϧͰ Go ͷ͏͔ͬΓϛεΛͳͦ͘͏ 1.3 ੩తղੳπʔϧΛॻ͍ͯΈΔ 68: if ifstmt.Op != token.NEQ { 69: return false 70: } 71: // ‘if err != nil‘ or ‘if nil != err‘ Λݕ஌ 72: return (isTypeError(ifstmt.Y.Type()) && ifstmt.X.Name() == nilErr) || 73: (isTypeError(ifstmt.X.Type()) && ifstmt.Y.Name() == nilErr) 74: } 75: 76: func isTypeError(t types.Type) bool { 77: if _, ok := t.Underlying().(*types.Interface); !ok { 78: return false 79: } 80: return types.Identical(t, errorType) 81: } 82: 83: func checkErrorReturnValue( 84: b *ssa.BasicBlock, pass *analysis.Pass, cmaps comment.Maps, 85: ) { 86: for _, instr := range b.Instrs { 87: ret, ok := instr.(*ssa.Return) 88: if !ok { 89: continue 90: } 91: // ‘//lint:ignore samplelinter xxx‘ ίϝϯτΛແࢹ͢Δ 92: if cmaps.IgnorePos(ret.Pos(), "samplelinter") { 93: continue 94: } 95: hasErr := false 96: for _, v := range ret.Results { 97: if isTypeError(v.Type()) && v.Name() != nilErr { 98: hasErr = true 99: } 100: } 101: if len(ret.Results) != 0 && !hasErr { 102: pass.Reportf( 103: ret.Pos(), 104: "[samplelinter] return err should be included "+ 105: "in this return stmt."+ 106: "you seem to be ignoring error handling", 107: ) 108: } 109: } 110: } 111: 112: func hasErrInResults(rets *types.Tuple) bool { 113: for i := 0; i < rets.Len(); i++ { 114: ret := rets.At(i) 115: if ret.Type() == errorType { 116: return true 117: } 118: } 119: return false 120: } 9

Slide 17

Slide 17 text

ୈ 1 ষ ੩తղੳπʔϧͰ Go ͷ͏͔ͬΓϛεΛͳͦ͘͏ 1.3 ੩తղੳπʔϧΛॻ͍ͯΈΔ ϓϩδΣΫτʹಋೖ͢Δ ͍͟੩తղੳπʔϧΛ࡞ͬͨͱ͜ΖͰɺ࣮ࡍʹϓϩμΫτίʔυ΁ద༻Ͱ͖ͳ͚Ε͹͔ͤͬ͘ͷ౒ ྗ͕ແବʹͳͬͯ͠·͍·͢ɻ TIPSTAR Ͱ͸ɺ࡞੒ͨ͠੩తղੳπʔϧ͸ϓϩδΣΫτ಺ʹ഑ஔͯ͠ CI ্Ͱ࣮ߦ͞ΕΔΑ͏ʹ ઃఆͯ͠೔ʑͷίʔυͷ҆৺ɾ҆શΛक͍ͬͯ·͢ɻ ۩ମతʹ͸࣍ͷΑ͏ͳσΟϨΫτϦߏ଄ͷ഑ஔΛߦ͍ɺ࡞੒ͨ͠੩తղੳπʔϧΛ myanalyzer/ main.go ΁഑ஔͯ͠όΠφϦʹϏϧυ *7 ͢Δ͜ͱͰར༻͍ͯ͠·͢ɻ app-dir ./app ᵓᴷᴷ Makefile ᵓᴷᴷ README.md ᵓᴷᴷ bin ᴹ ᵋᴷᴷ myanalyzer ᵓᴷᴷ go.mod ᵓᴷᴷ go.sum ᵓᴷᴷ internal ᵋᴷᴷ tools ᵋᴷᴷ myanalyzer ᵓᴷᴷ samplelinter/ ᵓᴷᴷ xxxlinter/ ᵋᴷᴷ main.go Ϧετ 1.4: tools/mylinters/main.go 1: package main 2: 3: import ( 4: "golang.org/x/tools/go/analysis/multichecker" 5: 6: "github.com/project/app/tools/myanalyzer/samplelinter" 7: "github.com/project/app/tools/myanalyzer/xxxlinter" 8: ) 9: 10: func main() { 11: multichecker.Main( 12: samplelinetr.Analyzer, 13: xxxlinter.Analyzer, 14: ) 15: } *7 go build -o bin/mylinters tools/myanalyzer/main.go 10

Slide 18

Slide 18 text

ୈ 1 ষ ੩తղੳπʔϧͰ Go ͷ͏͔ͬΓϛεΛͳͦ͘͏ 1.4 ͓ΘΓʹ 1.4 ͓ΘΓʹ ຊষͰ͸ Go ͷ੩తղੳΛ௨ͯ͡͏͔ͬΓͳϛεʹؾ෇ͨ͘Ίͷ͘͠ΈΛ঺հ͠·ͨ͠ɻ೔ʑͷ։ ൃ଎౓Λۤ͠·ͣʹՃ଎ͤ͞Δʹ͸ɺ։ൃऀ͕ੜΈग़͍ͨ͠Ձ஋ͷϝΠϯϩδοΫʹूதͰ͖Δ؀ڥ ͮ͘ΓΛࢧԉ͢Δ͜ͱ͕த௕ظతʹ͸༗ޮͰ͢ɻ ౰ͨΓલʹΘ͔Δࡉ͔͍࡞ۀ͸ AI ͷΈͳΒͣɺ͜ͷΑ͏ͳπʔϧΛ׆༻͢Δ͜ͱͰͲΜͲΜࣗಈ Խ͍͖ͯ͠·͠ΐ͏ɻ 11

Slide 19

Slide 19 text

No content

Slide 20

Slide 20 text

ୈ 2 ষ ୳๚ STM at Haskell ϓϩάϥϛϯάݴޠͷओཁͳػೳͷҰͭʹฒྻɾฒߦϓϩάϥϛϯάͷͨΊͷػೳ͕͋Γ·͢ɻ ຊߘͰ͸ɺฒྻɾฒߦϓϩάϥϛϯάͷͨΊͷػೳͱͯ͠ Haskell ʹ͋Δ Software Transactional MemoryʢSTMʣʹ͍ͭͯɺOSS Ͱͷར༻ͷ͞ΕํΛަ͑ͳ͕Β঺հ͠·͢ɻ஫ҙ఺ͱͯ͠ɺSTM ͸ Haskell ͷσϑΝΫτελϯμʔυͳॲཧܥͰ͋Δ GHC Ͱ࣮૷͞Εͨػೳʢਖ਼֬ʹ͸ GHC 6.4 ͔ΒʣͰɺҎ߱ Haskell ͱݴͬͨ৔߹͸҉໧తʹ GHC Λࢦ͠·͢ɻ·ͨɺຊߘͰ͸ STM ͷ಺෦࣮ ૷΍ݪ࿦จʹ͍ͭͯ͸ಛʹݴٴͤͣɺར఺΍࢖͍ํɾ࢖ΘΕํͳͲʹ͍ͭͯ঺հ͢Δɺൺֱత؆୯ͳ هࣄͰ͢ɻ 2.1 Software Transactional Memory Software Transactional Memory ͸ɺฒྻɾฒߦϓϩάϥϛϯάͷࡍʹϦιʔεΛڞ༗͢ΔͨΊ ͷ͘͠ΈͷҰͭͰ͢ɻσʔλϕʔεʹ͋ΔΑ͏ͳෆՄ෼ͳॲཧΛ࣮ߦ͢ΔͨΊʹ࢖͏τϥϯβΫγϣ ϯͷ͘͠ΈΛɺϝϞϦϦιʔεͰ࣮ݱ͠·͢ɻ ͨͱ͑͹ɺෳ਺εϨουͰڞ༗͍ͯ͠Δม਺ΛಡΈࠐΜͰߋ৽͍ͨ͜͠ͱ͕͠͹͠͹͋Δͱࢥ͍· ͢ɻଟ͘ͷ৔߹ɺഉଞ੍ޚΛར༻ͯ͠ɺม਺ΛಡΈࠐΜͰߋ৽ͯ͠อଘ͢ΔؒΛෆՄ෼ͳॲཧͱͯ͠ ࣮૷͢Δͱࢥ͍·͢ɿ // ͜Ε͸ Go Ͱͷ࣮૷ func (ConcurrentMap cm) insert(k, v string) bool { cm.mu.lock() defer cm.mu.unlock() if _, ok := cm.m[k]; ok { return false } cm.m[k] = v return true } ͜Ε͸ͨͩɺ࿈૝഑ྻͷܕʹ஋Λొ࿥͍ͯ͠Δ͚ͩͷؔ਺Ͱ͢ɻͨͩ͠ɺϚϧνεϨουʹ࣮ߦ͞ 13

Slide 21

Slide 21 text

ୈ 2 ষ ୳๚ STM at Haskell 2.1 Software Transactional Memory Εͯ΋ྑ͍Α͏ʹɺlock() ͱ unlock() Ͱഉଞ੍ޚΛ͍ͯ͠·͢ɻରͯ͠ STM ͸ɺ͜ͷΑ͏ͳෆ Մ෼ͳॲཧΛ࣍ͷΑ͏ʹॻ͖·͢ɿ type ConcurrentMap = TVar (Map String String) insert :: ConcurrentMap -> String -> String -> STM Bool insert cm k v = do m <- readTVar cm if Map.member k m then return False else do modifyTVar cm $ Map.insert k v return True STM ͳڞ༗Ϧιʔεʹ͸ TVar a ܕΛ࢖͍·͢ɻ࣮ࡍʹѻ͏ܕ͕ a ͷํͰɺࠓճ͸ Map String String ͱݴ͏γϯϓϧͳ࿈૝഑ྻܕΛ࢖͍ͬͯ·͢ɻTVar a ܕͷ஋͔Β a ܕͷ஋ΛऔΓग़͢ͷʹ ͸ readTVar ؔ਺Λ࢖͍ɺ্ॻ͖͢Δ৔߹ʹ͸ writeTVar ؔ਺Λɺߋ৽͢Δ৔߹ʹ͸ modifyTVar ؔ਺Λ࢖͍·͢ɿ readTVar :: TVar a -> STM a writeTVar :: TVar a -> a -> STM () modifyTVar :: TVar a -> (a -> a) -> STM () औΓग़ͨ͠͸ͣͳͷʹ໭Γ஋ͷܕ͕ STM a ʹͳ͍ͬͯ·͢Ͷɻ͜ͷ STM ͱݴ͏෦෼͕ɺෆՄ෼ͳ ॲཧͰ͋Δ͜ͱΛදݱ͍ͯ͠·͢ɻSTM ͸ Monad ܕΫϥεͷΠϯελϯεͰ͢ͷͰɺDo ه๏ʹΑͬ ͯ؆୯ʹ߹੒ՄೳͰ͢ɻ ࣮͸ɺinsert ؔ਺ʹҾ਺Λ༩͑Δ͚ͩͰ͸ɺॲཧ͕࣮ߦ͞Ε·ͤΜɻSTM a ͳෆՄ෼ͳॲཧΛ࣮ ߦ͢Δʹ͸ atomically ͱ͍͏ؔ਺Λ࢖͍·͢ɻ atomically :: STM a -> IO a -- insert ͸࣍ͷΑ͏ʹ࢖͏ atomically $ insert cm k v atomically ʹΑͬͯෆՄ෼ͳॲཧ͕࣮ߦ͞Ε͍ͯΔ్தͰɺڞ༗Ϧιʔεʹߋ৽͕͋ͬͨ৔߹ ͸ɺͳΜͱෆՄ෼ͳॲཧΛ࠷ॳ͔Β΍Γ௚͠·͢ɻinsert ؔ਺Ͱ͋Ε͹ɺreadTVar Λͯ͠ modif yTVar ͢ΔؒʹɺผͷεϨου͔Β cm ͕ߋ৽͞Εͨ৔߹Ͱ͢ɻ͜ͷΑ͏ʹෆՄ෼ͳॲཧΛࣗಈͰ΍ Γ௚ͯ͘͠ΕΔͨΊɺഉଞ੍ޚΛ͢Δඞཁ͕ͳ͍ͱݴ͏Θ͚Ͱ͢ɻ 14

Slide 22

Slide 22 text

ୈ 2 ষ ୳๚ STM at Haskell 2.1 Software Transactional Memory ͪͳΈʹɺHaskell Ͱͷฒߦɾฒྻϓϩάϥϛϯάʹؔͯ͠͸ɺ ʮHaskell ʹΑΔฒߦɾฒྻϓϩά ϥϛϯάʯ ʢݪஶ͸ʮParallel and Concurrent Programming in Haskellʯ ʣ *1 ͱ͍͏ྑॻ͕͋Γɺͦ ͜Ͱ͸ୈ 10 ষͰҰষؙʑΛ࢖ͬͯ঺հ͞Ε͍ͯ·͢ɻ2014 ೥ग़൛ʢݪஶͷ৔߹͸ 2013 ೥ʣͱগ͠ ݹ͍ॻ੶Ͱ͕͢ɺຊߘΛಡΜͰڵຯΛ࣋ͬͨํ͸ͥͻɺΑΓৄ͘͠ॻ͍ͯ͋ΔʮHaskell ʹΑΔฒߦɾ ฒྻϓϩάϥϛϯάʯΛಡΜͰΈ͍ͯͩ͘͞ɻ stm ύοέʔδ ઌड़ͨ͠ܕ΍ؔ਺ɺ ʮHaskell ʹΑΔฒߦɾฒྻϓϩάϥϛϯάʯͰ঺հ͞Ε͍ͯΔ͍͔ͭ͘ͷ࣮૷ ύλʔϯ͸ stm ύοέʔδ*2 ʹ͋Γ·͢ɻͨͱ͑͹ɺTVar a ܕͷ΄͔ʹ࣍ͷΑ͏ͳΑΓϦονͳ σʔλߏ଄͕͢Ͱʹఆٛ͞Ε͍ͯ·͢ɿ • TChan a ܕɿແ੍ݶ௕ͷ FIFO νϟϯωϧΛදͨ͠ܕ • TQueue a ܕ : TChan ΑΓߴ଎͕ͩෳ੡ෆՄೳͳνϟϯωϧ • TBQueue a ܕ : TQueue ʹ௕͞ͷ্ݶΛઃ͚ͨ΋ͷ ޙड़͢Δ OSS Ͱ͸ɺ͜ΕΒͷܕΛར༻ͯ͠ɺ͞·͟·ͳڞ༗ϦιʔεΛѻ͏͘͠ΈΛ࣮૷͍ͯ͠ ·͢ɻͪͳΈʹɺຊߘͰ͸ࣥච࣌఺ͷ stm ύοέʔδͷ࠷৽όʔδϣϯͰ͋Δ 2.5.1.0 Λલఏʹ͠ ·͢ɻ Haskell Ͱฒߦϓϩάϥϛϯά Haskell ͸ɺGo ͷ goroutine ͷΑ͏ͳܰྔεϨουʢάϦʔϯεϨουʣΛ࣮૷͍ͯ͠ΔͨΊɺൺ ֱత؆୯ʹฒߦϓϩάϥϛϯά͕ՄೳͰ͢ɻผͷεϨουͰ IO ΞΫγϣϯΛ࣮ߦ͢Δʹ͸ forkIO ͱݴ͏ؔ਺Λ࢖͍·͢ɿ forkIO :: IO () -> IO ThreadId ThreadId ͸໊લͷ௨Γɺ࡞੒͞ΕͨεϨουͷ ID Ͱ͢ɻ·ͨɺ࡞੒ͨ͠εϨουͷऴྃΛ଴ͬ ͨΓɺྫ֎ॲཧΛ͏·͘΍ͬͨΓ͢ΔͨΊͷ async ύοέʔδ*3 ͱݴ͏ͷ͕͋Γ·͢ɻ data Async a async :: IO a -> IO (Async a) wait :: Async a -> IO a cancel :: Async a -> IO () *1 https://www.oreilly.co.jp/books/9784873116891/ *2 https://hackage.haskell.org/package/stm *3 https://hackage.haskell.org/package/async 15

Slide 23

Slide 23 text

ୈ 2 ষ ୳๚ STM at Haskell 2.2 STM ͷ࢖ΘΕํ Async a ܕ͸ɺผεϨουͰ IO ΞΫγϣϯΛ࣮ߦͨ݁͠Ռɺa ܕͷ஋ΛಘΔͱݴ͏ͷΛදͨ͠ܕ Ͱ͢ɻasync ؔ਺ʹΑͬͯผεϨου͕࡞੒͞Εɺ࡞੒ݩ͸ wait ͰॲཧͷऴྃΛ଴ͬͨΓɺcance l Ͱڧ੍ऴྃͨ͠ΓͰ͖·͢ɻ ͪͳΈʹɺ಺෦తʹ͸ STM Λར༻ͯ͠ɺ͜ͷΑ͏ͳৼΔ෣͍Λදݱ͍ͯ͠·͢ɻ 2.2 STM ͷ࢖ΘΕํ ͔͜͜Β͸ɺOSS Ͱͷ stm ύοέʔδͷ࢖͍ํΛྫʹͯ͠ɺSTM ͷศརͳ࢖͍ํΛ঺հ͠·͢ɻ MIXI Git Challenge ͷείΞαʔό MIXI Ͱ͸ɺGit Challenge ͱ͍͏ֶੜ޲͚ڝٕܕΠϕϯτΛఆظతʹ։࠵͍ͯ͠·͢*4 ɻGit Λ ࢖ͬͯղ͘ڝٕϓϩάϥϛϯάͷΑ͏ͳ΋ͷͰ͢ɻ͜Εͷࣗಈ࠾఺Λͨ͠Γɺ ੒੷ΛӾཡͰ͖Δ Web ϖʔδΛฦͨ͠Γ͢ΔείΞαʔόΛ Haskell Ͱࣗ࡞͍ͯ͠·͢*5 ɻ ͜ͷείΞαʔόͰ͸ɺࣗಈ࠾఺Λඇಉظʹߦ͏αʔό෦෼Ͱ STM Λར༻͍ͯ͠·͢ɻαʔό ͸ɺ࣮ࡍʹॲཧΛߦ͏ Worker Λෳ਺୆؅ཧ͓ͯ͠Γɺͦͷ Worker ͷ؅ཧ৘ใΛ STM ʹ͍ͯ͠ ·͢ɿ src/Git/Plantation/Job/Worker.hs ΑΓൈਮ type Workers = TVar (Map Id (Maybe Worker)) newtype Id = Id Int32 deriving newtype (Show, Eq, Ord, Num, Binary, FromJSON, ToJSON, Display) type Worker = Record ’[ "id" >: Id , "working" >: Bool , "conn" >: WS.Connection ] Id ܕͱ Worker ܕ͸ͦΕͧΕɺ Worker ͷ ID ͱ Worker ࣗମΛදͨ͠ܕͰ͢ɻͦΕͧΕͪΐͬ ͱ Haskell ͷςΫχΧϧͳܕͷ͘͠ΈΛར༻͍ͯ͠·͕͢ɺͳΜͱͳ͘ಡΊΔ͸ͣͰ͢ͷͰɺ͜͜Ͱ ͸ׂѪ͠·͢*6 ɻαʔόͱ Worker ͸ɺ Worker ͔Βͷ WebSocket ͰίωΫγϣϯΛհͯ͠௨৴Λ ͠·͢ɻͦͷίωΫγϣϯΛදͨ͠ܕ͕ WS.Connection Ͱ͢*7 ɻͦͯ͠ɺMap Id (Maybe Worke *4 ίϩφՒҎ߱ɺࣥච࣌఺·Ͱ͸গͳ͘ͱ΋։࠵͍ͯ͠·ͤΜ͕ɺMIXI ͷ৽ଔݚमͰ࠵͍ͯ͠·ͨ͠ɻ *5 https://github.com/matsubara0507/git-plantation *6 Id ܕͷํ͸ GeneralizedNewtypeDeriving ͱ͍͏ػೳͰɺWorker ܕ͸ extensible ύοέʔδΛར༻֦ͨ͠ுՄೳ ϨίʔυܕͰ͢ɻ *7 https://hackage.haskell.org/package/websockets Λ࢖͍ͬͯ·͢ɻ 16

Slide 24

Slide 24 text

ୈ 2 ষ ୳๚ STM at Haskell 2.2 STM ͷ࢖ΘΕํ r) ͕ɺαʔόͱ઀ଓ͕Ұ౓Ͱ΋ཱ֬ͨ͠ Worker ͷ৘ใ܈Ͱ͢*8 ɻ͜ΕΛ TVar Ͱϥοϓ͢Δ͜ͱ ͰɺϚϧνεϨουͰ҆શʹڞ༗Ͱ͖ΔϦιʔεͱͳΓ·͢ɻ ͜ͷڞ༗ϦιʔεΛૢ࡞͢ΔϝιουΛ͍͔ͭ͘ݟͯΈ·͢ɿ src/Git/Plantation/Job/Worker.hs ΑΓൈਮ new :: Id -> WS.Connection -> Worker new = ... connect :: Workers -> WS.Connection -> STM Worker connect workers conn = do maxId <- Map.size <$> readTVar workers let worker = new (fromIntegral $ maxId + 1) conn modifyTVar workers (Map.insert (worker ^. #id) $ Just worker) pure worker disconnect :: Workers -> Id -> STM () disconnect workers wid = modifyTVar workers (Map.update (\_ -> Just Nothing) wid) connect ؔ਺΋ disconnect ؔ਺΋ STM a ܕΛฦ͍ͯ͠ΔͷͰɺ͜ͷؔ਺୯ମͰ͸࣮ߦ͞Ε·ͤ Μɻ͜ͷؔ਺ͷ໭Γ஋Λ atomically ؔ਺ʹ౉͢͜ͱͰෆՄ෼ʹ࣮ߦ͞Ε·͢ɻconnect ؔ਺ͷํ ͸ɺId ܕͷ஋Λࡶʹ࡞ΔͨΊʹɺWorkers ͷαΠζΛऔಘ͠ɺͦΕΛ৽͍͠ Worker ܕͷ஋ʹؚΊ ͯ Workers ΁ૠೖ͍ͯ͠·͢ɻ͜͜Ͱ STM Λ࢖Θͳ͔ͬͨ৔߹ɺαΠζͷऔಘ͔Βཁૉͷૠೖ· Ͱͷؒʹ΄͔ͷεϨουʹΑͬͯཁૉ͕૿͍͑ͯΔͱɺId ͕ॏෳͯ͠͠·͏Մೳੑ͕͋Γ·͢ʢ͜ ͷ࣮૷ͷ৔߹ɺ্ͨͩॻ͖͞Ε·͢ʣ ɻ͔͠͠ɺSTM Ͱϥοϓͯ͋͛͠Δ͚ͩͰɺ೉͍͠ഉଞ੍ޚΛ ͢Δ͜ͱͳ҆͘શʹڞ༗ϦιʔεΛ؅ཧͰ͖·͢ɻ Agda Haskell ͸ϓϩάϥϛϯάݴޠͷ࣮૷Ͱ࢖ΘΕΔ͜ͱ͕͠͹͠͹͋Γ·͢ɻAgda *9 ͱ͍͏ϓϩά ϥϛϯάݴޠ΋ͦͷҰͭͰɺґଘܕͱ͍͏ܕΛ͓࣋ͬͯΓɺͦΕΛར༻ͯ͠ఆཧূ໌ͳͲʹར༻͞Ε ·͢ɻ·ͨɺه๏͕ Haskell ʹࣅ͍ͯ·͢ɻ ࣥච࣌఺ͷ࠷৽όʔδϣϯͰ͋Δ v2.6.3 ͷ Agda Ͱ͸ɺSTM Λ REPL ͷ࣮૷Ͱ࢖͍ͬͯ· ͢*10 ɻTChan ͱ TVar Λ࢖ͬͯɺREPL ্ͰͷίϚϯυΛඇಉظʹॲཧ͢ΔͨΊͷΩϡʔΛ࣮૷͠ ͍ͯ·͢ɿ *8 Maybe ʹͳ͍ͬͯΔͷ͸ɺId Λ࡞Δͷʹ Map ͷαΠζΛར༻͢Δ͔ΒͰ͢ɻେྔͷ Worker Λ઀ଓ͢ΔΘ͚͡Όͳ ͍ͷͰɺ͍ͩͿࡶͳ࣮૷Ͱ͢ɻ *9 https://github.com/agda/agda *10 ΑΓਖ਼֬ʹ͸ɺଟ͘ͷݴޠʹ͋ΔΑ͏ͳλʔϛφϧ্Ͱͷର࿩؀ڥͰ͸ͳ͘ɺEmacs ্Ͱͷର࿩؀ڥͰ͢ɻ 17

Slide 25

Slide 25 text

ୈ 2 ষ ୳๚ STM at Haskell 2.2 STM ͷ࢖ΘΕํ src/full/Agda/Interaction/Base.hs ΑΓൈਮ data CommandQueue = CommandQueue { commands :: !(TChan (Integer, Command)) , abort :: !(TVar (Maybe Integer)) } ! ͷ෦෼͸ɺࠓճ͸ແࢹͯ͠ಡΜͰ΋Βͬͯେৎ෉Ͱ͢ɻAgda Ͱఆٛ͞Ε͍ͯΔ Command ܕʹ ͍ͭͯ͸ɺ͜͜Ͱ͸ׂѪ͠·͢ɻREPL Ͱઐ༻ͷίϚϯυΛड͚औͬͯΩϡʔʹૠೖ͠ɺͦΕΛඇಉ ظʹॲཧ͢ΔΑ͏ͳײͩ͡ͱࢥ͍ͬͯͩ͘͞ɻίϚϯυͷॲཧ͸ TChan ͷΩϡʔΛհͯ͠ඇಉظʹ ॲཧ͞Ε·͕͢ɺ ʢ͓ͦΒ͘ʣ͕͔͔࣌ؒΔΑ͏Ͱɺͦͷؒʹڧ੍ऴྃͷίϚϯυʢabortʣΛड͚औ ΔͨΊʹผͷ TVar Λ༻ҙ͍ͯ͠ΔΑ͏Ͱ͢ɻ࣮ࡍʹ CommandQueue ܕͷ஋͕࢖ΘΕ͍ͯΔͱ͜Ζ ΛݟͯΈ·͢ɿ src/full/Agda/Interaction/InteractionTop.hs ΑΓൈਮ -- ίϚϯυΛඇಉظʹॲཧ͢ΔผεϨουΛ࡞Δؔ਺ initialiseCommandQueue :: IO Command -> IO CommandQueue initialiseCommandQueue next = do commands <- newTChanIO abort <- newTVarIO Nothing let readCommands n = do c <- next -- ίϚϯυΛͳΜ͔͠Βͷ֎෦ೖྗΑΓಡΈࠐΉ case c of Command c | IOTCM _ _ _ Cmd_abort <- c Nothing -> do atomically $ writeTVar abort (Just n) readCommands n _ -> do let n’ = (succ n) atomically $ writeTChan commands (n’, c) case c of Done -> return () _ -> readCommands n’ -- forkIO ͰผεϨουͱͯ͠Ҿ਺ͷ IO ΞΫγϣϯΛ࣮ߦ _ <- forkIO (readCommands 0) return (CommandQueue { .. }) case ࣜͷ෼ذͷ͏ͪɺલऀ͸ abort Λड͚औͬͨ৔߹ͳͷͰ CommandQueue ͷ abort ͷํΛߋ ৽͠ɺͦΕҎ֎ͷ৔߹͸ίϚϯυΛඇಉظʹॲཧ͢ΔͨΊͷΩϡʔͰ͋Δ commands ΁ૠೖ͍ͯ͠· ͢ɻ͜͜Ͱ͓΋͠Ζ͍ͷ͸ abort ͷಡΈऔΓଆͷํͰ͢ɿ 18

Slide 26

Slide 26 text

ୈ 2 ষ ୳๚ STM at Haskell 2.2 STM ͷ࢖ΘΕํ src/full/Agda/Interaction/InteractionTop.hs ΑΓൈਮ waitForAbort :: Integer -> CommandQueue -> IO Integer waitForAbort n q = do atomically $ do a <- readTVar (abort q) case a of Just a’ | n <= a’ -> return a’ _ -> retry ৽͘͠ retry ؔ਺͕ग़͖ͯ·ͨ͠ɻ͜Ε΋ STM ͷؔ਺Ͱɺ ʮݱࡏͷτϥϯβΫγϣϯΛഁغͯ͠ ΋͏Ұ౓΍Γ௚͢ʯͱ͍͏ৼΔ෣͍Λ͠·͢ɻͭ·Γɺabort ͷ݁Ռ͕ Just a’ ʹͳΔ·Ͱʢ୭͔ ͕ abort Λೖྗ͢Δ·Ͱʣ ɺӬԕͱ atomically ҎԼͷτϥϯβΫγϣϯΛ܁Γฦ͢Θ͚Ͱ͢ɻ΋ͪ ΖΜɺແݶϧʔϓͷΑ͏ʹԿճ΋࣮ߦͯ͠ CPU ϦιʔεΛ৯͍௵͢͜ͱ͸͋Γ·ͤΜɻSTM ͷ࣮ ૷͸ݡ͘Ͱ͖͍ͯͯɺͳΜ͔͠ΒͷมԽ͕ͳ͍ݶΓτϥϯβΫγϣϯΛ࠶౓࣮ߦ͢Δ͜ͱ͸ͳ͍Α͏ Ͱ͢ɻͭ·ΓɺreadTVar (abort q) ͷ݁Ռ͕มΘΒͳ͍ݶΓɺ͜ͷεϨου͸ϒϩοΫ͞ΕΔΘ ͚Ͱ͢ʢ·͞ʹ waitForAbort Ͱ͢Ͷʣ ɻ waitForAbort ؔ਺͸͜Μͳײ͡ʹ࢖ΘΕ͍ͯ·͢ɿ src/full/Agda/Interaction/InteractionTop.hs ΑΓൈਮ -- IO ͳؔ਺ͷத -- CommandQueue ܕͷ஋ q ͔Β Command Λ1ͭऔಘ (n, cmd) <- atomically $ readTChan (commands q) case cmd of ... Command c -> do result <- Async.race (run c) (waitForAbort n q) case result of Left ... -> ... -- abort ͷ৔߹ Right ... -> ... -- Command ͕࣮ߦͰ͖ͨ৔߹ async ύοέʔδͷ race ؔ਺͸ɺ౉ͨ͠ 2 ͭͷ IO ΞΫγϣϯΛผʑͷεϨουͰಉ࣌ʹ࣮ߦ͠ ͯɺઌʹऴྃͨ͠΋ͷͷ݁ՌΛ Either Ͱฦ͠·͢ɻͭ·ΓɺίϚϯυ͕ऴΘΔલʹ abort ͕ೖྗ ͞ΕΔͱɺઌʹ waitForAbort Λ࣮ߦͨ͠εϨου͕ऴྃ͢ΔͨΊ race ؔ਺͕ίϚϯυͷ࣮ߦΛ ͱΊΔΘ͚Ͱ͢Ͷɻ ༨ஊͰ͕͢ɺretry Λ࢖ͬͨϒϩοΩϯάΛ͢Δํ๏͸ʮHaskell ʹΑΔฒߦɾฒྻϓϩάϥϛϯ άʯͰ΋঺հ͞Ε͍ͯΔํ๏Ͱ͢ɻ·ͨɺ͜ͷϒϩοΩϯάͷ͘͠ΈΛར༻ͯ͠νϟϯωϧܥͷσʔ λߏ଄͸ɺreadTChan ؔ਺ͳͲͷνϟϯωϧ͔ΒͷσʔλͷಡΈऔΓΛɺσʔλ͕ૠೖ͞ΕΔ·Ͱ ଴ػ͍ͯ͠·͢ɻ 19

Slide 27

Slide 27 text

ୈ 2 ষ ୳๚ STM at Haskell 2.2 STM ͷ࢖ΘΕํ haskell-language-server haskell-language-server *11 ͸ɺHaskell ެࣜͰϝϯςφϯε͞Ε͍ͯΔɺHaskell ϓϩάϥϛϯ άΛࢧԉ͢ΔͨΊͷ Language Server Protocol ४ڌͳπʔϧͰ͢ʢIDEʣ ɻhaskell-language-server Ͱ͸ STM ΛԿϱॴ͔Ͱ࢖͍ͬͯ·͕͢ɺࠓճ͸ҎԼͷσʔλߏ଄ʹ͍ͭͯ঺հ͠·͢ɿ ghcide/src/Development/IDE/Types/Action.hs ΑΓൈਮ data ActionQueue = ActionQueue { newActions :: TQueue DelayedActionInternal, inProgress :: TVar (HashSet DelayedActionInternal) } DelayedActionInternal ܕ͸ haskell-language-server Ͱఆٛ͞Ε͍ͯΔܕͰɺඇಉظʹॲཧ͠ ͍ͨͳΜ͔͠ΒͷΞΫγϣϯΛදݱ͍ͯ͠·͢ɻActionQueue ܕ͸໊લ͔Β෼͔ΔΑ͏ʹɺඇಉظ ॲཧͷͨΊͷΩϡʔΛදݱͨ͠σʔλߏ଄Ͱ͢ɻnewActions ϑΟʔϧυଆ͕ΩϡʔຊମͰɺinPro gress ϑΟʔϧυ͕ඇಉظॲཧதͷΞΠςϜΛೖΕ͓ͯ͘഑ྻͷΑ͏ͳ΋ͷͰ͢ɻΩϡʔ͔ΒΞΠ ςϜΛऔΓग़ؔ͢਺ popQueue ΛݟͯΈ·͢ɿ ghcide/src/Development/IDE/Types/Action.hs ΑΓൈਮ popQueue :: ActionQueue -> STM DelayedActionInternal popQueue ActionQueue {..} = do x <- readTQueue newActions modifyTVar inProgress (Set.insert x) return x Ωϡʔຊମ͔ΒΞΠςϜΛ 1 ͭऔΓग़ͨ͠ޙɺinProgress ͷํʹૠೖͯ͠ɺऔΓग़ͨ͠ΞΠςϜ Λฦ͍ͯ͠·͢ɻ໭Γ஋ͷܕ͕ DelayedActionInternal Ͱ͸ͳͯ͘ STM DelayedActionIntern al Ͱ͢ͷͰɺ͜ΕΒͷॲཧ͸ atomically ؔ਺ͳͲΛར༻ͯ͠ෆՄ෼ͳॲཧͱ࣮ͯ͠ߦՄೳͱ͍͏ Θ͚Ͱ͢ɻ Semantic Semantic ͸ GitHub ͕։ൃ͍ͯ͠Δɺ͞·͟·ͳϓϩάϥϛϯάݴޠͷղੳΛ͢ΔͨΊͷπʔϧ Ͱ͢ʢݱࡏͰ΋࢖͍ͬͯΔ͔͸Θ͔Γ·ͤΜ͕ʣ *12 ɻOSS ͱͯ͠ެ։͞Ε͓ͯΓɺϓϩάϥϛϯάݴ ޠͷߏจ໦Λ؆୯ʹѻ͏ͨΊʹ Haskell Λ࢖͍ͬͯΔΑ͏Ͱ͢*13 ɻ *11 https://github.com/haskell/haskell-language-server *12 https://github.blog/2020-08-04-codegen-semantics-improved-language-support-system/ Ͱ঺հ͞Ε ͍ͯ·͢ɻ *13 https://github.com/github/semantic 20

Slide 28

Slide 28 text

ୈ 2 ষ ୳๚ STM at Haskell 2.2 STM ͷ࢖ΘΕํ Semantic Ͱ͸ stm ύοέʔδͷ୅ΘΓʹ stm-chans ύοέʔδ*14 Λ࢖͍ͬͯΔΑ͏Ͱ͢ɻstm- chans ύοέʔδʹ͸ɺstm ύοέʔδʹ͋Δલड़ͨ͠νϟϯωϧܥͷσʔλߏ଄ʹɺνϟϯωϧͷ ΫϩʔζΛ௥Ճͨ͠Α͏ͳσʔλߏ଄Λఏڙ͍ͯ͠·͢ɻSemantic Ͱ͸ TBMQueue Λར༻ͯ͠ඇಉ ظॲཧͷΩϡʔΛ࡞͍ͬͯ·͢ɿ src/Semantic/Telemetry/AsyncQueue.hs ΑΓൈਮ data AsyncQueue a = AsyncQueue { asyncQueue :: TBMQueue a , asyncQueueSink :: Async () } asyncQueue ͕ΩϡʔຊମͰɺasyncQueueSink ͸Ωϡʔ͔ΒཁૉΛऔΓग़͠ඇಉظʹॲཧͯ͠ ͘ΕΔผεϨουΛදͨ͠ϑΟʔϧυͰ͢ɻAsyncQueue ͷॳظԽ࣌ʹ asyncQueueSink Λ࣮ߦ͠ ͓͖ͯ·͢ɿ src/Semantic/Telemetry/AsyncQueue.hs ΑΓൈਮ newAsyncQueue :: Int -> (a -> IO ()) -> IO (AsyncQueue a) newAsyncQueue i f = do q <- newTBMQueueIO i -- i ͸Ωϡʔͷ௕͞ s <- Async.async (sink q) pure (AsyncQueue q s) where shink q = do msg <- atomically (readTBMQueue q) maybe (pure ()) go msg where go msg = f msg >> sink f q asyncQueue ͸ɺΩϡʔ͕Ϋϩʔζ͞Εͨ࣌ʹ͸ Nothing Λฦ͢Α͏ʹͳΓ·͢ɻmaybe ͷͱ͜ ΖͰɺNothing ͕ฦͬͯ͘Δ·Ͱ࠶ؼ͠ͳ͕Βͣͬͱ f Λ࣮ߦ͠ଓ͚͍ͯΔ͜ͱ͕Θ͔Δͱࢥ͍· ͢ɻAsyncQueue ΛΫϩʔζ͢Δʹ͸࣍ͷؔ਺Λ࢖͍·͢ɿ src/Semantic/Telemetry/AsyncQueue.hs ΑΓൈਮ closeAsyncQueue :: AsyncQueue a extra -> IO () closeAsyncQueue AsyncQueue{..} = do atomically (closeTBMQueue asyncQueue) Async.wait asyncQueueSink *14 https://hackage.haskell.org/package/stm-chans 21

Slide 29

Slide 29 text

ୈ 2 ষ ୳๚ STM at Haskell 2.3 ऴΘΓʹ closeTBMQueue ؔ਺ͰΩϡʔຊମΛΫϩʔζ͠ɺasync ύοέʔδͷ wait ؔ਺Λ࢖͏͜ͱͰɺA sync ͳΞΫγϣϯ͕ऴྃ͢ΔͷΛ଴ͪ·͢ɻ͜͏͢Δ͜ͱͰɺ࣮ߦதͩͬͨඇಉظॲཧ͕ͪΌΜͱ ऴྃ͢Δ·Ͱ଴ͭΑ͏ʹͳ͍ͬͯΔΘ͚Ͱ͢ʢAgda ͷ࣌ͷΑ͏ʹڧ੍ऴྃ͸͠ͳ͍ʣ ɻ 2.3 ऴΘΓʹ ଞʹ΋ଟ͘ͷ Haskell ੡ΞϓϦέʔγϣϯͰ STM ͕࢖ΘΕ͍ͯ·͢ɻ͜ΕΒͷ OSS ͷ͓͔͛ ͰɺSTM Λ࢖͑͹ฒྻɾฒߦϓϩάϥϛϯάͰ؆୯ʹڞ༗ϦιʔεΛ࢖ͬͨॲཧ͕͔͚Δ͜ͱ͕఻ Θͬͨͱࢥ͍·͢ɻಛʹɺඇಉظॲཧͷΩϡʔΛ࣮૷͢Δͷʹͱͯ΋ศརͦ͏Ͱ͢ΑͶɻ 22

Slide 30

Slide 30 text

ୈ 3 ষ Web ͷճؼςετͷࣗಈԽ Web αʔϏεͷ։ൃʹ͓͍ͯγεςϜ͕ظ଴௨Γʹಈ͔͘Ͳ͏͔ΛνΣοΫ͢ΔͨΊʹɺ͞·͟ ·ͳςετΛߦ͏৔߹͕͋Γ·͢ɻ ςετΛߦ͏͜ͱͰϦϦʔεʹؚ·ΕΔෆ۩߹ΛݮΒ͢͜ͱ͕Ͱ͖·͢ɻΞδϟΠϧ։ൃʹ͓͍ͯ ͸ൺֱత୹͍ظؒͷதͰ։ൃͱϦϦʔεΛ܁Γฦ͢ͷͰසൟʹςετΛߦͬͨΓ͠·͢ɻ ςετʹ͸ɺ͞·͟·ͳछྨ͕͋Γ·͢ɻ • Ϣχοτςετ – Ϟδϡʔϧ୯ҐͰظ଴͢ΔڍಈΛ͢Δ͔Ͳ͏͔ΛνΣοΫ͠·͢ɻ • ΠϯςάϨʔγϣϯςετ – ϞδϡʔϧΛ͍͔ͭ͘૊Έ߹Θͤͯظ଴͢ΔڍಈΛ͢Δ͔Ͳ͏͔ΛνΣοΫ͠·͢ɻ – Web Ͱ͸ίϯϙʔωϯτͷςετΛߦ͏ࡍʹɺίϯϙʔωϯτʹ಺แ͞ΕΔϞδϡʔϧ ܈͕૊Έ߹Θͬͨ͞ঢ়ଶͰظ଴͢Δಈ࡞Λ͢Δ͔Ͳ͏͔ΛνΣοΫ͠·͢ɻ • E2E ςετ – ݶΓͳ͘ຊ൪؀ڥʹ͍ۙঢ়ଶͰɺαʔό͔ΒΫϥΠΞϯτ·ͰΛͭͳ͍ͩঢ়ଶͰظ଴͢Δ ಈ࡞Λ͢Δ͔Ͳ͏͔ΛνΣοΫ͠·͢ɻ – Web Ͱ͸ϒϥ΢β্ͰνΣοΫର৅ͷγεςϜΛ࣮ࡍʹૢ࡞͢Δ͜ͱͰνΣοΫ͠·͢ɻ ·ͨɺγεςϜ඼࣭ͷνΣοΫʹ΋ड͚ೖΕςετ΍ճؼςετͳͲ͞·͟·ͳछྨͷςετ͕ ͋Γ·͢ɻࠓճ͸ൺֱతςετͷن໛΍޻਺͕ංେԽ͕ͪ͠ͳճؼςετͷࣗಈԽʹ͍ͭͯղઆ͠ ·͢ɻ 3.1 ճؼςετͱ͸ ճؼςετͱ͸ɺίʔυΛมߋͨ͜͠ͱͰγεςϜͷ΄͔ͷՕॴͰ༧ظͤ͵ෆ۩߹͕ग़͍ͯͳ͍͔ ΛνΣοΫ͢ΔςετͰ͢ɻͰ͢ͷͰɺճؼςετͷνΣοΫ࣌ʹ͸γεςϜશମΛର৅ʹҰ௨Γͷ ૢ࡞͕Մೳ͔Ͳ͏͔΍ಈ࡞ʹҟৗ͕ͳ͍͔ΛνΣοΫ͠·͢ɻ ࣮ࡍʹγεςϜΛૢ࡞ͯ͠νΣοΫ͢ΔͷͰɺϢʔβʔͷؾ࣋ͪʹͳͬͯͦͷγεςϜͷ࢖͍ͮΒ ͞ʹؾ෇͖͔͚ͬ͘ʹ΋ͳΓ·͢ɻ 23

Slide 31

Slide 31 text

ୈ 3 ষ Web ͷճؼςετͷࣗಈԽ 3.2 ՝୊ ͨͩɺ࣮ࡍʹճؼςετΛ։ൃϑϩʔͷதʹಋೖ͍ͯ͘͠ͱൃੜ͢Δ՝୊΋͋Γ·͢ɻ 3.2 ՝୊ ճؼςετ͸γεςϜશମͷཁ݅ʹԊͬͯςετέʔε͕࡞ΒΕ͍͖ͯ·͢ɻͰ͢ͷͰɺ։ൃΛਐ Ίͯػೳ͕૿͍͚͑ͯ͹૿͑Δ΄Ͳςετ߲໨͕૿͍͖͑ͯ·͢ɻ ໢ཏ཰ 100% Λ໨ࢦͤ͹໨ࢦ͢΄Ͳςετ߲໨͸૿͍͖͑ͯςετͷίετ͸ରԠ͖͠Εͳ͍΄Ͳ ංେԽͯ͠͠·͏ͷͰɺςετ߲໨ʹ༏ઌ౓Λ͚ͭΔ͜ͱͰγεςϜ্ॏཁͳՕॴΛް͘ςετ͢ Δɺͱ͍͏Α͏ͳํ๏΋͋Γ·͕͢ɺςετͷίετ૿େͦͷ΋ͷͷղܾࡦʹ͸ͳΓ·ͤΜɻ ςετͷίετ͕૿͑ͯճؼνΣοΫʹ͔͔Δ͕࣌ؒ૿͑ΔͱͦͷͿΜϦϦʔε͕஗͘ͳͬͯ͠· ͏Մೳੑ͕͋Γ·͢ɻ ࠓճ͸͜ͷςετ߲໨͕૿͑Δ͜ͱʹΑΔςετͷίετ૿େͷ՝୊ղܾΛࢼΈ·͢ɻ 3.3 Ξϓϩʔν E2E ςετπʔϧΛಋೖ͢Δ͜ͱͰճؼςετͷࣗಈԽΛ࣮ݱͰ͖·͢ɻ E2E ςετπʔϧʹ͸ίʔυϕʔεͰςετ͢Δ΋ͷ΍ɺϊʔίʔυͰςετ͢Δ΋ͷͳͲ͕͋ Γ·͢ɻ • Playwright – JavaScriptʢTypeScriptʣ Λ࢖ͬͨίʔυϕʔεͰςετΛߦ͏ E2E ςετπʔϧͰ͢ɻ • MagicPod – GUI ্ͰςετέʔεΛ૊ΈɺϊʔίʔυͰςετΛߦ͏ E2E ςετπʔϧͰ͢ɻ ্هͷΑ͏ͳ E2E ςετπʔϧʹΑͬͯɺਓྗͰߦ͍ͬͯͨճؼςετͷςετ߲໨ΛࣗಈԽ͢ Δʹ͸ɺςετ߲໨ͷఆٛΛػց͕ղऍՄೳͳঢ়ଶʹ͢Δඞཁ͕͋Γ·͢ɻ ͨͱ͑͹ʮϔομʹ͋Δτοϓϖʔδ΁ͷϦϯΫΛΫϦοΫͨ͠Βҧ࿨ײͳ͘τοϓϖʔδʹભҠ ͞ΕΔʯͱ͍͏Α͏ͳςετέʔε͕͋ͬͨͱͯ͠ɺ͜ΕΛػց͕ղऍՄೳͳఆٛʹม׵͢Δͱ͢Ε ͹ɺ ʮDesktop Chrome ͱ iPhone14 ͷ Webkit ͷϒϥ΢β؀ڥʹ͓͍ͯɺϔομʹ͋Δτοϓϖʔ δͷϦϯΫΛΫϦοΫͨ͠ΒɺΤϥʔ͕ൃੜͤͣ URL ͕ /(τοϓ) ʹભҠ͞ΕΔʯͷΑ͏ʹͳΔͰ ͠ΐ͏ɻ ͦͷςετ͕ͲͷΑ͏ͳ؀ڥͰ࣮ߦ͞ΕΔ͔ʁ ૝ఆ͞ΕΔ݁Ռͷ৚݅ͷఆٛ͸Կ͔ʁ ҧ࿨ײͷఆ ٛ͸Կ͔ʁ ͱ͍ͬͨΑ͏ͳ҉໧తʹ૝ఆ͞ΕΔ৚݅Λ໌จԽ͢Δ͜ͱ͕ɺࣗಈԽ΁ͷҠߦʹ͸ඞཁ Ͱ͢ɻ΋͠ɺςετέʔεʹ͓͚Δʮҧ࿨ײͷͳ͞ʯ͕ʮભҠઌͷϖʔδͷද่͕ࣔΕ͍ͯͳ͍ʯͱ ͍͏Α͏ͳҙຯ΋ؚΉͷͰ͋Ε͹ςετέʔεΛ෼ղ͢Δ͜ͱ΋ඞཁ͔΋͠Ε·ͤΜɻ ͨͩɺςετͷ݁ՌʮγεςϜ͕࢖͍ͮΒ͘ͳͬͯ͠·͍ͬͯΔʯͱ͍͏Α͏ͳ௚ײΛཁ͢Δ΋ͷ ʹ͍ͭͯ͸ࣗಈԽ͢Δ͜ͱ͕೉͍͠৔߹͕͋ΔͷͰɺແཧ΍ΓࣗಈԽ͢ΔΑΓ΋ਓ͕ؒςετΛߦ͏ ํ͕๬·͍͠৔߹΋͋Γ·͢ɻ ͜͏͍ͬͨςετέʔεΛͲͷΑ͏ʹࣗಈԽ͢Δ͔ʁ ࣗಈԽͨ݁͠ՌͲͷΑ͏ͳςετέʔεʹ 24

Slide 32

Slide 32 text

ୈ 3 ষ Web ͷճؼςετͷࣗಈԽ 3.4 ࣮ફ ͳΔ͔ʁ ͱ͍͏΋ͷ͸νΣοΫ୲౰ͷਓͱ࣮૷ऀ͕Ұॹʹௐ੔͍ͯ͘͜͠ͱͰɺͲͷΑ͏ͳڍಈ͕ ୲อ͞Ε͍ͯΔͷ͔ͷڞ௨ೝࣝΛ࡞Γɺճؼςετͷݱ࣮ղΛಋ͘͜ͱ͕Ͱ͖ΔͰ͠ΐ͏ɻ 3.4 ࣮ફ ࣮ࡍʹ E2E ςετπʔϧΛ࢖ͬͨςετέʔεͷ࡞੒Λͯ͠Έ·͢ɻ ࠓճ͸ Playwright Λ࢖༻ͯ͠Έ·͢ɻ Լه͸ෳ਺ϒϥ΢βʹΑΔςετέʔεͷ࣮ߦͷྫͰ͢ɻ Ϧετ 3.1: sample.spec.ts 1: import { devices, expect, test } from "@playwright/test"; 2: 3: // ςετΛߦ͏σόΠεͷҰཡ 4: const EMULATE_DEVICES = [devices["iPhone 13"], devices["Desktop Chrome"]]; 5: 6: test.use({ 7: ...EMULATE_DEVICES, 8: locale: "ja-JP", 9: }); 10: 11: test("φϏήʔγϣϯ্ͷϦϯΫ͔ΒμογϡϘʔυ΁ભҠ", async ({ page }) => { 12: await page.goto("https://github.com/microsoft/playwright"); 13: 14: // φϏήʔγϣϯ͕഑ஔ͞Ε͍ͯΔμΠΞϩάΛ։͘ 15: await page.locator(’[aria-label="Open side panel"]’).click(); 16: 17: // ϦϯΫͷ৔ॴΛಛఆͯ͠ԡԼ 18: const siteNavigateArea = page.locator(’[aria-label="Site navigation"]’); 19: await siteNavigateArea.getByText("Home").click(); 20: 21: // ૝ఆ͞ΕͨϖʔδϦϯΫʹભҠ͔ͨ͠Ͳ͏͔ΛνΣοΫ 22: expect(page).toHaveURL("https://github.com/dashboard"); 23: }); ·ͨɺϩάΠϯঢ়ଶΛ E2E ςετͰ੍ޚ͢Δʹ͸ԼهͷΑ͏ʹ࣮ݱ͠·͢ɻ Ϧετ 3.2: auth.setup.ts 1: import { test as setup } from "@playwright/test"; 2: 3: export const USER_A_AUTH_FILE = "playwright/.auth/user1.json"; 4: export const USER_B_AUTH_FILE = "playwright/.auth/user2.json"; 5: 6: setup("userA ೝূ", async ({ page }) => { 7: const USER_NAME = /** Ϣʔβʔ໊ */; 8: const PASSWORD = /** ύεϫʔυ */; 9: 25

Slide 33

Slide 33 text

ୈ 3 ষ Web ͷճؼςετͷࣗಈԽ 3.4 ࣮ફ 10: await page.goto("https://github.com/login"); 11: await page.getByLabel("Username or email address").fill(USER_NAME); 12: await page.getByLabel("Password").fill(PASSWORD); 13: await page.getByRole("button", { name: "Sign in" }).click(); 14: 15: await page.waitForURL("https://github.com/"); 16: 17: expect( 18: page.getByRole("button", { name: "View profile and more" }) 19: ).toBeVisible(); 20: 21: await page.context().storageState({ path: USER_A_AUTH_FILE }); 22: }); 23: 24: setup("userB ೝূ", async ({ page }) => { 25: const USER_NAME = /** Ϣʔβʔ໊ */; 26: const PASSWORD = /** ύεϫʔυ */; 27: 28: await page.goto("https://github.com/login"); 29: await page.getByLabel("Username or email address").fill(USER_NAME); 30: await page.getByLabel("Password").fill(PASSWORD); 31: await page.getByRole("button", { name: "Sign in" }).click(); 32: 33: await page.waitForURL("https://github.com/"); 34: 35: expect( 36: page.getByRole("button", { name: "View profile and more" }) 37: ).toBeVisible(); 38: 39: await page.context().storageState({ path: USER_B_AUTH_FILE }); 40: }); ϑΥϩʔɾඃϑΥϩʔͳͲͷෳ਺ΞΧ΢ϯτΛ࢖༻ͨ͠ςετʹ΋ରԠͰ͖ΔΑ͏ʹෳ਺Ϣʔβʔ Ͱͷೝূ৘ใΛอ࣋Ͱ͖·͢ɻ ԼهͷΑ͏ͳઃఆϑΝΠϧΛ഑ஔ͢Δ͜ͱͰɺςετͷલʹೝূ৘ใͷऔಘΛߦ͏Α͏ʹͳΓ ·͢ɻ Ϧετ 3.3: playwright.config.ts 1: import { defineConfig } from "@playwright/test"; 2: 3: const config = defineConfig({ 4: projects: [ 5: // Setup project 6: { name: "setup", testMatch: /.*\.setup\.ts/ }, 7: ], 8: }); 9: 10: export default config; 26

Slide 34

Slide 34 text

ୈ 3 ষ Web ͷճؼςετͷࣗಈԽ 3.5 ͍͞͝ʹ ͜ͷ E2E ςετΛɺճؼςετ࣌ʹ୭Ͱ΋࣮ߦͰ͖ΔΑ͏ʹ GitHub Actions ͷ workflow dispatch Λ࢖༻ͯ͠खಈ࣮ߦͰ͖ΔΑ͏ʹͯ͠ΈΔͳͲ΋ྑ͍Ͱ͠ΐ͏ɻ ͜͏͍ͬͨ E2E ςετ͸ɺ։ൃΛਐΊΔ͝ͱʹͲΜͲΜϓϩάϥϜͷมߋ͕ೖΓɺؾ෇͍ͨͱ͖ ʹ͸ E2E ςετ͕࣮ߦͰ͖ͳ͘ͳ͍ͬͯͨɺͱ͍͏Α͏ͳέʔε͕ԟʑʹͯ͋͠Γ·͢ɻͦͷͨ Ίɺఆظతʹ E2E ςετΛ࣮ߦͯ͠ςετͷࣦഊʹૣ͘ؾ෇͘͜ͱ͕ॏཁͰ͢ɻͦ͜ͰɺGitHub Actions ʹΑΔ E2E ςετͷఆظ࣮ߦΛಋೖ͢ΔͳͲͷํ๏͕͋Γ·͢ɻ 3.5 ͍͞͝ʹ ͜ͷΑ͏ʹ Playwright Λ࢖༻͢Δ͜ͱͰ Web ͷճؼςετΛࣗಈԽͰ͖·͢ɻ ·ͨ 100% ׬શʹࣗಈԽ͢ΔΑΓɺͲͷΑ͏ͳςετͳΒࣗಈԽՄೳ͔ʁ ͜ͷςετ͸ਓؒͷ νΣοΫʹΑͬͯ୲อ͢Δ΂͖͔ʁ ͱ͍͏൑அΛճؼςετέʔεͷઃܭ͝ͱʹඞཁʹͳΔͰ͠ΐ ͏ɻͦͷͨΊɺγεςϜઃܭ࣌ͳͲɺͲͷΑ͏ͳ࣮૷ʹ͍͔ͯ͘͠Λ͢Γ߹ΘͤͨΓڞ༗͢Δ৔͕͋ Ε͹ͦ͏͍ͬͨ৔Ͱςετઃܭ΋ҰॹʹߦͬͯΈ·͠ΐ͏ɻ 27

Slide 35

Slide 35 text

No content

Slide 36

Slide 36 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.1 ຊষʹ͍ͭͯ micro:bit ͱ͍͏ڭҭ༻ϚΠίϯϘʔυ͕͋Γɺֶߍڭҭʹܞ͍ͬͯΔιϑτ΢ΣΞΤϯδχΞͷ ਎ͱͯͦ͠Ε͕ͲΜͳ΋ͷ͔࣮ࡍʹ࢖ͬͯΈΔମݧهͷΑ͏ͳষͰ͢ɻઌߦςετࣄྫͳͲ͸ωοτ ʹͪΒ΄Βͱ͢Ͱʹ͋Δ΋ͷͰ͕͢ɺ࣮ࡍʹࣗ෼͕৮ͬͯಘΒΕΔ͜ͱ͸͖ͬͱଟ͋͘Δͱࢥ͍ࠓճ ΍ͬͱखΛ৳͹͠·͕ͨ͠ɺࢥ͍ͬͯͨΑΓ΋༗ೳͰͨ͠ͷͰڞ༗͍ͨ͠ͱࢥ͍·͢ɻ ຊষ͸ɺެࣜஂମ͕ఏڙ͍ͯ͠ΔΤσΟλͰ͋Δ Python editor *1 Λ࢖ͬͯɺMacBook Pro ͱ USB ઀ଓ͢Δݕূ΍ιʔείʔυΛܝࡌ͠·͢ɻMicrosoft ࣾͷ MakeCode ΤσΟλͰͷ Python ΍ɺMu ΤσΟλͰͷ Python ͸ͦΕͧΕʹޓ׵ੑ͕͋Γ·ͤΜͷͰ͝஫ҙ͍ͩ͘͞ɻ *1 micro:bit ެࣜஂମͷ Python editor : https://python.microbit.org/ 29

Slide 37

Slide 37 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.1 ຊষʹ͍ͭͯ ͓खܰͰ͓΋͠Ζ͍σόΠε ࠓճ࣮ࡍʹௐ΂ͳ͕Βςετͯ͠෼͔ͬͨ͜ͱΛ݁࿦͔Βݴ͏ͱɺ͜Ε͸= 3,000 ΄Ͳͷຊମ 1 ͭ ͚ͩͰͱͯ΋औΓ૊Έ͕͍ͷ͋Δڵຯਂ͍σόΠεͰ͢ɻ༡ͼͱֶͯ͠शͱͯ͠ɺ͋Δ͍͸ϥΠϑ ϋοΫͳͲɺ͏·͘΍Ε͹׆࿏͕͋Δϙςϯγϟϧ͕ײ͡ΒΕͯඇৗʹ͓΋͠Ζ͍σόΠεͰ͢ɻ ͦΕ͔Βɺιϑτ΢ΣΞ։ൃओମͰ͋ͬͨࢲʹͱͬͯϚΠίϯϘʔυ͸ීஈར༻͖ͯ͠·ͤΜͰ͠ ͕ͨɺݱ࣮ͷσόΠεͱιϑτ΢ΣΞ͕࿈ಈ͢Δ͜ͱͰਓͱιϑτ΢ΣΞ͕ͭͳ͕Δ͜ͱ͸ඇৗʹ༗ ҙٛͰ͢ɻ͞ΒʹՃ଎౓ηϯαɺ஍࣓ؾηϯαɺγϦΞϧϙʔτ઀ଓͳͲɺσόΠε੍ޚͷ؍఺͔Β ΋ଟ͘ͷऔΓ૊Έ୊ࡐ͕͋ΔͨΊɺࢠͲ΋ͷֶशڭࡐͱ͚ͯͩ͠Ͱ͸ͦͷද໘ͷҰ෦෼͔͠࢖͍ͬͯ ͳ͍ͱ͍͏ঢ়گͰ͋Δ͜ͱ͕෼͔Γ·ͨ͠ɻಉ༷ͷϚΠίϯϘʔυͰ͸ Raspberry Pi ͳͲ΋ڍ͛Β ΕΔͱࢥ͍·͕͢ɺຊػ͸Ձ֨= 3,000 લޙͳ͜ͱͱ͓खܰͰͱ͖ͬͭ΍͍͢͜ͱɺΉ͖ग़͠Ͱར༻ Ͱ͖Δ͜ͱͳͲɺඞཁͳΒେྔߪೖͯ͠Կ͔Ͱ͖Δ͔΋͠Εͳ͍ՄೳੑΛײ͡·͢ɻ ࠓճ͢΂ͯ͸ਂ͘৮ΕΔ͜ͱ͕Ͱ͖·ͤΜͰ͕ͨ͠ɺͦͷਂΈͱՄೳੑ͕ײ͡ΒΕͨ͜ͱΛத৺ʹ ίʔυྫͱͱ΋ʹ঺հ͍͖ͯ͠·͢ɻ චऀϓϩϑΟʔϧ ήʔϜΛத৺ͱͨ͠ιϑτ΢ΣΞΤϯδχΞͱͯ͠׆ಈ͓ͯ͠ΓɺίϯγϡʔϚήʔϜ΍ϒϥ΢ βήʔϜͱεϚʔτϑΥϯΞϓϦͷ։ൃɺWeb αʔϏε΍ήʔϜاըʹ΋ܞΘΔɻۙ೥͸ڭҭ ݱ৔ʹ޲͚ͯɺ ʮϓϩάϥϛϯάֶशʯΛਪਐ͢Δߨࢣͱͯͦ͠ͷֶशιϑτ΢ΣΞ΍ΧϦΩϡ ϥϜ։ൃͱซͤͯऔΓ૊ΜͰ͍Δɻ LinkedIn: https://www.linkedin.com/in/akira-tanabe/ ໨࣍ • micro:bitʢϚΠΫϩϏοτʣͱ͸ • ಺ଂ Beep ԻεϐʔΧʔͰϝϩσΟϓϨΠϠʔ • Ճ଎౓ηϯαͰମݧܕήʔϜίϯτϩʔϥ • ϚΠίϯνοϓ୯ಠϛχήʔϜ੍࡞ • ऴΘΓʹ 30

Slide 38

Slide 38 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.1 ຊষʹ͍ͭͯ micro:bitʢϚΠΫϩϏοτʣͱ͸ micro:bitʢBBC micro:bitʣͱ͍͏ϓϩάϥϛϯάֶश޲͚खͷͻΒαΠζͷϚΠίϯϘʔυڭࡐ ͕ӳࠃ์ૹڠձ BBC ʹΑͬͯઃܭ͞Εɺݱࡏ͸શੈքͰ׆༻͞Ε͍ͯ·͢ɻόʔδϣϯ 1ʢV1ʣ͸ 2017 ೥͔Βఏڙ͞Εɺ2020 ೥ 10 ݄ʹ V2 ʹΞοϓσʔτ͞Εɺηϯαྨͱ API ͕௥Ճ͞Ε͍ͯ ·͢ɻ ಺ଂηϯαʹ͸ • Ճ଎౓ηϯα • ஍࣓ؾηϯα • Թ౓ηϯα • ؀ڥޫηϯα ΠϯλϑΣʔεʹ͸ • ϚΠΫϩ USB • ϚΠΫ • εϐʔΧʔ • A / B Ϙλϯ • ೖग़ྗ୺ࢠ 0/1/2/3V/GND ʜϫχΫϦοϓͱͷ઀ଓ༻ • Bluetooth • ຊମ LOGO λονʢV2ʣ ͕උΘ͍ͬͯ·͢ɻ ։ൃ؀ڥ͸ɺMicrosoft ࣾͷ MakeCode ΤσΟλͰͷϒϩοΫϓϩάϥϛϯάɾJavaScript ɾ Python ͕ɺެࣜஂମ͔Β͸ Python editorʢ˒ࠓճར༻͢Δʣ ɺApple ͔Β Swift Playgrounds Ξϓ ϦͳͲ͕ఏڙ͞Ε͍ͯ·͢ɻ 31

Slide 39

Slide 39 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.2 ಺ଂ Beep ԻεϐʔΧʔͰϝϩσΟϓϨΠϠʔ ը૾͸ micro:bit ެࣜ Web αΠτ *2 ͱ Python editorɻ ͦͷ΄͔पลػثͱͯ͠ਓܕϩϘοτᝑମ΍ϥδίϯΧʔɺύουೖྗج൫ͳͲͷػث͕֤͔ࣾΒ ൢച͞Ε͍ͯ·͢ɻ೔ຊͷֶߍڭҭݱ৔Ͱൺֱతଟ͘໨ʹ͢Δ΋ͷ͸ϩϘοτΧʔͷλΠϓͰɺԿ Β͔ͷηϯαʹΑͬͯंΛ૸ΒͤΔϓϩάϥϛϯάΛ MakeCodeʢScratch ෩ϒϩοΫϓϩάϥϛϯ άʣͰखॱʹԊ࣮ͬͯફ͢Δͱ͍͏΋ͷʹऔΓ૊ΜͰ͍Δ͜ͱ͕͋Γ·͢ɻ ֶߍڭҭݱ৔ʹͱͬͯ͜ͷखͷֶशڭࡐ͸Ωοτʹͳ͍ͬͯΔ΋ͷΛߪೖͯ͠ॱΛ௥࣮ͬͯફ͢Δ ͔͠ͳ͘ɺઐ໳ՈͰͳ͚Ε͹௨ৗऔΓ૊ΈͮΒ͍΋ͷͰ͢ɻmicro:bit ͸ࠃ಺Ͱॳ୅όʔδϣϯ͕ެ ։͞Ε͔ͯΒ 5 ೥ఔ౓ܦա͍ͯ͠Δ͜ͱ΋͋Γɺωοτ্Ͱར༻ํ๏Λௐ΂Δͱ͍͔ͭ͘ίʔυαϯ ϓϧͳͲΛ໨ʹ͠·͢ɻֶश༻్ͱֶͯ͠ߍͰͷ׆༻ͱͯ͠΋ར༻Ҋ͕঺հ͞Ε͍ͯΔ͜ͱ͕͋Γ· ͕͢ɺ૊Έࠐ·Ε͍ͯΔ͜ͱ͕Ͱ͖Δ͔Λࢼ͢ઌͷൃలతͳల։͸গͳ͍Α͏ʹײ͡ΒΕ·͢ɻ·ͨ ೔ຊͷ৔߹ɺൺֱత໨ʹ͢Δࣄྫ͸पลػثͱ߹Θͤͯൢചఏڙ͞Ε͍ͯͯڭࢣ͕ར༻͠΍͍͢ύο έʔδ඼Λߪೖͯ͠ར༻͍ͯ͠Δ͜ͱ͕͋Γɺຊମ 1 ͭΛϋοΫͯ͠׆༻͍ͯ͘͠܏޲ʹ͸ͳ͍Α͏ Ͱ͢ɻ ຊষͷ࣮ફʹ޲͚ͯ ຊମ 1 ͭ͋Ε͹͖ͬͱ͓΋͠Ζ͍͜ͱ͸Ͱ͖Δͱ͍͏Πϝʔδ͕͋Δ͜ͱͱɺಘҙͱ͢ΔήʔϜͷ ؍఺ͰԿ͔ੜ͔ͤΔΑ͏ͳയવͱͨ͠ՄೳੑΛײͨͨ͡ΊʹऔΓ૊ΈΛ࢝Ί·ͨ͠ɻ࣍ͷઅ͔Β͸͍ ͔ͭ͘ͷΞΠσΞ੾ΓޱͰࢼͯ͠Έͭͭɺࢲ͕ײ͓ͨ͡΋͠ΖΈ΍Մೳੑ͕͜͜Ͱڞ༗Ͱ͖ͨΒ͏Ε ͘͠ࢥ͍·͢ɻ 4.2 ಺ଂ Beep ԻεϐʔΧʔͰϝϩσΟϓϨΠϠʔ *2 https://microbit.org/code/ 32

Slide 40

Slide 40 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.2 ಺ଂ Beep ԻεϐʔΧʔͰϝϩσΟϓϨΠϠʔ εϐʔΧʔ͕಺ଂ͞Ε͍ͯͯ Beep Ի͕ൃৼͰ͖Δ͜ͱ͕هࡌ͞Ε͍ͯͨͷͰप೾਺ΛׂΓग़ͯ͠ ԻఔΛͱͬͯϝϩσΟʔʹ͠Α͏ͱߟ͑ͯ࡞੒ͨ͠ͷ͕͜ͷઅͰ͢ɻ݁࿦͔Βݴ͏ͱ music ͱ͍͏ module ͕͋ͬͨʢͳΜͱʣͷͰ΋ͬͱ؆୯ʹ໐ΒͤΔ͜ͱ͕Ͱ͖·ͨ͠ɻ͜͜Ͱ͸ൃԻͱԻ֊ʹର ͢Δཧղͱ࣮ફͱ͍͏໨తʹ͠·͢ɻ Ի֊ Իͷݪཧ͸ɺৼಈͷप೾਺ʢ଎͞ʣ͕Իఔʹɺৼಈͷڧ͕͞ԻྔʹͳΓ·͢ɻυϨϛ͸Ͳ͜ͷप೾ ਺Ͱ͠ΐ͏ɻυϨϛϑΝιϥγυ͸ӳޠදهͰɹ C C# D D# E F F# G G# A A# B ɹͱ 12 Ի Ͱ 1 αΠΫϧΛΦΫλʔϒɻϐΞϊԻҬͰߟ͑Δͱɺ1 ΦΫλʔϒͷपظͰ A0ʢϥʣ͔Β C8ʢυʣ ͘Β͍·Ͱ͋Γ·͢ɻΦΫλʔϒͱΦΫλʔϒ͸प೾਺͕ 1/2 ഒ·ͨ͸ 2 ഒͱɺͪΐ͏Ͳ 1:2 ͷൺ཰ ͰഒʹͳΔؔ܎ɻ1 ΦΫλʔϒͷؒΛۉ౳ʹ 12 ͰׂͬͯԻ֊ΛׂΓৼͬͨͷ͕ฏۉ཯ͱ͍͏νϡʔ χϯάํ๏ͰҰൠతʹ༻͍ΒΕΔํ๏Ͱ͢ɻͲͷप೾਺Λج४ʹઃఆ͢Δ͔Λʮඪ४Իʯͱݴͬͯɺ ࠃࡍࣜදهͰ A4 Λ 440Hz ʹઃఆ͢Δͷ͕࠷΋ϙϐϡϥʔͰ͕͢ίϯαʔτϗʔϧͳͲͰ͸ 442Hz ʹͳ͍ͬͯΔΑ͏Ͱ͢ɻ ܭࢉࣜ͸ Python Ͱදه͢Δͱ f(Hz)=440 * 2 ** n / 12 ͱͳΓ·͢ɻ440 Λഒഒʹ͍ͯ͘͠ ͔ɺn Λ +-12 ͢ΔͱԻҬ্͕͛Լ͛͞Ε·͢ɻ pin_speaker.set_analog_period_microseconds micro:bit ͷεϐʔΧʔ͸ PWM ৴߸ͱ͍͏ৼ෯ͷपظʢmsʣΛࢦఆ͢ΔͨΊɺϒϒϒϒͱ Beep ԻΛͲͷ࣌ؒ։͚Δ͔Λࢦఆ͠·͢ɻԻ֊प೾਺ Hz ͷͭ΋ΓͰ 440,880 ͷΑ͏ͳ 2 ͭͷ৘ใΛ༩͑ Δͱ 2 ͭ໨͕ߴ͍ԻʹͳΒͣϒϒϒͷαΠΫϧ͕஗͘ͳΓԻ͕Լ͕Γ·͢ɻ͜͜Ͱ͸ f(Hz)=440 * 2 ** (12-n) / 12 ɹͱ 12 Իʹରͯ͠ٯʹ͢Δ͜ͱͰԻ֊ʹͰ͖·ͨ͠ɻ ࣮ݱ͍ͨ͠Ի֊Λӳޠදه c,d,e,f,g,a,b Ͱ͔͋ͭ͑ΔΑ͏ఆٛɻ Ի֊ɺʴٳූ c,d,e,f,g,a,b,v = 0,2,4,5,7,9,11,99 // 99 ٳූ ίʔυͷղઆ ॾػೳΛ੝ΓࠐΜͰΩϥΩϥޫΔʙͱ໐ΔϓϨΠϠʔ͕ҎԼͷΑ͏ʹͯ͠׬੒͠·ͨ͠ɻ • Իʢϊʔτʣ͸ͱΓ͋͑ͣ 2 খઅ • set_analog_period_microseconds ɹ͸ ms ࢦఆͳͷͰɹ 1000ʢ=1 ඵʣͰ 1 ഥΛج४ʹ sp eed Ͱ࠶ੜ଎౓ • ϊʔτ௕͕༨നͳͭ͘ͳ͕͍ͬͯΔͱ࣍ͷϊʔτ͕ฉ͑͜ͳ͍ͷͰ 0.9 ࠶ੜɺ0.1 ແԻ • button_a Ͱ࠶ੜɺbutton_b Ͱఀࢭ 33

Slide 41

Slide 41 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.2 ಺ଂ Beep ԻεϐʔΧʔͰϝϩσΟϓϨΠϠʔ • write_analog ͰԻྔΛ্͛Լ͛ͯ͠ٳූ Ϧετ 4.1: ͖Β͖Β੕ playe@Pythonr 1: from microbit import * 2: while True: 3: if button_a.is_pressed(): 4: pin = pin_speaker 5: print("pin_speaker") 6: speed = 1000/4 7: power = 25 8: rate = 440*4 9: stp = 0 10: c,d,e,f,g,a,b,v = 0,2,4,5,7,9,11,99 // 99 ٳූ 11: musicstep = [c,c,g,g,a,a,g,v,f,f,e,e,d,d,c,v] 12: while len(musicstep)>stp: 13: note = int(2**((12-musicstep[stp]) / 12) * rate) 14: if musicstep[stp] is not v: 15: pin.write_analog(power) 16: pin.set_analog_period_microseconds(note) 17: print("({}){}".format(stp,note)) 18: sleep(int(speed*0.9)) 19: pin.write_analog(0) 20: sleep(int(speed*0.1)) 21: stp+=1 22: if button_b.is_pressed(): break 23: print("stop") 24: pin.write_analog(0) 25: ׬੒ [YouTube] https://youtu.be/qzfX0eibEKQ 34

Slide 42

Slide 42 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.3 Ճ଎౓ηϯαͰମݧܕήʔϜίϯτϩʔϥ 4.3 Ճ଎౓ηϯαͰମݧܕήʔϜίϯτϩʔϥ ͜ͷηϯα͸ 3 ࣠ͷՃ଎౓͕Ճ଎࣌ܭʢaccelerometerʣʹΑͬͯಘΒΕɺͦͷ΄͔౗͍ͯ͠Δ޲ ͖ͱͯ͠׆༻Ͱ͖·͢ɻ ਤͷΑ͏ͳػೳ͔Βɺઐ༻ήʔϜػͱಉ͡Α͏ͳ༡ͼํ͕ఏҊͰ͖ΔՄೳੑ͕͋Γ·͢ɻ͜ͷՃ଎ ౓ηϯα͕͋Δ͜ͱʹΑͬͯ׆࿏͕֨ஈʹ޿͕Δؾ͕͠·͢ɻ Ճ଎౓ͷར༻ʹ͋ͨͬͯ͸ຊػ׬݁Ͱ΋Α͍Ͱ͕͢ɺUnity ͷ 3D ήʔϜͱ࿈ಈͤͯ͞αϯϓϧΛ ࣔ͢͜ͱʹ͠·͢ɻࢼ͘͢͠Έ͸ɺຊମ͔ΒҰఆִؒͰ print ʹΑͬͯ৘ใऔಘ͓͖ͤͯ͞ɺ֎෦ ιϑτ΢ΣΞ͔Β print ৘ใΛऔಘ͢Δ͜ͱʹ͠·͢ɻ Unity ଆ͔Β͸औಘͨ͠ςΩετ৘ใΛ Json ύʔεͯ͠ߏ଄ମʹऩΊΔ͜ͱͱ͠·͢ɻ ίʔυͷ঺հ • accelerometer.get_values ɹ x,y,z ͷՃ଎౓৘ใͰ͢ɻ • accelerometer.get_strength ɹ x,y,Z ͢΂ͯͷ࣠ͷ߹ܭͰ͢ɻ • ૢ࡞ܥ button3 ͭ͸ Bit ϑϥάͰม਺ p ʹೲΊ͍ͯ·͢ɻ • ͦͷ΄͔ʹ΋ accelerometer.current_gesture ɹδΣενϟͱ͍͏ɺγΣΠΫͳͲ໊લΛ࣋ͬ ͨಈ͖΋औಘͰ͖·͕ͨ͠࢖͍·ͤΜɻ 35

Slide 43

Slide 43 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.3 Ճ଎౓ηϯαͰମݧܕήʔϜίϯτϩʔϥ Ϧετ 4.3: Ճ଎౓ηϯαൃ৴ػ@Pythonʢmicro:bit ଆʣ 1: from microbit import * 2: while True: 3: p = 0 4: if button_a.is_pressed(): p+=1 5: if button_b.is_pressed(): p+=2 6: if pin_logo.is_touched(): p+=4 7: axisx,axisy,axisz = accelerometer.get_values() 8: strength = accelerometer.get_strength() 9: # gesture = accelerometer.current_gesture() 10: # gest_histry = accelerometer.get_gestures() 11: print("{},{},{},{},{}" 12: .format(p, axisx,axisy,axisz, strength )) 13: sleep(100) Mac ͰγϦΞϧ઀ଓʢUSBʣΛ֬ೝ͢Δ γϦΞϧ઀ଓ % ls /dev/cu.* >> ls /dev/cu.usbmodem10000 ͜ͷ cu. ɹҎ߱ͷ໊લ͕ݱࡏ઀ଓ͍ͯ͠ΔػثͷγϦΞϧ઀ଓ৘ใͳͷͰ߇͓͖͑ͯ·͢ɻ C#γϦΞϧ Ports ࢖༻͸ System.IO.Ports.SerialPortɻ ʲखॱ 1ʳΧελϜͷ Receiver Ϋϥε͸ SerialPort ΠϯελϯεΛ࡞੒͠ Thread ΞΫγϣϯͰ୺ ຤ͷ message Λड͚औΓ·͢ɻ SerialPortReciever ղઆ • SerialPort Λॴఆͷํ๏ͰΠϯελϯεΛ࡞੒͢Δ • thread Ͱ࣋ଓతʹ message Λड͚औΓ callback ͢Δ 36

Slide 44

Slide 44 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.3 Ճ଎౓ηϯαͰମݧܕήʔϜίϯτϩʔϥ Ϧετ 4.3: Ճ଎౓ηϯαड৴ΞϓϦ@C#ʢUnity ଆʣ ɾSerialPortReciever Ϋϥε 1: using System; 2: using System.Threading; 3: using System.IO.Ports; 4: using UnityEngine; 5: /// 6: /// SerialPortΠϯελϯεΛ࡞੒ͯ͠ػثͱ઀ଓ͢Δ 7: /// 8: [Serializable] 9: public class SerialPortReciever 10: { 11: [SerializeField] SerialPort _serial; 12: Thread _thread; 13: public bool enable; 14: public string recieve; 15: public Action onreceiveaction; 16: /// 17: /// SerialPortΠϯελϯεͷ࡞੒ 18: /// 19: /// 20: public static SerialPortReciever Create(string portName) 21: { 22: var r = new SerialPortReciever(); 23: if (r._Create(portName)) 24: { 25: r._thread = new Thread(r.RecieverAct); 26: r._thread.Start(); 27: return r; 28: } 29: else 30: { 31: Debug.LogError("create failure"); 32: return null; 33: } 34: } 35: 36: bool _Create(string portName) 37: { 38: _serial = new SerialPort(); 39: _serial.BaudRate = 115200; 40: _serial.Parity = Parity.None; 41: _serial.DataBits = 8; 42: _serial.StopBits = StopBits.One; 43: _serial.Handshake= Handshake.None; 44: _serial.PortName = portName; 45: try 46: { 47: _serial.Open(); 48: _serial.DtrEnable = true; 49: _serial.RtsEnable = true; 50: _serial.DiscardInBuffer(); 51: _serial.ReadTimeout = 5000; 52: this.enable = true; 37

Slide 45

Slide 45 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.3 Ճ଎౓ηϯαͰମݧܕήʔϜίϯτϩʔϥ 53: return true; 54: } 55: catch (Exception e) 56: { 57: Debug.LogError($"failure.. {e}"); 58: _serial.Close(); 59: _serial = null; 60: return false; 61: } 62: } 63: 64: void RecieverAct() 65: { 66: while (enable) 67: { 68: try 69: { 70: recieve = _serial?.ReadLine(); 71: onreceiveaction?.Invoke(recieve); 72: } 73: catch (Exception e) 74: { 75: recieve = e.ToString(); 76: } 77: } 78: } 79: 80: public void Dispose() 81: { 82: enable = false; 83: _thread?.Abort(); 84: _thread = null; 85: _serial?.Close(); 86: _serial = null; 87: } 88: } ʲखॱ 2ʳ࡞੒ͨ͠ SerialPortReciever ʹ֨ೲ͞Εͨ୺຤ͷ message Λࢀরͯ͠ GameObject Λ ੍ޚ͢Δ Player Ϋϥεͱద౰ͳ ObjectʢࠓճαϯϓϧʹඈߦػΛ࡞੒ʣΛ༻ҙ͠·͢ɻ 38

Slide 46

Slide 46 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.3 Ճ଎౓ηϯαͰମݧܕήʔϜίϯτϩʔϥ SerialPortPlayer ղઆ • DeviceContext ߏ଄ମ͸ message ͷ json ύʔε data • Ճ଎౓ܭ৘ใ͸ϒϨ͕ܹ͍͠ͷͰฏۉԽͤͯ͞ SerialPortPlayer.average ͔Βࢀর • σʔλͷసૹϩεස౓͕ߴ͍ͷͰड৴σʔλͷਪଌɾॳظ஋Λ getintvalue Ͱ༩͑Δ • Ճ଎౓ܭ܏͖ͷ͋ͦͼ஋Λ MINB , MINH ʹͯ 0.5 ౓ఔ౓ઃఆ͢Δ Ϧετ 4.3: Ճ଎౓ηϯαड৴ΞϓϦ@C#ʢUnity ଆʣ ɾSerialPortPlayer Ϋϥε 1: using System; 2: using UnityEngine; 3: using System.Collections.Generic; 4: 5: public class SerialPortPlayer : MonoBehaviour 6: { 7: [SerializeField] string portname = "/dev/cu.usbmodem000"; 8: [SerializeField] SerialPortReciever receiver; 9: 10: void Awake() 11: { 12: receiver?.Dispose(); 13: receiver = SerialPortReciever.Create(portname); 14: receiver.onreceiveaction = onreceive; 15: } 39

Slide 47

Slide 47 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.3 Ճ଎౓ηϯαͰମݧܕήʔϜίϯτϩʔϥ 16: 17: void OnDestroy() 18: { 19: receiver?.Dispose(); 20: receiver = null; 21: } 22: string getvalue(string m, string ifempty = "0") 23: => (string.IsNullOrEmpty(m))? ifempty : m; 24: 25: int getintvalue(string m, string ifempty = "0") 26: => int.Parse((string.IsNullOrEmpty(m)) ? ifempty : m); 27: 28: void onreceive(string m) 29: { 30: if (!string.IsNullOrEmpty(m)) 31: { 32: var ms = m.Split(","); 33: if (ms.Length < 5) new Exception(); 34: // jsonԽ 35: var ex ="{"+ $"\"press\":{getintvalue(ms[0])}," + 36: $"\"axisx\":{(float)getintvalue(ms[1])}," + 37: $"\"axisy\":{(float)getintvalue(ms[2])}," + 38: $"\"axisz\":{(float)getintvalue(ms[3])}," + 39: $"\"strength\":{getintvalue(ms[4])}" + 40: "}"; 41: //print(m+"\n"+ex); 42: try 43: { 44: history.Insert(0,JsonUtility.FromJson(ex)); 45: if (history.Count > MAXHISTORY) 46: history = history.GetRange(0,SAMPLESIZE); 47: //print(ex+ "\n" + average); 48: } 49: catch(Exception e) 50: { 51: Debug.Log($"format error ({e})\n{m}"); 52: } 53: } 54: } 55: 56: public Vector3 average 57: { 58: get 59: { 60: Vector3 t=Vector3.zero; 61: for (var i = 0; i < SAMPLESIZE; i++) t += history[i].axis; 62: var r = new Vector3(t.x/(float)SAMPLESIZE, 0f, t.z/(float)SAMPLESIZE); 63: return new Vector3( 64: (MINB > r.x || MINH < r.x)? r.x : 0f, 65: (MINB > r.y || MINH < r.y)? r.y : 0f, 66: (MINB > r.z || MINH < r.z)? r.z : 0f 67: ); 68: } 69: } 40

Slide 48

Slide 48 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.3 Ճ଎౓ηϯαͰମݧܕήʔϜίϯτϩʔϥ 70: [Range(0f, 5f)] [SerializeField]float asobi = 0.5f; 71: float MINB => asobi * -1f; 72: float MINH => asobi; 73: [Range(1, 16)] 74: public int SAMPLESIZE = 3; 75: const int MAXHISTORY = 1024; 76: const float MAXVALUE = 1024f; 77: public List history 78: = new List() { default, default, default, default }; 79: public DeviceContext deviceinput => history.Count>0? history[0]:default; 80: public GameObject target; 81: } 82: [Serializable] 83: public struct DeviceContext 84: { 85: public PressButton press; 86: /// 87: /// Ճ଎౓͸ʶ2000 88: /// 89: public int axisx, axisy, axisz; 90: public int strength; 91: public string gesture; 92: public string[] gest_histry; 93: const float ANGLE = -1f; 94: const float ANGLEZ = -3f; 95: /// 96: /// ӈखܥ࠲ඪ͔Βࠨखܥม׵ 97: /// 98: public Vector3 axis { get { 99: return new Vector3( 100: ((float)axisy/1024f)*ANGLE, 0f, ((float)axisx/1024f)*ANGLEZ 101: ); 102: }} 103: public bool isA { get { return press.HasFlag(PressButton.A); } } 104: public bool isB { get { return press.HasFlag(PressButton.B); } } 105: public bool isLogo { get { return press.HasFlag(PressButton.LOGO); } } 106: 107: public override string ToString() 108: { 109: return $"{press} ... A:{isA}, B:{isB}, Logo:{isLogo}, " + 110: $"axis:{axis}, gesture:{string.Join(",",gest_histry)}"; 111: } 112: [Flags] 113: public enum PressButton 114: { 115: None = 0, 116: A = 1<<0, 117: B = 1<<1, 118: LOGO = 1<<2 119: } 120: } 41

Slide 49

Slide 49 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.3 Ճ଎౓ηϯαͰମݧܕήʔϜίϯτϩʔϥ ͦͯ͠ SerialPortPlayer ΫϥεͰड৴ͨ͠ճస৘ใΛ GameObject ʹ༩͑Δ Airplane Ϋϥεɻ • b ϘλϯɿՃ଎ • a Ϙλϯɿݮ଎ • logo ϘλϯɿϦηοτ • ϐονʢඓઌͷ্ঢԼ߱ʣͱϩʔϧʢ͉࣠ճసʣʹಠཱͨ͠ speed ઃఆ Ϧετ 4.3: Ճ଎౓ηϯαड৴ΞϓϦ@C#ʢUnity ଆʣ ɾAirplane Ϋϥε 1: using System.Collections; 2: using System.Collections.Generic; 42

Slide 50

Slide 50 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.3 Ճ଎౓ηϯαͰମݧܕήʔϜίϯτϩʔϥ 3: using UnityEngine; 4: using System; 5: using static UnityEngine.GraphicsBuffer; 6: 7: public class Airplane : MonoBehaviour 8: { 9: [Range(1f, 1000f)] public float speed = 500f; 10: [Range(1f, 10f)] public float boostspeed = 5.0f; 11: [Range(-10f, 0f)] public float breakingspeed = -10f; 12: [Range(1f, 180f)] public float rotatespeed = 45f; 13: [Range(1f, 180f)] public float headupespeed = 66f; 14: [SerializeField] public Rigidbody rb; 15: [SerializeField] SerialPortPlayer player; 16: 17: [ContextMenu("Reset Rotation")] 18: void ResetRotation() => this.rb.rotation = Quaternion.identity; 19: [ContextMenu("Reset Transform")] 20: void ResetTransform() { 21: Debug.Log("reset trasf"); 22: rb.position = Vector3.up* 200f; 23: rb.rotation = Quaternion.identity; 24: rb.velocity = Vector3.zero; 25: rb.angularVelocity = Vector3.zero; 26: } 27: 28: // Start is called before the first frame update 29: void Start() 30: { 31: player = GameObject.FindObjectOfType(); 32: rb = gameObject.GetComponent(); 33: } 34: 35: // Update is called once per frame 36: void FixedUpdate() 37: { 38: // logo reset 39: if (player.deviceinput.isLogo) 40: { 41: ResetTransform(); 42: return; 43: } 44: // A button ϒϨʔΩ, B button accel 45: float boost = player.deviceinput.isB && !player.deviceinput.isA ? 46: boostspeed: (player.deviceinput.isA? breakingspeed : 1f); 47: // rotation 48: if (player && player.history.Count >= player.SAMPLESIZE) 49: { 50: //Debug.Log(player.average); 51: Quaternion r = rb.rotation; 52: rb.rotation *= Quaternion.Euler( 53: 0f, 54: 0f, 55: player.average.z * this.rotatespeed * Time.deltaTime 56: ) 43

Slide 51

Slide 51 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.3 Ճ଎౓ηϯαͰମݧܕήʔϜίϯτϩʔϥ 57: * Quaternion.Euler( 58: player.average.x * this.headupespeed * Time.deltaTime, 59: 0f, 60: 0f 61: ); 62: } 63: // accel 64: #if true 65: rb.AddRelativeForce(Vector3.forward * speed * boost, ForceMode.Acceleration); 66: if (Vector3.Dot(rb.velocity,rb.transform.forward.normalized)<0f) 67: { 68: rb.velocity = transform.forward * speed; 69: } 70: #endif 71: } 72: } ࣮ߦ݁Ռ [YouTube ᶃճస͚ͩςετ] https://youtu.be/6SklthRLp44 [YouTube ᶄՃ଎͋Γ׬੒൛] https://youtu.be/tMFQ0KQosSc 44

Slide 52

Slide 52 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.4 ϚΠίϯνοϓ୯ಠϛχήʔϜ੍࡞ 4.4 ϚΠίϯνοϓ୯ಠϛχήʔϜ੍࡞ ϓϩάϥϜΛసૹͯ͠ه࿥Ͱ͖Δ͜ͱͱɺઐ༻ి஑ box Ͱڅి͢Ε͹ελϯυΞϩʔϯͷܞଳήʔ Ϝػͱͯ͠ػೳ͢Δ༁Ͱ͢ɻهԱ༰ྔ͸ V2 Ͱ Flash ROM 512KB ʗ RAM 128KB ͱ͍͏͜ͱͳ ͷͰϓϩάϥϜຊମ͚ͩͰ͋Ε͹͍ͩͿऩ·Δ༰ྔͷΑ͏Ͱ͢ɻ͓ࢼ͠ʹ୯ମͰಈͪ͘ΐͬͱʮ͓΋ ͠Ζ͍ʯήʔϜΛ࡞ͬͯΈ͍ͨͱࢥ͍·͢ɻ ήʔϜΠϝʔδ • 5x5dot མͪ΋ͷΞΫγϣϯήʔϜ • dot ͕গͳ͍͜ͱ͕ٯʹࣦഊ·Ͱͷ༛༧͕গͳ͓ͯ͘΋͠Ζͦ͏ • beep Ի͕໐ΔͱҰपճͬͯΫʔϧͳͷͰϓϨΠϑΟʔυόοΫͱͯ͠ੵۃతʹ໐Β͢ • མԼ଎౓͕೉қ౓ʹͳΓϓϨΠΛ੝Γ্͛Δ DROPGAME ࢓༷ • ԣ dot ҐஔΛϥϯμϜʹબग़͠ 1dot ͷো֐෺Λੜ੒ • ࠷্෦͔ΒҰఆ࣌ؒͰ 1dot ͣͭམԼʢbeepʣ • ߴ͞ 5dot Λ௒͑ͨΒ GameOverʢbeepʣ • ࠷Լߦʹ 1dot ͷΛ഑ஔ • ຊମϘλϯ a/b ͰࠨӈҠಈ͕ͯ͠Λ৯΂ΒΕͨΒةػΛճආʢbeepʣ • 3 ͭ৯΂Δ͝ͱʹ LevelUp ͯ͠མԼ଎౓্͕͕Δ ήʔϜʹར༻͢Δ micro:bit ཁૉ • button_aʢࠨϘλϯʣ • button_bʢӈϘλϯʣ • display LED 5 x 5 dot 45

Slide 53

Slide 53 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.4 ϚΠίϯνοϓ୯ಠϛχήʔϜ੍࡞ • speaker Ϧετ 4.3: ϚΠίϯνοϓ DROPGAME@Python 1: from microbit import * 2: import random 3: MAX = 4 4: MAXLEVEL = 10 5: SCOREMAX = 3 6: x,y=0,0 7: px,py=int(2/MAX),MAX 8: x = random.randint(0,MAX) 9: steprate= [10,5,4,3,2,1,0.75,0.5,0.25,0.1] 10: level = 0 11: score = 0 12: def beep(pt): 13: pin_speaker.write_analog(10) 14: pin_speaker.set_analog_period_microseconds(pt) 15: sleep(100) 16: pin_speaker.write_analog(0) 17: 18: def gameover(): 19: print("game over") 20: for xx in range(MAX+1): 21: for yy in range(MAX+1): 22: display.set_pixel(xx,yy,9) 23: 24: while True: 25: display.clear() 26: display.set_pixel(x,y,5) 27: if button_a.is_pressed() or button_b.is_pressed(): 28: px += -1 if button_a.is_pressed() else 1 if button_b.is_pressed() else 0 29: px = max(0,min(MAX,px)) 30: display.set_pixel(px,py,9) 31: if px==x and py==y: 32: print("hit") 33: score +=1 34: if score>=SCOREMAX: 35: level += 1 36: level = min(MAXLEVEL,level) 37: score = 0 38: beep(880) 39: else: 40: beep(440) 41: 42: y = 0 43: x = random.randint(0,MAX) 44: else: 45: y+=1 46: if y>MAX: 47: beep(440*30) 48: gameover() 49: break 46

Slide 54

Slide 54 text

ୈ 4 ষ micro:bit ͷ͓΋͠Ζ׆༻ߟࠪ 4.5 ऴΘΓʹ 50: beep(220) 51: sleep(100*steprate[level]) ࣮ߦ݁Ռ [YouTube] https://youtu.be/fbkDtBVP4Y0 4.5 ऴΘΓʹ ࠓճ͸ USB ઀ଓͰͷݕূͰ͕ͨ͠ɺຊମ੍ޚʹར༻ͨ͠ micro:bit αΠτͷ Python editor 3.0 ʹ͓͍ͯຊػʹରͯ͠ Bluetooth ͷൃ৴͕Ͱ͖ͳ͍Α͏ͩͬͨͨΊɺ࣌ظΛΈͯɺผͷखஈΛऔΔͳ Ͳͯ͠ Bluetooth ෳ਺୆઀ଓͰ΋ͬͱ͓΋͠Ζ͍࣮ݧΛͯ͠ΈΑ͏ͱࢥ͍·͢ɻ ࠓճར༻ͨ͠ Python ίʔυͱ Unity ϓϩδΣΫτ͸ҎԼͷ GItHub ʹެ։͍ͯ͠·͢ɻڵຯ͕ ͋Δํ͸ͥͻ͓ࢼ͍ͩ͘͠͞ɻ [GitHub] https://github.com/akira-tanabe/mb_serialport_app_1 47

Slide 55

Slide 55 text

No content

Slide 56

Slide 56 text

ୈ 5 ষ ChatGPT Λ QA ͕࢖͍͜ͳ͢ҝͷΞΠ σΞ 5.1 ChatGPT ͔Β GPT-4 ͕ϦϦʔε 2023 ೥ 3 ݄ 15 ೔ɺChatGPT Plus Ϣʔβʔ޲͚ʹɺGPT-4 Ϟσϧ͕ར༻Ͱ͖ΔΑ͏ʹͳΓ·͠ ͨɻGPT-4 ʹΑΔΞ΢τϓοτʹ౓؊Λൈ͔Εͨࢲ͸ɺຖ೔นଧͪ૬खͱͯ͠࢖͍ͬͯ·͢ɻฐࣾ Ͱ͸ QAASAʢQuality Assurance Advanced Support Agencyʣͱ͍͏ɺ෦ॺΛ௒͑ͨ QA Τϯδ χΞͲ͏͠ͷ׆ಈ͕͋ΔͷͰ͕͢ɺͦ͜Ͱ ChatGPT ΛͲͷΑ͏ʹ׆༻Ͱ͖Δ͔࿩͠߹͓͏ʂ ͱࢲ ͕੠Λ͔͚ɺΞΠσΞΛूΊ·ͨ͠ɻ ʢ2023 ೥ 4 ݄ݱࡏɺMIXI ͸ɺٕज़มֵʹΑΔߟ͑΍ൃ૝ͷΞ ϯϥʔχϯάʹ޲͚৽͍ٕ͠ज़ʹ׳Ε਌͠ΜͰ΋Β͏͜ͱΛ໨తʹɺ౰ࣾͷਖ਼ࣾһɺܖ໿ࣾһΛର ৅ʹ 2023 ೥ 4 ݄͔Β໿ 3 ϲ݄ؒʮChatGPT Plusʯͷֹ݄ར༻ྉΛิॿ͞Ε͍ͯ·͢ʣຊߘͰ͸ ChatGPT Λ QA ΤϯδχΞ͕࢖͏ͱͨ͠ΒɺͲͷΑ͏ͳ࢖͍ํ͕Ͱ͖ΔͷͩΖ͏͔ʁ ͱ͍͏ٙ໰ ͔Βੜ·ΕͨΞΠσΞɺͦΕʹ΋ͱ͍ͮͯࢲ͕࣮ફͨ͠ྫΛ঺հக͠·͢ɻ ͜ͷΑ͏ͳ࢖͍ํ͕Ͱ͖ͦ͏ʂ QAASA ͷ׆ಈͰ͸ҎԼͷΑ͏ͳΞΠσΞ͕ڍ͕͍ͬͯ·ͨ͠ɻ • Selenium ΁ͷೖ໳ฤͱͯ͠ɺϒϥ΢βͷ؆୯ͳςετΛॻ͍ͯ΋Β͏ • ϖΞϫΠζ๏Ͱ࠷খݶͷ૊Έ߹ΘͤͷύλʔϯΛ࡞ͬͯ΋Β͏ • ςετέʔεΛಡ·ͤͯɺςετ؍఺Λநग़ͯ͠΋Β͍ɺ͞ΒʹϚΠϯυϚοϓͱͯ͠ग़ྗ͠ ͯ΋Β͏ ࿩͠߹͍ΛਐΊ͍ͯ͘தͰɺςετϓϩηε͝ͱʹݕ౼ͨ͠ͱ͜ΖΞΠσΞ͕ൃࢄͨ͠ҝɺ߲࣍ʹ ͯৄ͘͠঺հக͠·͢ɻ 49

Slide 57

Slide 57 text

ୈ 5 ষ ChatGPT Λ QA ͕࢖͍͜ͳ͢ҝͷΞΠσΞ 5.2 ςετϓϩηε͝ͱͷ׆༻ΞΠσΞ 5.2 ςετϓϩηε͝ͱͷ׆༻ΞΠσΞ ςετϓϩηεͷ͏ͪʮςετܭըʯ ʮςετ؅ཧʢϞχλϦϯάͱίϯτϩʔϧʣ ʯ ʮςετ෼ੳʯ ʮςετઃܭʯ ʮςετ࣮૷ʯ ʮςετ࣮ߦʯʹ͍ͭͯ࿩ΛਐΊ·͢ɻ ςετܭըͰͷ׆༻ ςετܭըͰ͸ɺ·ͣɺաڈͷϓϩδΣΫτ͕σʔλϕʔεԽ͞Ε͍ͯΕ͹ɺͦΕΛ׆༻ͯ͠ࠓճ ͷϓϩδΣΫτͱྨࣅͨ͠ϓϩδΣΫτΛ ChatGPT ʹݕࡧΛͤ͞Δ͜ͱ͕Ͱ͖ΔͷͰ͸ͳ͍͔ʁ ͱਪଌ͠·ͨ͠ɻྨࣅͷςετ໨త/ςετର৅ΛࢀরͰ͖Ε͹ɺࠓճͷϓϩδΣΫτʹ౰ͯ͸Ίͯɺ ඞཁͳ޻਺΍εέδϡʔϧɺςετΞϓϩʔνΛࡦఆ͢Δखॿ͚ʹͳΔ͸ͣͰ͢ɻ ςετ؅ཧͰͷ׆༻ ςετ؅ཧͰ͸ɺςελʔ͔Βͷద੾ͳใࠂΛଅ͢ͷʹ׆༻Ͱ͖ͦ͏ɺͱ͍͏ҙݟ͕͋Γ·ͨ͠ɻ Slack ͳͲͷνϟοτπʔϧͱ ChatGPT ͕࿈ܞ͞Εͯར༻Ͱ͖ΔΑ͏ʹͳΕ͹ɺAI ͷ bot ͔Βʮਐ ௙͸Ͳ͏Ͱ͔͢ʁ Կ͔ؾʹͳͬͨ͜ͱ͸͋Γ·͔͢ʁʯͷΑ͏ʹ࿩͔͚ͯ͠΋Β͏͜ͱ͕Ͱ͖ɺର ࿩Λ௨ͯ͡ࠓ͙͢Ϧʔμʔʹใࠂ͢Δ or ༦ձͰใࠂ͢Δɺͱ͍͏൑அ͕Ͱ͖Δͱྑͦ͞͏ɺͱ͍͏ ΞΠσΞͰ͢ɻ ςετ෼ੳͰͷ׆༻ ςετ෼ੳͰ͸ɺςετϕʔεʢ࢓༷ॻ΍ JIRA νέοτͷ಺༰ɺϛʔςΟϯάͷٞࣄ࿥ͳͲʣΛ ΋ͱʹͲͷΑ͏ͳςετ͕ඞཁ͔ݕ౼͠·͕͢ɺ͢ͰʹϦϦʔε͞Ε͍ͯΔαʔϏεͰ͋Ε͹ɺόά τϥοΩϯάγεςϜʢBTSʣͱ ChatGPT Λ࿈ܞͯ͠ɺӨڹൣғͷը໘ɾػೳͰൃੜͨ͠աڈͷෆ ۩߹΍໰୊ͷ·ͱΊΛग़ͯ͠΋Β͏͜ͱ͕Ͱ͖ΔͰ͠ΐ͏ɻ͔ͦ͜ΒɺରԠ͢΂͖ςετΛݕ౼͠΍ ͘͢ͳΔͱظ଴͍ͯ͠·͢ɻ ςετϕʔεΛ ChatGPT ʹಡΈࠐ·ͤΔ͜ͱ͕Ͱ͖Ε͹ɺ৽ػೳͷϢʔεέʔε΍Ϣʔβʔε τʔϦʔΛ࡞੒ͯ͠΋Β͏͜ͱ΋Ͱ͖·͢ɻ͔ͦ͜Βຊདྷͷཁٻʹద߹͍ͯ͠Δͷ͔֬ೝͨ͠Γɺ࢓ ༷ॻͰݴٴ͞Ε͍ͯͳ͍Օॴʹؾ෇͚ͨΓɺͱ͍ͬͨ͜ͱ΋Ͱ͖ΔͰ͠ΐ͏ɻ͞Βʹӡ༻ɾอकੑ΍ ηΩϡϦςΟͱ͍ͬͨඇػೳͷ؍఺Ͱ΋ ChatGPT ͷ׆༻͕ظ଴Ͱ͖·͢ɻ QA ͸ಠࣗͷςετ؍఺ϦετʢνΣοΫϦετʣΛ͍࣋ͬͯ·͢ɻͦͷϦετ͸͞·͟·ͳϢʔ εέʔεΛߟྀ͍ͯ͠·͢ɻैདྷ͸ͦͷϦετΛϓϥϯφʔʹڞ༗ͯ͠ݟͯ΋Β͏ͷΈͰ͕ͨ͠ɺ ChatGPT Λ׆༻͢Δ͜ͱͰಥ͖߹Θͤ·Ͱ࣮ࢪͰ͖Ε͹ɺ࢓༷ॻΛิ׬͠ɺ࣮૷ޙʹݕ౼࿙Ε͕ൃ ֮ͯ͠͠·͏ͱ͍͏ࣄނΛ๷͙͜ͱ͕ՄೳͱͳΓ·͢ɻ ςετઃܭͰͷ׆༻ ςετઃܭʹ͓͍ͯ΋ɺ΍͸Γࣗ෼ʹͳ͍ࢹ఺΍ح૝ఱ֎ͳΞΠσΞΛҾ͖ग़ͯ͠΋Β͏͜ͱΛظ ଴͍ͯ͠·͢ɻͨͱ͑͹ʮϢʔβʔ໊Λೖྗ͢Δʯͱ͍͏Ϣʔεέʔεͷ৔߹ɺChatGPT ʹʮ͜ͷ Ϣʔεέʔεʹ͍ͭͯςετ؍఺Λڍ͍͛ͯͩ͘͞ʯͱࢦࣔ͢Ε͹ɺ಺༰ʹԠͨ͡ػೳͷૢ࡞΍ը໘ 50

Slide 58

Slide 58 text

ୈ 5 ষ ChatGPT Λ QA ͕࢖͍͜ͳ͢ҝͷΞΠσΞ 5.2 ςετϓϩηε͝ͱͷ׆༻ΞΠσΞ ͷભҠͷύλʔϯΛڍ͛ͯ͘Ε·͢ɻ͞Βʹʮਖ਼ৗܥ͓ΑͼҟৗܥͷςετΛߟྀ͍ͯͩ͘͠͞ʯͱ ௥ՃͰࢦࣔ͢Ε͹؍఺Λ૿΍͢͜ͱ͕Ͱ͖·͢ɻ؍఺͕ͦΖ͖ͬͯͨΒɺ ʮϚΠϯυϚοϓͰݟΕΔ Α͏ʹ PlantUML Ͱग़ྗ͍ͯͩ͘͠͞ʯͱࢦࣔ͢ΔͱɺϚΠϯυϚοϓʹม׵ՄೳͳܗࣜͰग़ྗ͠ ͯ͘Ε·͢ɻ ςετઃܭ࣌ͷ੒Ռ෺ʢϚΠϯυϚοϓͳͲʣΛ ChatGPT ʹಡΈࠐ·ͤͯɺཁ໿Λ࡞੒ͯ͠΋Β ͑Ε͹ɺॏෳ΍ෆ଍͍ͯ͠ΔςετΛු͖ூΓʹ͢Δ͜ͱ͕ظ଴Ͱ͖·͢ɻ͜Ε͸ςετͷϨϏϡʔ Ͱ͋ΓɺChatGPT Λ 1 ਓ໨ͷϨϏϡΞʔͱͯ͠׆༻Ͱ͖·͢ɻ΋ͪΖΜςετ׆ಈͰ͸ਓؒʹ΋Ϩ Ϗϡʔͯ͠΋Β͍·͕͢ɺࠓ͙͢ʹ࣮ࢪͰ͖Δͱ͍͏఺ͰϝϦοτ͕͋Γ·͢ɻ ςετ࣮૷Ͱͷ׆༻ ςετ࣮૷Ͱ͸ɺςετσʔλͷੜ੒ʹ໾ཱͯΔ͜ͱ͕Ͱ͖·͢ɻμϛʔσʔλΛ࡞Γ͍ͨ৔߹ ͸ɺग़ྗΛ csv ܗࣜͰࢦఆ͠ɺϔομͱ஋ͱ஋ͷൣғ΋ࢦఆ͢Ε͹ɺ͙͢ʹͦΕΒ͍͠σʔλΛੜ੒ Ͱ͖·͢ɻQA ͸͓ख੡Ͱ Google εϓϨουγʔτͰσʔλϕʔεΛ࡞͍ͬͯΔ͜ͱ͕Α͋͘Γ· ͢ɻ ʢΩϟϥΫλʔҰཡɺΞΠςϜҰཡɺεςʔδҰཡͳͲɺ߈ུαΠτͷΑ͏ͳ৘ใΛهࡌ͍ͯ͠ ΔʣͦͷεϓϨουγʔτΛಡΈࠐ·ͤΔ͜ͱ͕Ͱ͖Ε͹ɺग़ྗ಺༰ͷࢦఆ΋༰қʹͳΔͰ͠ΐ͏ɻ ʢͨͩڥք஋ςετͳͲɺݫີʹ஋Λܾఆͯ͠ςετΛ͍ͨ͠৔߹ɺChatGPT ʹੜ੒ͤͨ͞σʔλ Ͱ͸ͦΕΛਫ਼ࠪ͢Δख͕ؒൃੜ͢ΔͨΊɺࣗ෼Ͱ࡞ͬͨํ͕ૣ͍ͱײ͡·͢ʣ ςετ؅ཧπʔϧΛ࢖ͬͯςετέʔεΛ࡞੒͢ΔࡍɺTestrail ͳͲπʔϧʹΑͬͯ͸ςετέʔ εҰͭҰͭʹରͯ͠ݸผͷλΠτϧΛ෇͚Δඞཁ͕͋Γ·͢ɻͦͷࡍɺChatGPT ʹςετखॱ΍ظ ଴݁ՌΛݩʹɺλΠτϧΛ࡞੒ͯ͠΋Β͑Δͱॿ͔Γ·͢ɻ ςετ࣮ߦͰͷ׆༻ ςετ࣮ߦͰ͸ɺෆ۩߹Λݟ͚ͭͨࡍʹɺͦͷෆ۩߹͕͢Ͱʹใࠂ͞Ε͍ͯΔ͔Ͳ͏͔ɺόάτ ϥοΩϯάγεςϜ্Ͱݕࡧ͢Δ͜ͱ͕Α͋͘Γ·͕͢ɺΩʔϫʔυ΍ΧςΰϦͳͲͰݕࡧͨ͠ࡍʹ ώοτ͠ͳ͍৔߹͕͋Γ·͢ɻ͜Εʹର͠όάτϥοΩϯάγεςϜͱ ChatGPT Λ࿈ܞ͢Δ͜ͱ Ͱɺ͍͋·͍ݕࡧ͕Ͱ͖ΔΑ͏ʹͳΔ͜ͱΛظ଴͍ͯ͠·͢ɻ ෆ۩߹Λىථ͢Δࡍʹ͸ɺChatGPT ʹจষΛϨϏϡʔͯ͠΋Β͏͜ͱ͕Ͱ͖·͢ɻಡΈखʹ఻Θ Δ಺༰ʹͳ͍ͬͯΔ͔ɺ࠶ݱखॱ΍؀ڥͷઆ໌ͷෆ଍͕ͳ͍͔ͳͲɺͰ͢ɻ ҎԼ͸ ChatGPT ͷ GPT-4 ʹόάϨϙʔτΛϨϏϡʔͤͨ͞ྫͰ͢ɻͳ͓ɺνΣοΫ߲໨͓Αͼ ϨϏϡʔର৅ͷόάϨϙʔτ΋ ChatGPT ʹߟ͑ͯ΋Β͍·ͨ͠ɻ user: νΣοΫϦετ: 1.λΠτϧ ɾΘ͔Γ΍͘͢؆ܿͰɺ۩ମతͳόά಺༰ɺػೳ໊ɺൃੜՕॴʢը໘΍γʔϯʣ ɺτϦΨʔ΍৚ؚ͕݅·Ε͍ͯΔ ͔ ɾλΠτϧ͚ͩͰόά಺༰͕ਪଌͰ͖Δ͜ͱ 2.ৄࡉͳઆ໌ ɾ࠶ݱखॱ΍৚͕݅໌֬ɺظ଴͢Δಈ࡞͕هࡌ͞Ε͍ͯΔ͔ 51

Slide 59

Slide 59 text

ୈ 5 ষ ChatGPT Λ QA ͕࢖͍͜ͳ͢ҝͷΞΠσΞ 5.2 ςετϓϩηε͝ͱͷ׆༻ΞΠσΞ ɾจষΛ؆ܿʹอͪɺ৘ใ͕੔ཧ͞Ε͍ͯΔ͜ͱ 3.؀ڥ৘ใ ɾOSɺϒϥ΢βɺΞϓϦόʔδϣϯ͕هࡌɺσόΠε΍ωοτϫʔΫ؀ڥ͕ඞཁͰ͋Ε͹هࡌ͞Ε͍ͯΔ͔ ɾඞཁҎ্ͷ৘ใ͸هࡌ͠ͳ͍͜ͱ 4.৘ใͷ໌֬ੑ ɾ͢΂ͯͷ৘ใ͕໌֬Ͱ෼͔Γ΍͍͢ݴ༿Ͱهࡌ͞Ε͍ͯΔ͔ ɾҰൠతͰͳ͍༻ޠ΍ུޠ͕ආ͚ΒΕ͍ͯΔ͜ͱ ࢦࣔɿ ҎԼͷόάϨϙʔτΛɺ্هͷνΣοΫϦετʹ΋ͱ͍ͮͯϨϏϡʔ͍ͯͩ͘͠͞ɻ ෼͔ΓͮΒ͔ͬͨΓ۩ମతͰͳ͍هड़͕͋Ε͹ڭ͍͑ͯͩ͘͞ɻ όάϨϙʔτ಺༰: 1.λΠτϧ: ήʔϜதʹϓϨΠϠʔΩϟϥΫλʔ͕ফ͑Δόά͕ൃੜ͢Δ 2.ৄࡉͳઆ໌: ϓϨΠதʹɺϓϨΠϠʔΩϟϥΫλʔ͕ফ͑ͯ͠·͏όά͕ൃੜ͠·͢ɻ࠶ݱखॱ͸ҎԼͷ௨ΓͰ͢ɻ - ήʔϜΛىಈ͢Δɻ - ήʔϜதʹϓϨΠϠʔΩϟϥΫλʔΛૢ࡞͢Δɻ - ͠͹Β͘ϓϨΠ͢ΔͱɺϓϨΠϠʔΩϟϥΫλʔ͕ը໘͔Βফ͑ͯ͠·͏͜ͱ͕͋Δɻ ظ଴͢Δಈ࡞͸ɺϓϨΠϠʔΩϟϥΫλʔ͕ਖ਼ৗʹදࣔ͞ΕɺϓϨΠ͕εϜʔζʹਐߦ͢Δ͜ͱͰ͢ɻ 3.؀ڥ৘ใ: OS: Windows 10 ϒϥ΢β: Google Chrome ήʔϜόʔδϣϯ: 1.2.3 assistant: νΣοΫϦετʹ΋ͱ͍ͮͯϨϏϡʔΛߦ͍ɺҎԼͷϙΠϯτ͕վળ͞ΕΔͱΑΓ෼͔Γ΍͍͢όάϨϙʔτʹ ͳΓ·͢ɻ 1.λΠτϧ: λΠτϧ͸ɺ֓ͶΘ͔Γ΍͘͢؆ܿʹॻ͔Ε͍ͯ·͕͢ɺൃੜՕॴʢը໘΍γʔϯʣ ɺτϦΨʔ΍৚ؚ͕݅·Ε ͍ͯ·ͤΜɻҎԼͷΑ͏ʹमਖ਼͢ΔͱɺΑΓ۩ମతʹͳΓ·͢ɻ ྫ:ʮϝΠϯը໘ͰͷϓϨΠதɺҰఆ࣌ؒܦաޙʹϓϨΠϠʔΩϟϥΫλʔ͕ফ͑Δόάʯ 2.ৄࡉͳઆ໌: ࠶ݱखॱʹ͍ͭͯɺ۩ମతͳૢ࡞΍γʔϯɺ৚݅Λ௥Ճ͢Δͱɺ͞Βʹ໌֬ʹͳΓ·͢ɻͨͱ͑͹ɺҎԼͷΑ͏ ʹमਖ਼Ͱ͖·͢ɻ - Ͳͷεςʔδ΍γʔϯͰൃੜ͢Δͷ͔ - ಛఆͷૢ࡞΍ΞΠςϜΛ࢖༻͍ͯ͠Δ࣌ʹൃੜ͢Δͷ͔ - ϓϨΠϠʔΩϟϥΫλʔ͕ফ͑ΔલʹԿ͔ಛఆͷݱ৅΍ΤϑΣΫτ͕͋Δͷ͔ 3.؀ڥ৘ใ: ؀ڥ৘ใ͸ɺඞཁͳ৘ใ͕ద੾ʹهࡌ͞Ε͍ͯ·͢ɻσόΠε΍ωοτϫʔΫ؀ڥ͕ؔ܎͍ͯ͠Δ͔Ͳ͏͔ʹͭ ͍ͯ΋ɺ֬ೝ͠௥ه͢Δͱྑ͍Ͱ͠ΐ͏ɻ 4.৘ใͷ໌֬ੑ: ৘ใ͸֓Ͷ໌֬Ͱ෼͔Γ΍͍͢ݴ༿Ͱهࡌ͞Ε͍ͯ·͢ɻͨͩ͠ɺ࠶ݱखॱ΍৚݅ʹ͍ͭͯ͸ɺ͞Βʹ۩ମతͳ ৘ใΛఏڙ͢Δ͜ͱͰɺ։ൃऀ͕όάΛಛఆ͠΍͘͢ͳΓ·͢ɻ 52

Slide 60

Slide 60 text

ୈ 5 ষ ChatGPT Λ QA ͕࢖͍͜ͳ͢ҝͷΞΠσΞ 5.3 ৼΓฦΓͰͷ׆༻ΞΠσΞ 100 ఺ຬ఺Ͱਓؒͷग़Δນ͸ͳ͍ʂ ͱ͍͏݁ՌͰ͸͋Γ·ͤΜ͕ɺ͜ͷΑ͏ͳϨϏϡʔΛؾܰʹɺ ԿճͰ΋ར༻Ͱ͖Δͱ͍͏఺Ͱߟ͑Ε͹ɺδϡχΞϨϕϧͷςελʔ͸େॿ͔ΓͰ͠ΐ͏ɻ ·ͨόάϨϙʔτͷλΠτϧΛ୹͍ͨ͘͠৔߹͕͋Γ·͢ɻ ʢόάτϥοΩϯάγεςϜʹΑͬͯ ͸จࣈ਺੍ݶ͕͋ͬͨΓ͠·͢ʣͦͷ৔߹͸ҎԼͷΑ͏ʹࢦࣔ͢Δ͜ͱͰɺςΩετΛվળͯ͘͠Ε ·͢ɻ user: ҎԼͷจষ͸όάνέοτͷλΠτϧͰ͢ɻίϯςΩετΛਖ਼֬ʹ఻͑ΔͨΊɺ෼͔Γ΍͘͢໌ྎͳจষ΁Ϧϥ Πτ͍ͯͩ͘͠͞ɻ ϓϨΠϠʔ͕͋ΔότϧΛऴΘΒͤΑ͏ͱͨ࣌͠ɺຯํ͕ಟͷঢ়ଶҟৗʹ͔͔͍ͬͯͯΤϑΣΫτ͕ग़͍ͯΔ৔ ߹ɺήʔϜ͕͍͖ͳΓΫϥογϡͯ͠͠·͍ɺότϧ͸ΫϦΞͨ͜͠ͱʹͳ͍ͬͯͳ͍ assistant: ϓϨΠϠʔ͕ότϧऴྃ࣌ɺຯํ͕ಟঢ়ଶΤϑΣΫτதͷ৔߹ɺήʔϜ͕ಥવΫϥογϡ͠ɺότϧΫϦΞ͕ະ ׬ྃʹͳΔ ͜ͷΑ͏ͳ࢖͍ํ͸ɺόάϨϙʔτʹݶΒͣνϟοτ΍ϝʔϧͳͲจࣈίϛϡχέʔγϣϯશൠͰ ׆༻Ͱ͖·͢ɻࢲ͸ ChatGPT Λར༻͢Δࡍ͸Ի੠ͰςΩετೖྗ͍ͯ͠·͢ɻಠΓݴΛͨ͘͞Μ ͨ͠ͷͪɺͦΕΛਖ਼͍͠೔ຊޠʹ௚͠ɺ৑௕ͳදݱΛ࡟ͬͯ΋Β͏ɺͱ͍͏ܗͰ׆༻͍ͯ͠·͢ɻ 5.3 ৼΓฦΓͰͷ׆༻ΞΠσΞ ςετҎ֎ͷ׆ಈʹ໨Λ޲͚ΔͱɺϛʔςΟϯά͕͋Γ·͢ɻৼΓฦΓͰ ChatGPT ͕׆༻Ͱ͖ Δͱࢥ͍·͢ɻ ChatGPT ͱͷ 1on1 ৼΓฦΓ͸ 1 εϓϦϯτɺ1 όʔδϣϯͱ͍ͬͨઅ໨Ͱ։࠵͞Ε·͕͢ɺৼΓฦΓͷϛʔςΟϯά ·ͰʹɺࠓճԿ͕͚͋ͬͨͬʜͱࢥ͍ฦ͢४උ͕ඞཁͰ͢ɻ͜ͷ࣌ࣗ໰ࣗ౴͢Δ୅ΘΓʹ ChatGPT ʹ࣭໰Λͯ͠΋Β͏ํ๏͕͋Γ·͢ɻͭ·Γ ChatGPT ͱͷ 1on1 Ͱ͢ɻͨͱ͑͹ҎԼͷΑ͏ͳϓϩ ϯϓτʢChatGPT ʹೖྗ͢ΔςΩετʣΛຖ೔ۀ຿ऴྃલʹ࢖༻͠·͢ɻ user: #ϧʔϧ ChatGPT͸ϝϯλʔͱͯ͠ৼΔ෣͍ɺࢲͷࠓ೔ͷۀ຿ͷ੒ՌΛฉ͍͍ͯͩ͘͞ɻ ࢲͷճ౴͸ޙ೔ৼΓฦΓͰར༻͢Δ͜ͱ͕͋Γ·͢ɻ ΠϯτϩμΫγϣϯͷ௨Γʹ։࢝͠ɺ࠷ॳͷ࣭໰Λ͍ͯͩ͘͠͞ɻ ࢲͷճ౴Λฉ͍ͯɺϙδςΟϒͳϑΟʔυόοΫΛฦͭͭ͠ɺ ந৅తͳՕॴΛਂ۷Γͯ࣍͠ͷ࣭໰Λ͍ͯͩ͘͠͞ɻ ࣭໰ͷΩʔϫʔυ͸͋͘·ͰྫͰ͢ɻࢲͷճ౴ͷ಺༰ʹԠͯ͡దٓมߋor௥Ճ͍ͯͩ͘͠͞ɻ 53

Slide 61

Slide 61 text

ୈ 5 ষ ChatGPT Λ QA ͕࢖͍͜ͳ͢ҝͷΞΠσΞ 5.4 ࣮ફʂ ެࣜαΠτͷ͓஌ΒͤνΣοΫ #ΠϯτϩμΫγϣϯ ࠓ೔΋Ұ೔͓ർΕ༷Ͱͨ͠ɻࠓ೔ͷৼΓฦΓΛ͠·͠ΐ͏ɻ #ձ࿩ͷऴྃ৚݅ ɾ࣭໰ͷճ౴͕3ճߦΘΕΔ ·ͨ͸ ɾࠓ೔͸΋͏্͕Γ·͢ͱࢲ͕એݴ͢Δ #ऴྃޙͷϓϩηε ճ౴Λཁ໿͠ɺՕ৚ॻ͖Ͱฒ΂Δ #࣭໰ͷΩʔϫʔυ ࠓ೔΍ͬͨ͜ͱɹλεΫɹ׆ಈɹୡ੒ɹ೉͔ͬͨ͜͠ͱɹ՝୊ɹ໰୊ɹίϛϡχέʔγϣϯɹײ৘ɹײँɹށ࿭ ͍ɹݒ೦ɹײͨ͜͡ͱɹվળ఺ɹ஫ҙ఺ ͜ͷϓϩϯϓτͷ࠷ऴग़ྗ݁Ռ͸ҎԼͰ͢ɻ assistant: ৽͍͠ϛʔςΟϯά΁ͷট଴΍ػࡐ؅ཧʹؔ͢Δํ਑ͷܾఆ͸ɺϓϩδΣΫτͷਐ௙ʹͱͬͯେ੾ͳ৘ใͰ͢ Ͷɻ͓ർΕ༷Ͱͨ͠ɻ ͦΕͰ͸ɺࠓ೔ͷճ౴Λཁ໿͠ɺՕ৚ॻ͖Ͱฒ΂·͢ɻ ։ൃதͷήʔϜͷςετϓϨΠΛ࣮ࢪ͠ɺճ෮ΞΠςϜͷճ෮ྔ͕গͳ͍ͱײ͡ΔϑΟʔυόοΫΛఏڙɻ େ͖ͳ໰୊͸ݟ͔ͭΒͣɺ։ൃ͕ॱௐʹਐΜͰ͍Δɻ Ϧʔμʔͱͷ1on1ͰίϛϡχέʔγϣϯΛਤΓɺ৽͍͠ϛʔςΟϯάΛઃఆ͢Δɻ ػࡐ؅ཧʹؔ͢Δํ਑͕ܾఆɻ ࠓ೔΋͓ർΕ༷Ͱͨ͠ɻ·ͨ࣍ճͷৼΓฦΓͰ͓ձ͍͠·͠ΐ͏ɻ ࣗ෼Ͱࢦ͍ࣔͯͯ͠΋ɺ͍͟ϙδςΟϒͳ൓Ԡ͕ฦͬͯ͘Δͱؾ෼͕ྑ͍Ͱ͢ɻݻఆͷ࣭໰Ͱ͸ͳ ͍ҝɺࣗ෼͕औΓ૊Μͩ׆ಈͰͷؾ෇͖ʹ͍ͭͯɺChatGPT ʹΑͬͯ૝ىͤ͞ΒΕΔͷͰ͢ɻࣗ෼ ͕ൃݴͨ͠಺༰ΛՕ৚ॻ͖Ͱཁ໿ͯ͠΋Β͏͜ͱͰɺৼΓฦΓ࣌ʹͦͷ··ར༻Ͱ͖ΔͰ͠ΐ͏ɻ 5.4 ࣮ફʂ ެࣜαΠτͷ͓஌ΒͤνΣοΫ ۩ମతͳ࣮ફྫΛ঺հக͠·͢ɻϞϯελʔετϥΠΫެࣜαΠτͷ͓஌Βͤϖʔδ͔Βɺ৽Πϕ ϯτ৘ใͷϖʔδΛର৅ʹɺΠϕϯτ಺༰ͷνΣοΫΛ ChatGPT ʹ࣮ࢪͯ͠΋Β͍·͢ɻ ˝νΣοΫର৅ͷ͓஌Βͤ 2023.03.30 ৽Πϕϯτʮઓࠃ෩Ӣֆר-רϊ۝-ʯ͕ελʔτʂ ௒ϋϧۄ&ॳճ 24 ˋ CP ର৅ʂ https://www.monster-strike.com/news/20230330_5.html 54

Slide 62

Slide 62 text

ୈ 5 ষ ChatGPT Λ QA ͕࢖͍͜ͳ͢ҝͷΞΠσΞ 5.4 ࣮ફʂ ެࣜαΠτͷ͓஌ΒͤνΣοΫ ҎԼ͸ϓϩϯϓτͰ͢ɻ࣮ࡍʹ͸#͓஌Βͤͷཝʹɺ͓஌Βͤͷ಺༰Λ͢΂ͯίϐʔ&ϖʔετͰ هࡌ͠·͕͢ɺຊߘͰ͸লུ͍ͯ͠·͢ɻ user: #ࢦࣔ ҎԼ͸ϞϯελʔετϥΠΫͷެࣜαΠτʹ͋Δ͓஌Βͤ಺ɺ৽Πϕϯτͷϖʔδͷ಺༰Ͱ͢ɻ Πϕϯτ಺༰શମΛɺϚΠϯυϚοϓͷ༷ʹϩδοΫπϦʔܗࣜͰϦετͰ੔ཧ͍͚ͯͨͩ͠·͔͢ɻͨͩ͠ɺ ա౓ͳཁ໿Λͤͣɺৄࡉͳ৘ใΛ࡟Βͳ͍Α͏ʹ஫ҙ͍ͯͩ͘͠͞ɻ ·ͨɺࠓճͷΠϕϯτͷ಺༰Λ࣌ܥྻͰฒ΂͍ͯͩ͘͞ɻ࣌ܥྻ͸ݟ΍͘͢͢ΔͨΊදܗࣜͰɺ׌ͭ೔࣌ͱΠϕ ϯτ಺༰Λਖ਼֬ʹग़ྗ͍ͯͩ͘͠͞ɻ #͓஌Βͤ Πϕϯτ 2023.03.30 ৽Πϕϯτʮઓࠃ෩Ӣֆר-רϊ۝-ʯ͕ελʔτʂ ௒ϋϧۄ&ॳճ24ˋCPର৅ʂ ৽Πϕϯτ͕4݄2೔ʢ೔ʣΑΓొ৔ʂ ৄࡉ͸ɺຊϖʔδ಺ΛνΣοΫʂ ஫ҙ఺ͱͯ͠ɺChatGPT ʹҰ౓ʹೖྗͰ͖Δจࣈ਺ͷ੍ݶ಺ʹऩ·Γ͖Βͳ͍৔߹͕͋Γ·͢ɻ ͦͷ৔߹͸͓஌ΒͤΛ෼͚ͯೖྗ͠ɺ user: Πϕϯτ಺༰ʹ͍ͭͯ௥Ճ͠·͢ɻ ҎԼͷ಺༰ͱ্هͷग़ྗ݁Ռͱ߹Θͤͯɺ࠶౓ϩδοΫπϦʔͱ࣌ܥྻͷग़ྗΛ͓ئ͍͠·͢ɻ #͓஌Βͤ ʨ͜͜ʹ͓஌ΒͤΛهࡌ͢Δʩ ͱͭͳ͙͜ͱͰɺग़ྗ݁ՌΛ݁߹Ͱ͖·͢ɻͦͯ͠ҎԼ͕࠷ऴग़ྗ݁ՌͰ͢ɻ assistant: ʲϩδοΫπϦʔʳ - ઓࠃ෩Ӣֆר-רϊ۝- - Ψνϟ - ௒ϋϧۄ - 10࿈Ψνϟແྉ - ˒5Ҏ্ΩϟϥΫλʔഉग़֬཰ 24ˋ - ॳճγϯάϧΨνϟ & ॳճ10࿈Ψνϟ - ˒5Ҏ্ΩϟϥΫλʔഉग़֬཰ 24ˋ 55

Slide 63

Slide 63 text

ୈ 5 ষ ChatGPT Λ QA ͕࢖͍͜ͳ͢ҝͷΞΠσΞ 5.4 ࣮ફʂ ެࣜαΠτͷ͓஌ΒͤνΣοΫ - ৽ΩϟϥΫλʔ - ෱ౡਖ਼ଇ (ਫଐੑ) - ͶͶ (໦ଐੑ) - ౡࠨۙ (ޫଐੑ) - ৽Ωϟϥ֬ఆΨνϟˍΦʔϒ - Ձ֨: 4,900ԁ - ಺༰: ৽Ωϟϥ֬ఆΨνϟ1ճˍΦʔϒʷ50 - ߪೖ੍ݶ: ͓ͻͱΓ༷1ճݶΓ - ৽ΠϕϯτΫΤετ - ඈͼग़͠ةݥʂ ѱྶ͕੗·͏Ҫށ (˒5 ڰࠎ) - ऺਓΛ࿭Θ͢ڊนͷո໎࿏ (˒5 ృน) - ౮ΓΛܝ͛͠ྶࠢͷҊ಺ਓ (˒5 ηϯϙΫΧϯϙΫ) - ফඅελϛφݮগˍεϖγϟϧϘʔφε - ফඅελϛφݮগ - ܹڀۃɿ50ˠ40 - ڀۃɿ45ˠ36 - εϖγϟϧϘʔφε - ֫ಘϙΠϯτ5ഒ - υϥʔχΞग़ݱ - ΠϕϯτΫΤετΫϦΞͰग़ݱ - ϚϧνϓϨΠͰۚཛυϩοϓ - ϥοΫϘʔφε༏଴Ωϟϯϖʔϯ - ۚཛ֬ఆഉग़ - ظؒݶఆϛογϣϯ - τΫۄ֫ಘ - τΫۄΨνϟར༻ظݶ ʲ࣌ܥྻʳ - 2023೥4݄2೔ 12:00 - Πϕϯτ։࢝ - Ψνϟ։࢝ʢ৽Ωϟϥ֬ఆΨνϟˍΦʔϒൢച։࢝ʣ - ৽ΠϕϯτΫΤετొ৔ - ফඅελϛφݮগˍεϖγϟϧϘʔφε։࢝ - υϥʔχΞग़ݱ։࢝ - ϥοΫϘʔφε༏଴Ωϟϯϖʔϯ։࢝ - ظؒݶఆϛογϣϯ։࢝ - 2023೥4݄15೔ 11:59 - Πϕϯτऴྃ - Ψνϟऴྃʢ৽Ωϟϥ֬ఆΨνϟˍΦʔϒൢചऴྃʣ - ফඅελϛφݮগˍεϖγϟϧϘʔφεऴྃ - υϥʔχΞग़ݱऴྃ - ϥοΫϘʔφε༏଴Ωϟϯϖʔϯऴྃ - ظؒݶఆϛογϣϯऴྃ - 2023೥4݄18೔ 3:59 - ظؒݶఆϛογϣϯใुडऔظݶ - 2023೥4݄18೔ 23:59 - τΫۄΨνϟར༻ظݶ 56

Slide 64

Slide 64 text

ୈ 5 ষ ChatGPT Λ QA ͕࢖͍͜ͳ͢ҝͷΞΠσΞ 5.5 ࠓޙͷల๬ ChatGPT ͸ཁ໿΍ิ׬Λͯ͘͠ΕΔ͜ͱ͕ར఺Ͱ͕͢ɺࠓճͷΑ͏ͳνΣοΫͰ͸ͳΔ΂͘ؾΛ ར͔ͤͳ͍Α͏ʹͯ͠΋Β͏͜ͱ͕ϙΠϯτͰ͢ɻ࣌ܥྻͰฒ΂ͯ΋Β͏͜ͱͰɺτΫۄ͕֫ಘͰ͖ ΔϛογϣϯΑΓૣ͘τΫۄΨνϟ͕ऴΘͬͯ͠·͍ͬͯͳ͍͔ɺͱ͍͏͜ͱ΋ࣝผ͠΍͍͢Ͱ͢ɻ ͜ͷϓϩϯϓτʹ͞ΒʹνΣοΫ߲໨Λ௥Ճͨ͠Γɺ࣌ܥྻҎ֎Ͱͷํ๏Ͱ৘ใΛฒ΂ͯ΋ΒͬͨΓ ͱɺ޻෉ͷ༨஍͸·ͩ·ͩ͋Γͦ͏Ͱ͢ɻ 5.5 ࠓޙͷల๬ ChatGPT ʹυϝΠϯ஌ࣝΛ༩͍͑ͨ લड़ͷϞϯελʔετϥΠΫͷ͓஌ΒͤͷνΣοΫ΋ɺϞϯελʔετϥΠΫʹؔ͢Δ஌ࣝΛඞཁ ͱ͠ͳ͍ఔ౓ͷνΣοΫ·Ͱ͔͠པΉ͜ͱ͕Ͱ͖·ͤΜɻͨͱ͑͹ɺ͓஌Β͕ͤҎԼͷΑ͏ͳ಺༰ ͩͬͨ৔߹ ChatGPT ͸ؾ෇͚ΔͰ͠ΐ͏͔ʁ • ৽ΨνϟͰഉग़͞ΕΔ˒ 4 ΩϟϥΫλʔͷਐԽૉࡐʹʮ्ਆۄʯ͕͋Δ • Ψνϟͷऴ͕ྃ࣌ؒ 23:59 ʹͳ͍ͬͯΔ • υϥʔχΞͷग़ݱʹؔ͢Δهࡌ͕ͳ͍ ϞϯελʔετϥΠΫΛϓϨΠ͍ͯ͠Δɺ·ͨ͸։ൃʹܞΘ͍ͬͯΔਓؒͰͳ͍ͱؾ෇͘͜ͱ͸Ͱ ͖·ͤΜɻͨͩࣾ͠಺ͷυΩϡϝϯτΛ༩͑ɺϞϯελʔετϥΠΫͷυϝΠϯ஌ࣝΛ࣋ͨͤΔ͜ͱ ͕Ͱ͖Ε͹ɺ ʮ͍ͭ΋ͷ৽Πϕϯτͱҧ͏ͱ͜Ζ͕͋Ε͹ڭ͍͑ͯͩ͘͞ʯͱฉ͚ͩ͘ͰࡁΈ·͢ɻ কདྷۀ຿Ͱར༻Ͱ͖ΔΑ͏ʹͳΔ͜ͱΛظ଴͠ɺࠓ೔΋಺লͷҝʹ ChatGPT ͱձ࿩͠ͳ͕Βɺຊ ߘΛకΊ͘͘Γ͍ͨͱࢥ͍·͢ɻ 57

Slide 65

Slide 65 text

No content

Slide 66

Slide 66 text

ஶऀ঺հ ߐാ ୓࠸ (ୈ 1 ষ୲౰, GitHub: @MokkeMeguru, @MeguruMokke) TIPSTAR ͱ͍͏ڞ༡ܕεϙʔπϕοςΟϯάαʔϏεͷ։ൃɾӡ༻Λߦ͍ͬͯ·͢ɻιγϟ ήͷ՝͕ۚࢭ·Βͳ͍ͷ͕࠷ۙͷ೰ΈͰ͢ɻEmacs Ͱ Clojure Λॻ͍ͯੜ͖͍ͯ·͢ɻ দݪ ৴஧ (ୈ 2 ষ୲౰) ॴଐ͸ϞϯεταʔόνʔϜͰ Ruby ΍ Go Λॻ͍ͯΔɻϓϩάϥϛϯά͕޷͖Ͱɺීஈ͸ਪ ͠ݴޠͷ Haskell Ͱ༡ΜͩΓɺ৽͍͠ϓϩάϥϛϯάݴޠΛษڧͨ͠Γ͍ͯ͠ΔɻHaskell-jp ΍ Elm-jp Ͱগ͚ͩ͠׆ಈ΋͍ͯ͠Δɻ ٢઒ ༐ଠ࿠ (ୈ 3 ষ୲౰) 2021 ೥৽ଔೖࣾɻιʔγϟϧϕοςΟϯάࣄۀຊ෦ ։ൃࣨ ΫϥΠΞϯτάϧʔϓॴଐɻ WebGL ৮ΔͷͱΠϯυΧϨʔ͕޷͖Ͱ͢ɻ ాಹล ً (ୈ 4 ষ୲౰) ։ൃຊ෦ CTO ࣨॴଐɻιϑτ΢ΣΞΤϯδχΞͱͯ͠ήʔϜ։ൃͱӡӦɺͦΕ͔Βऩӹੑ΍ ήʔϜੑͱ UX ໘౳ʑΫϦΤΠςΟϒʹ΋ܞΘ͖ͬͯ·ͨ͠ɻϓϩάϥϛϯάڭҭʹ͍ͭͯ ͷֶशιϑτͱΧϦΩϡϥϜΛࣗࣾ಺Ͱ࡞Γɺதɾߴߍੜʹ޲͚ͯϓϩάϥϛϯάߨ࠲ͷߨࢣ Ͱ΋׆ಈதɻ΄͔ࣾ಺ R&D ۀ຿΋ࢀՃɻ ౉ᬒ ݩً (ୈ 5 ষ୲౰, Twitter: @motokiwatanabe2) Asym Altered Axis ͱ͍͏։ൃதͷήʔϜͷ QA Λ୲౰͍ͯ͠·͢ɻϝΠϯδϣϒ͸ֶऀͰ ͢ɻChatGPT ͸ӳձ࿩ͷ࿅शͰ࢖͏ͱେมศརͰָ͍͠Ͱ͢ɻ 59

Slide 67

Slide 67 text

MIXI TECH NOTE #09 2023 ೥ 5 ݄ 20 ೔ɹॳ൛ୈ 1 ࡮ɹൃߦ ஶɹऀ גࣜձࣾ MIXI ༗ࢤ ൃߦॴ גࣜձࣾ MIXI ҹ࡮ॴ ೔ޫاը ɹ ˜ MIXI

Slide 68

Slide 68 text

No content