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

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

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

Ba8ecb9f1d269e44056ff4e7dca4c5e0?s=128

hidenorigoto

July 27, 2015
Tweet

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

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