mahjong-kun.pdf

Transcript

1. ຑ੃ͷ఺਺ܕ͔ΒֶͿ
   5ZQF4DSJQU
   

   View Slide

2. ໊લງా༗࠸
   ೥݄.ೖࣾ
   ௚ۙͷϓϩδΣΫτ.1BZɺ৺ଁ܅
   UZQFDIBMMFOHFTΛগͣͭ͠΍͍ͬͯΔ
   NFEJVNͷޙ൒͘Β͍·ͰEPOF
   લ৬͸αΠόʔΤʔδΣϯτ
   ຑ੃෦͕͋Γॴଐͯͨ͠ ్த͔Β༓ྶ෦һʹ
   
   IUUQTHJUIVCDPNUZQFDIBMMFOHFTUZQFDIBMMFOHFT
   

   View Slide

3. खṛͷຕͷṛͰ໾Λ࡞Ε͹0,ɺ఺਺͕໯͑Δ👍
   ͔ͳΓͬ͘͟ΓɺҰݴͰຑ੃ϧʔϧͷ঺հ
   ͭͷṛͷ૊ΈΛηοτ
   ਺ࣈ֊ஈλΠϓ ຕಉ͡λΠϓ ຕಉ͡λΠϓ
   ͭͷṛͷ૊ΈΛηοτ
   

   View Slide

4. ࠓ೔࿩͢͜ͱ
   ຑ੃ͷखṛΛೖྗͯ͠ɺͦͷखṛͷ఺਺ͷϦςϥϧܕΛฦ͢ܕΛ
   ࡞ͬͨɻ ௨শຑ੃܅BMQIB൛
   
   ຑ੃܅࡞੒ͷաఔͱ5ZQF4DSJQUͷػೳɾ஌ݟΛ঺հ͍ͨ͠
   IUUQTHJUIVCDPNIPSJUBZVZBNBIKPOHLVO
   ࠓ೔͸ɺ͜ͷลΓͷύϥϝʔλͷ࿩͸ׂѪ
   

   View Slide

5. ṛͷܕఆٛ
   खṛͷܕఆٛ
   ͭͷṛ͕ಉ͡ṛ͔νΣοΫ͢Δ
   ·ͱΊ
   ໨࣍
   

   View Slide

6. ṛͷఆٛ
   w -JUFSBM5ZQF
   w 5FNQMBUF-JUFSBM5ZQF
   

   View Slide

7. ṛͷܕఆٛ
   -JUFSBMܕ͸ɺͦͷ஋ࣗ਎͔͠ड͚෇͚ͳ͍ܕ
   lPzͱ͍͏-JUFSBMܕʹ͸zPz͔͠୅ೖͰ͖ͳ͍
   ܗؙ͕͍ͷͰʮPʯ
   -JUFSBM5ZQF
   

   View Slide

8. ṛͷܕఆٛ
   શ෦खಈͰఆٛʁ
   5FNQMBUF-JUFSBM5ZQF
   ܕΛ5FNQMBUF-JUFSBMͷೖྗʹ࢖͑Δɻ
   ਺ࣈͷṛ͸̍ʙ·Ͱͷ͋Δɻ
   

   View Slide

9. ṛͷܕఆٛ
   w 5FNQMBUF-JUFSBM5ZQFʹ6OJPOܕΛ౉͢ͱ෼഑ͯ͠ධՁ͞Εͨ݁Ռͷ6OJPOʹͳΔ
   6OJPOͷશ௨Γͷ૊Έ߹Θ͕ͤఆٛ͞ΕΔ
   5FNQMBUF-JUFSBM5ZQF
   w ਺ṛ͸छྨ͋ΔͷͰɺ࣮ࡍ͸b.BSL`ܕ΋6OJPOʹͳΔ͕ɺׂѪ
   

   View Slide

10. खṛͷܕఆٛ
    w "SSBZ5ZQF
    w 5VQMF5ZQF
    w (FOFSJDT
    w *OEFYFE"DDFTT5ZQFT
    

    View Slide

11. खṛͷܕఆٛ
    ഑ྻܕ
    w ഑ྻܕԿݸͷཁૉ͕͋Δ͔ɺίϯύΠϧ࣌ʹ͸ܾఆ͠ͳ͍
    w λϓϧܕԿݸͷཁૉ͕͋Δ͔ɾԿ൪໨ͷΠϯσοΫεʹԿ
    ܕ͕͋Δ͔ɺίϯύΠϧ࣌ʹܾఆ͞ΕΔ
    λϓϧܕ
    IUUQTXXXUZQFTDSJQUMBOHPSHEPDTIBOECPPLPCKFDUTIUNMUVQMFUZQFT
    

    View Slide

12. λϓϧܕͰखࡳΛఆٛ͢ΔͱɺຕҎ֎ͷέʔε
    ͰίϯύΠϧΤϥʔʹͯ͘͠ΕΔͷͰྑ͍
    खṛͷܕఆٛ
    

    View Slide

13. ͭͷṛͷ૊Έͱͭͷṛͷ૊Έʹ෼ղͰ͖Δ
    ͱɺ͞Βʹྑ͍
    खṛͷܕఆٛ
    

    View Slide

14. (FOFSJDT
    ܕύϥϝʔλΛड͚औͬͯɺ৽͍͠ܕΛੜ੒Ͱ͖Δ
    bFYUFOET`ΩʔϫʔυΛ෇͚Δ͜ͱͰೖྗύϥϝʔλʹ੍໿Λ෇͚ΒΕΔ
    खṛͷܕఆٛ
    

    View Slide

