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

2015年7月27日 第2回超上流情報要求研究会

Transcript

1. ֓೦ாථཧ࿦ͷ
 ߦྻΛ࢖ͬͨࢉ๏ͷղઆ ΠϯΫεגࣜձࣾɹޙ౻
   लએ
   IJEFOPSJHPUP!HNBJMDPN  ࣮૷ऀͷࢹ఺͔Β
2. ࣗݾ঺հ w ޙ౻लએʢ͝ͱ͏ͻͰͷΓʣ
   
   
   w ιϑτ΢ΣΞ։ൃऀʢ࣮૷ऀʣ
   w ෼ੳɾઃܭํ๏࿦ͱɺ࣮૷ͱͷ݁ͼ໨Λ୳ٻத
3. ΞδΣϯμ w ཧ࿦֓ཁ
   w ֓೦ாථͷٻΊํ
   w ߦྻΛ࢖ͬͨϞσϧ
   w Ϟσϧͷ࣮૷
   w ల๬
4. %&.0
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 ߦྻΛಘͨΒଥ౰ͳาߦͰ͋Δɻ
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
46. ͜͏ͳ͍ͬͯΔͱ w ͜ͷ࣮૷Λڞ༗͠ɺཧղ࣮ͨ͠૷ऀ͕ɺཧ࿦ͷϞσ ϧʹ͍ͭͯ΋ಉ࣌ʹཧղ͢Δ͜ͱʹ໾ཱͭ
    w ཧ࿦ͦͷ΋ͷ΁ͷཧղʹͭͳ͕Δ
47. ՝୊ w ʮࢉ๏ʯࣗମ͕·ͩӅṭ͞Εͯ͠·͍ͬͯΔ
    w ͜͜΋໌ࣔԽ͍ͨ͠
48. ల๬
49. ల๬ w ཧ࿦Λπʔϧͱ͍͏ܗͰ׆༻ͨ͠৽͍͠ํ๏࿦ͷݕ ౼ʢ͓Αͼطଘͷํ๏࿦ͱͷൺֱʣ
    w ϓϩμΫτͷݕ౼ʢாථΤϯδϯɺΞϓϦέʔγϣ ϯΤϯδϯɺઃܭπʔϧʣ
    w Ϟσϧɾཧ࿦΁ͷϑΟʔυόοΫ
50. ࢀߟࢿྉ w <த੢>ʰʮ֓೦ாථʯϞσϧʹΑΔாථߏ଄ͷ୅਺త෼ੳʱ
 த੢ণ෢
    
    w <த੢>ʰσʔλιʔεɾλΠϓ
    ֓೦ாථੜ੒ύλʔϯ͓Αͼ֓೦ாථς ϯϓϨʔτͷΧλϩάԽʱ
 த੢ণ෢
    
    w <த੢>ʰύεาߦߦྻΛഔհͨ͠ாථݕ౼ϓϩηεʱ
 த੢ণ෢