概念帳票理論の行列を使った算法の解説〜実装者の視点から〜

Transcript

1. ֓೦ாථཧ࿦ͷ
 ߦྻΛ࢖ͬͨࢉ๏ͷղઆ ΠϯΫεגࣜձࣾɹޙ౻
   लએ
   IJEFOPSJHPUP!HNBJMDPN  ࣮૷ऀͷࢹ఺͔Β

2. ࣗݾ঺հ w ޙ౻लએʢ͝ͱ͏ͻͰͷΓʣ
   
   
   w ιϑτ΢ΣΞ։ൃऀʢ࣮૷ऀʣ
   w ෼ੳɾઃܭํ๏࿦ͱɺ࣮૷ͱͷ݁ͼ໨Λ୳ٻத

3. ΞδΣϯμ w ཧ࿦֓ཁ
   w ֓೦ாථͷٻΊํ
   w ߦྻΛ࢖ͬͨϞσϧ
   w Ϟσϧͷ࣮૷
   w

   ల๬

4. %&.0

5. None
6. None

7. ໨త w த੢ઌੜͷཧ࿦ʹج͍ͮͯ֓೦ாථΛٻΊΔࢉ๏Λ ղઆ
   w ౔୆ΛγΣΞͯ͠ɺઌͷల։Λ༗ҙٛʹݕ౼͍ͨ͠

8. ཧ࿦֓ཁ

9. ֓೦ாථཧ࿦ͱ͸ w ͜͜Ͱ͸֓೦ாථ͸ʮ৘ใͷܕʢϑΥʔϜɹ 'PSNʣʯͱ͍͏ҙຯ

10. ֓೦ாථཧ࿦ͱ͸ ඪత%#ͷ
    ࿦ཧߏ଄ ۀ຿ͷ
    ཁٻ࢓༷

11. ֓೦ாථཧ࿦ͱ͸ ඪత%#ͷ
    ࿦ཧߏ଄ ாථɾϑΥʔϜͷ ࿦ཧߏ଄ ۀ຿ͷ
    ཁٻ࢓༷ ݗ੍ ݗ੍ ݗ੍

    ύλʔϯ
    ܦݧ΍צ
    ଞͷํ๏࿦ %#ͷߏ଄ͱ͸
    গ͠ҟͳΔ͜ͱʹ஫ҙ

12. %#ͷ࿦ཧߏ଄ ஫จ໌ࡉ ސ٬ ஫จ ঎඼ O
    ·ͨ͸
    NO
    ؔ܎͚ͩΈΔ  O 

    O  O

13. %#ͷ࿦ཧߏ଄ % " $ #  O  O 

    O

14. %#ͷ࿦ཧߏ଄ ஫จ໌ࡉ ސ٬ ஫จ ঎඼ O
    ·ͨ͸
    NO
    ؔ܎͚ͩΈΔ  O 

    O  O

15. ஫จ໌ࡉ ސ٬ ஫จ ঎඼ ސ٬ผ஫จ঎඼Ұཡ ஫จҰཡ ঎඼ผ஫จ໌ࡉҰཡ ސ٬ ஫จ ஫จ໌ࡉ

    ஫จ ஫จ໌ࡉ ސ٬ ঎඼ ঎඼ ঎඼ ஫จ໌ࡉ ސ٬ ஫จ Մೳੑ Մೳੑ Մೳੑ

16. w ͋Δͭͳ͕ΓΛ࣋ͬͨͭͷΤϯςΟςΟʹରͯ͠ɺ Մೳͳߏ଄͸ͨ͘͞Μ͋Δɻ
    w ࿦ཧతʹՄೳͳாථ
    ͷதʹ͸ҙຯͷແ͍΋ͷ͕͋ ΔͨΊɺͦΕΛഉআͯ͠੔ཧʢத੢ʣ ஫จ໌ࡉ ސ٬ ঎඼ ஫จ

    ஫จ໌ࡉҰཡ

17. <த੢>
    ਤ σʔλιʔεͷ
    ύλʔϯͷ
    ੔ཧ