15. (FOFSJDT*OEFYFE"DDFTT5ZQFT
    AFYUFOET)BOEA੍໿ͷ͔͔͍ͬͯΔA5A͸λϓϧܕ
    λϓϧܕ͸ΠϯσοΫεΞΫηεʹΑͬͯɺͦͷҐஔͰͷܕΛऔಘͰ͖Δ
    ഑ྻܕͰ΋> >ͷΑ͏ʹΞΫηεग़དྷΔ͕ɺ5> 5>ͳͲ΋ΤϥʔʹͳΒͣʹ௨ͬͯ͠·͏
    खṛͷܕఆٛ
    

    View Slide

16. ฒͼॱͷ੍໿෇͖͕ͩɺ
    खṛͷຕYηοτɺຕYηοτΛܕͰදݱͰ͖ͨ
    ޙ͸ɺͦΕͧΕͷ·ͱ·Γ͕৚݅Λຬ͔ͨ֬͢ೝ͢Ε͹0,
    
    
    
    
    
    (FOFSJDT*OEFYFE"DDFTT5ZQFT
    खṛͷܕఆٛ
    

    View Slide

17. ͭͷṛ͕ಉ͡ṛ͔νΣοΫ͢Δ
    w $POEJUJPOBM5ZQFT
    w 5ZQF&RVJWBMFODF
    

    View Slide

18. ܕͷ߲ԋࢉࢠ
    ͷΑ͏ͳ΋ͷ
    ͭͷṛ͕ಉ͡ṛ͔νΣοΫ͢Δ
    $POEJUJPOBM5ZQFT
    5ΛzPzʹ୅ೖग़དྷΔͳΒ͹USVFܕΛɺग़དྷͳ͍ͳΒGBMTFܕΛฦ͢
    CPPMFBOܕͰ͸ͳ͘ɺUSVFͱGBMTFͷϦςϥϧܕ
    
    

    View Slide

19. ͭͷṛ͕ಉ͡ṛ͔νΣοΫ͢Δ
    $POEJUJPOBM5ZQFT
    ͱ͜ΖͰɺʮܕ͕ಉ͡ʯͷ൑ఆʹFYUFOETΛ࢖ͬͯྑ͍ͷ͔ʁ
    

    View Slide

20. 5ZQF&RVJWBMFODF
    Ұൠతʹ͸🙅
    AAܕ͸ɺOVNCFSܕʹ୅ೖͰ͖ΔͷͰUSVFʹͳΔ
    AAܕ͸ɺAcAܕʹ୅ೖͰ͖ΔͷͰUSVFʹͳΔ
    ͨͩ͠ɺϦςϥϧܕ͕ͦΕ୯ମͰൺֱ͞ΕΔ৔߹ʹ͸ڐ༰ग़དྷΔ
    ͭͷṛ͕ಉ͡ṛ͔νΣοΫ͢Δ
    

    View Slide

21. ଞͷํ๏ແ͍ͷ͔ʁ
    

    View Slide

22. 5ZQF&RVJWBMFODF
    UZQFDIBMMFOHFTͷਖ਼ղ൑ఆʹ΋࢖ΘΕ͍ͯΔ&RVBMTܕ
    ͭͷṛ͕ಉ͡ṛ͔νΣοΫ͢Δ
    ׬શͰ͸ແ͍͕ɺଟ͘ͷέʔεͰ͸ࠔΒͳͦ͏ͳϫʔΫΞϥ΢ϯυ
    IUUQTHJUIVCDPNNJDSPTPGU5ZQF4DSJQUJTTVFTJTTVFDPNNFOU
    

    View Slide

23. 5ZQF&RVJWBMFODF
    IUUQTHJUIVCEFWNJDSPTPGU5ZQF4DSJQUCMPCNBJOTSDDPNQJMFSDIFDLFSUT-
    // 'T1 extends U1 ? X1 : Y1’
    
    
    // 'T2 extends U2 ? X2 : Y2' are related if
    
    
    // one of T1 and T2 is related to the other, U1 and U2 are identical types, X1 is related to X2,
    
    
    // and Y1 is related to Y2.
    ͭͷ$POEJUJPOBM5ZQFͷൺֱʹ࣋ͪࠐΉ͜ͱͰɺ`JEFOUJDBM`͔Ͳ͏͔֬ೝग़དྷΔ
    ͭͷṛ͕ಉ͡ṛ͔νΣοΫ͢Δ
    

    View Slide

24. 5ZQF&RVJWBMFODF
    ͭͷṛ͕ಉ͡ṛ͔νΣοΫ͢Δ
    `4`͕౉͞Ε͍ͯͳ͍ͷͰɺ`4FYUFOET5`ΛධՁग़དྷͳ͍ɻ
    `$IFDL`͸b4
    4FYUFOET `ܕͱͯ͠ѻΘΕΔ
    ٻΊ͍ͯͨɺ$POEJUJPOBM5ZQFܕ
    3FGFSFODFIUUQTXXXUZQFTDSJQUMBOHPSHEPDTIBOECPPLBEWBODFEUZQFTIUNMDPOEJUJPOBMUZQFT
    ʮDPOEJUJPOBMUZQFTBSFEFGFSSFEʯͰݕࡧ
    ެࣜυΩϡϝϯτ͕ͩɺEFQSFDBUFEɻ࠷৽ͷϖʔδͰ͸ࣅͨΑ͏ͳจষΛݟ͚ͭΒΕͳ͔ͬͨɻ
    

    View Slide

25. 5ZQF&RVJWBMFODF
    ͭͷṛ͕ಉ͡ṛ͔νΣοΫ͢Δ
    `4`͕ύϥϝʔλͱͯ͠౉͞Εͨ݁Ռɺ`4FYUFOET5`͕ධՁ͞Εɺ
    ͨͩͷb
    `ܕʹͳΔͷͰɺ❌
    

    View Slide

26. ṛͷܕఆٛɺखṛͷܕఆٛɺṛͷܕಉ࢜ͷൺֱͳͲجૅ෦෼Λ঺հͨ͠
    ޙ͸ɺ૊ηοτɺ૊ηοτͷ৚݅ʹͳ͍ͬͯΔ͔ʁ໾͸੒ཱͯ͠
    ͍Δ͔ʁϝϯθϯʁͲͷ଴ͪͰ্͕ͬͨʁϩϯ͔πϞ͔ʁූ͸͍͔ͭ͘ʁ
    Λ൑ఆ͢Δ͚ͩ
    ·ͱΊ
    IUUQTHJUIVCDPNNJDSPTPGU5ZQF4DSJQUJTTVFT
    IUUQTTQFBLFSEFDLDPNTBJZB@NPFCJVTUZQFTZTUFNPGUIFUZQFTDSJQU
    IUUQTXXXUZQFTDSJQUMBOHPSHEPDTIBOECPPLUZQFTGSPNUZQFTIUNM
    ਆࢿྉ
    ެࣜυΩϡϝϯτɺ๛෋Ͱ෼͔Γ΍͍͢
    ໼࡚͞Μͷ54࿩ɻಛʹɺ঺հ͞Ε͍ͯΔOFWFSͷ࢖͍ํ͸ɺຊ൪ίʔυͰ΋ͱͯ΋໾ʹཱͭ
    5ZQF&RVJWBMFODFͷ࿩ɻ54ͷίʔυ DIFDLFSUT
    ΛಡΉ͖͔͚ͬʹͳͬͨ
    ΋͠ྑ͔ͬͨΒຑ੃܅ͷ࣮૷ݟͯΈ͍ͯͩ͘͞🤲
    
    

    View Slide