18. σʔλιʔεʹରԠ͢Δ
 ֓೦ாථΧλϩά <த੢>
    ࢿྉ σʔλιʔε
    ύλʔϯʹରԠ͢Δ
    ֓೦ாථͷύλʔϯ
    Χλϩά

19. Χλϩά͸ɺ
    ੔ཧɾ೺Ѳɾ؆қ׆༻ͷͨΊ w ύλʔϯ͕ຊ࣭Ͱ͸ͳ͍

20. ֓೦ாථཧ࿦ͷ֩ w ඪతͱ͢Δ֓೦σʔλϞσϧͷߏ଄͕ಛఆͰ͖Ε͹ɺ ͦΕʹΞΫηε͢Δ֓೦ாථͷߏ଄͸༗ݶݸͷύλʔ ϯ܈ʹಛఆͰ͖ɺ͔͠΋ͦͷߏ଄͸֓೦σʔλϞσ ϧͷḷΓํʹΑͬͯʦඪత͕໦ߏ଄ͷ৔߹͸Τϯτ ϦϊʔυͷಛఆʹΑͬͯ།Ұʹʧܾ·Δ த੢

21. ֓೦ாථ )ܕ &
    %#"ɾ$ # ʢσʔλιʔελΠϓʣ ʢ֓೦ாථࣜʣ

22. ֓೦ாථͷٻΊํ

23. આ໌͸ w த੢<>
    ϖʔδ໨ʹ͋Γ·͢

24. ύεาߦࢉ๏ • ඪతσʔλιʔεͷ͢΂ͯͷϊʔ υͱϦϨʔγϣϯγοϓɾύε Λ̍౓͚ͩา͘͜ͱ • ࣍ʹଓ͘ϊʔυ͸ɺ͔ͳΒͣಡ ΈਐΉɻ • ෳ਺ͷϊʔυʹର͠ಉ͡ํ޲͔

    ΒಡΊΔ΋ͷ͸ɺಉ࣌ʹಉ͡ํ ޲͔ΒಡΈਐΉ͜ͱɻ • ʢัଊʣ਌ˠࢠ΁ḷΔ࣌ʹɺ Ϗϡʔͷ෼ׂΛߦ͏

25. த੢
    ਤ &Λى఺ͱͨ͠৔߹ɾɾɾ

26. த੢
    ਤ ͭͷϏϡʔͰߏ੒͞ΕΔ
    ֓೦ாථ

27. த੢
    ਤ

28. ύεาߦࢉ๏ͷ·ͱΊ w %#ͷ࿦ཧߏ଄Λɺॱʹḷ͍ͬͯ͘
    w ରଟͷํ޲͚ͩΛݟͯɺ਌ˠࢠ΁ḷΔ࣌ʹɺϏϡʔ Λ෼ׂ͢Δ

29. ߦྻΛ࢖ͬͨϞσϧ

30. ཧ࿦ͷ׆༻ w ౰ॳɺ͜ͷཧ࿦Λ਺ࣜʢ֓೦ாථࣜʣͰද͠ɺ୅਺ తʹॲཧ͢Δͱ͍͏͜ͱ͕ओ؟ͩͬͨ
    w ͜ͷಓ۩Λݱ৔Ͱ׆͔͢ʹ͸ʁ
    w ख࡞ۀͰ֓೦ாථΛಋ͘ʁ
    w Χλϩάͷར༻
    

    w ίϯϐϡʔλʹΑΔ֓೦ாථͷಋग़͕ඞཁ

31. άϥϑͷ··ॲཧ͢Ε͹ྑ͍ ͔ʁ w ࢉ๏͕໌֬ͳͷͰɺάϥϑߏ଄Λ௚઀ॲཧ͢Δϓϩ άϥϜΛॻ͘͜ͱ͸ɺՄೳ
    w ͔͠͠ɺάϥϑͷ··࣮૷͢Δͱɺࢉ๏ͷղऍ͕ϓ ϩάϥϜ࣮૷ऀͷ࣮૷ํ๏ʹΏͩͶΒΕɺ׬શʹӅ ṭ͞Εͯ͠·͏
    w

    ཧ࿦ଆͷࢉ๏ͱɺ࣮૷͞Ε͍ͯΔࢉ๏͕ဃ཭͢Δ
    w ཧ࿦͕ඳ͍͍ͯΔੈքͱ௚͍݁ͯͯ͠΄͍͠

32. %#ͷ࿦ཧߏ଄ͷߦྻදݱ ༗޲άϥϑ ߦྻ " # $ % & " #

    $ % & த੢

33. ύεาߦࢉ๏ʢߦྻʣ • ඪతσʔλιʔεͷ͢΂ͯͷϊʔυͱϦϨʔγϣϯγο ϓɾύεΛ̍౓͚ͩา͘͜ͱ • ࣍ʹଓ͘ϊʔυ͸ɺ͔ͳΒͣಡΈਐΉɻ • ಡΈऴ͑ͨϊʔυͱɺରশҐஔͷϊʔυ͸ɺߦྻͷϊʔ υͷ஋Λ̌ ʹ͢Δɻ

    • ෳ਺ͷϊʔυʹର͠ಉ͡ํ޲͔ΒಡΊΔ΋ͷ͸ɺಉ࣌ ʹಉ͡ํ޲͔ΒಡΈਐΉ͜ͱɻ • ࠷ޙʹ O ߦྻΛಘͨΒଥ౰ͳาߦͰ͋Δɻ
34. None
35. None
36. None
37. None
38. None
39. None

40. ༻ޠ

41. ༻ޠ

42. Ϟσϧͷ࣮૷

43. ߦྻϞσϧʹΑΓ w ཧ࿦ͷੈքͱဃ཭ͷগͳ͍ঢ়ଶͰɺ࣮֬ʹιϑτ΢Σ Ξʹ࣮૷Ͱ͖Δ
    w த੢ઌੜࣗ͝਎͕औΓ૊Ή
    w 1)1ͱ+BWB4DSJQUɺ$44Ͱ࣮૷
    w த੢ઌੜͷ࣮૷Λࢀߟʹɺޙ౻͕ಠࣗʹ࣮૷
    

    w ߦྻϞσϧΛ஧࣮ʹ

44. 1BUI8BML4VC.BUSJY 7JFX4VC.BUSJY 7JFX4VC.BUSJY 3FMBUJPOTIJQ&MFNFOU %JSFDUJPO&MFNFOU ;FSPBCMF 1BUI.BUSJY

45. None

46. ͜͏ͳ͍ͬͯΔͱ w ͜ͷ࣮૷Λڞ༗͠ɺཧղ࣮ͨ͠૷ऀ͕ɺཧ࿦ͷϞσ ϧʹ͍ͭͯ΋ಉ࣌ʹཧղ͢Δ͜ͱʹ໾ཱͭ
    w ཧ࿦ͦͷ΋ͷ΁ͷཧղʹͭͳ͕Δ

47. ՝୊ w ʮࢉ๏ʯࣗମ͕·ͩӅṭ͞Εͯ͠·͍ͬͯΔ
    w ͜͜΋໌ࣔԽ͍ͨ͠

48. ల๬

49. ల๬ w ཧ࿦Λπʔϧͱ͍͏ܗͰ׆༻ͨ͠৽͍͠ํ๏࿦ͷݕ ౼ʢ͓Αͼطଘͷํ๏࿦ͱͷൺֱʣ
    w ϓϩμΫτͷݕ౼ʢாථΤϯδϯɺΞϓϦέʔγϣ ϯΤϯδϯɺઃܭπʔϧʣ
    w Ϟσϧɾཧ࿦΁ͷϑΟʔυόοΫ

50. ࢀߟࢿྉ w <த੢>ʰʮ֓೦ாථʯϞσϧʹΑΔாථߏ଄ͷ୅਺త෼ੳʱ
 த੢ণ෢
    
    w <த੢>ʰσʔλιʔεɾλΠϓ
    ֓೦ாථੜ੒ύλʔϯ͓Αͼ֓೦ாථς ϯϓϨʔτͷΧλϩάԽʱ
 த੢ণ෢
    
    w

    <த੢>ʰύεาߦߦྻΛഔհͨ͠ாථݕ౼ϓϩηεʱ
 த੢ণ෢