勉強会 #3

Transcript

1. LT: νϡʔϦϯά׬શ OHKAWA TAKEHIKO
2. "MBO
   .BUIJFTPO
   5VSJOH (Wikipedia ΞϥϯɾνϡʔϦϯά) •1912 - 1954 •ΠΪϦεͷ਺ֶऀɺ࿦ཧֶऀɺ҉߸ղಡऀɺίϯϐϡʔ λՊֶऀ •ίϯϐϡʔλՊֶ͓Αͼਓ޻஌ೳͷ෕ͱ΋ݴΘΕΔ ɹ- νϡʔϦϯάϚγϯ ɹ- ΤχάϚͷ҉߸ղಡ ɹ- ACE (ίϯϐϡʔλ) ɹ- νϡʔϦϯά৆ ɹ- νϡʔϦϯάɾςετ
3. 1 :8 8AD E c • x iw n i d Slnarz n iHc X]V R [TbTrw x s r w xy KX X TSXP # • n j • i iw j • v6XbR X] aR X b3 Hc X]V =]R [TbT]Taa w jU n i xb P]aPRbX ] j s j n p
4. ɹSolidity(ϓϩάϥϛϯάݴޠ)͸νϡʔϦϯά׬શ(≒ສೳ νϡʔϦϯάϚγϯ)Ͱ͋ΔΑ͏ʹ࡞ΒΕͨͷͰɺ͍͔ͳΔؔ਺ (ΞϧΰϦζϜ)΋࣮૷ՄೳͰɺࣗ༝౓͕ඇৗʹߴ͍ɻ͔͠͠ɺͦ ͷ୅ΘΓʹࣄલʹఀࢭ͢Δ͔Ͳ͏͔͸༧ଌෆՄೳͳͷͰɺGas ͱGaslimitΛಋೖ͢Δ͜ͱʹΑͬͯɺແݶϧʔϓʹؕͬͨΓɺཞ ༻͞Εͳ͍Α͏ʹͨ͠ɻ
5. νϡʔϦϯάϚγϯ ສೳνϡʔϦϯάϚγϯ ఀࢭੑ໰୊ Ωʔϫʔυ
6. νϡʔϦϯάϚγϯ ≒ ίϯϐϡʔλϓϩάϥϜɾΞϧΰϦζϜ M = {Q, , ⌃, } 2
   ੍ޚ෦ʹهԱͰ͖Δঢ়ଶͷू߹
   Ў
   ભҠؔ਺
   Є
   ग़ೖྗه߸ͷू߹
   ϵ
   ςʔϓه߸ͷू߹ ςʔϓ    # # # # qi ςʔϓϔου ੍ޚ෦
7. ⌃ = {0, 1} = {0, 1, B}    # # # # qi inc(x) = x + 1 ঢ়ଶભҠਤ : (Q {qfin }) ⇥ 7 ! Q ⇥ ⇥ {L, R, N} Q = {q0, qfin, q1, q2, ...} ঢ়ଶભҠؔ਺
8. = {0, 1, B} Q = {q0, qfin, q1, q2, ...} νϡʔϦϯάϚγϯ͸2ਐίʔυԽͰ͖Δ ঢ়ଶ਺
   O  ه߸਺
   N 
   ۭനه߸#ͷ͸ΛׂΓ͚ͭΔ : (Q {qfin }) ⇥   3   3   -   3 ɾ ɾ ɾ ೖྗ͕ࣙॻࣜॱংʹฒΜͰ͍ΔͱԾఆͯ͠ɺ Ўͷ஋͚ͩΛϒϩοΫɾίʔυͰهड़ "4$**ίʔυ
9. ɹܭࢉՄೳੑཧ࿦ͷ໰୊ͰɺνϡʔϦϯάػցMʹೖྗxΛೖΕͨΒ༗ݶ࣌ؒͰఀࢭ͢Δ ͔ɺͱ͍͏໰୊ɻΞϥϯɾνϡʔϦϯά͸1936೥ɺఀࢭੑ໰୊Λղ͘νϡʔϦϯάػց ͕ଘࡏ͠ͳ͍ࣄΛର֯ઢ࿦๏Ͱࣔͨ͠ɻ͢ͳΘͪͦͷΑ͏ͳνϡʔϦϯάػցͷଘࡏΛ Ծఆ͢Δͱɺࣗ਎͕ఀࢭ͢Δͱ൑ఆͨ͠ͳΒ͹ແݶϧʔϓΛߦ͍ɺఀࢭ͠ͳ͍ͱ൑ఆ͠ ͨͳΒ͹ఀࢭ͢ΔΑ͏ͳผͷνϡʔϦϯάػց͕ߏ੒Ͱ͖Δͱ͍͏ໃ६͕ಋ͔ΕΔɻ (Wikipedia) ఀࢭੑ໰୊
10. ఀࢭੑ໰୊ͷূ໌ ఆٛ1. νϡʔϦϯάϚγϯͷܭࢉ ఆٛ2. νϡʔϦϯάϚγϯͷܭࢉՄೳੑ ఆཧ1. ສೳνϡʔϦϯάϚγϯͷଘࡏఆཧ ఆཧ2. ܭࢉෆՄೳͳؔ਺ͷଘࡏఆཧ ఆཧ3. ͸ܭࢉෆՄೳͳؔ਺ halt?(p, x) = ( 1 (p ͕͋Δ M ͷίʔυͰɺ͔͠΋ 0 (ͦͷଞͷͱ͖)
11. ఆٛ1: νϡʔϦϯάϚγϯͷܭࢉ
 ɹೖྗx(BBxBB)ʹର͢ΔMͷܭࢉ͕ɺਖ਼ৗऴྃঢ়گ(BByBB)ʹ౸ୡͨ͠৔߹ɺܭࢉ ͕ఀࢭͨ͠ͱ͍͍ɺͦͷ࣌ͷग़ྗyΛɺೖྗxʹର͢ΔMͷग़ྗͱ͍͏ɻͳ͓ɺೖྗx ʹର͢Δ͢Δܭࢉ͕ਖ਼ৗऴྃঢ়گʹୡ͠ͳ͍৔߹ʹ͸ɺMͷग़ྗ͸ະఆٛͱΈͳ ͢ɻ inc(x) = ( n + 1 ͷೋਐදه (x ͕ɺ͋Δ n 2 N ͷೋਐදهͷͱ͖) ະఆٛ (ͦͷଞͷͱ͖)
12. νϟʔνͷఏএ ɹνϡʔϦϯάػցͰهड़Ͱ͖ΔҎ্ͷܭࢉೳྗΛ࣋ͭܭࢉݪཧ͸ଘࡏ͠ͳ͍.͕ͨͬ͠ ͯɼνϡʔϦϯάػցܭࢉՄೳੑΛɼܭࢉՄೳੑͷج४ͱͯ͠࢖͏ͷ͕ଥ౰Ͱ͋Δ.
    ৭ʑͳํ๏ͰܭࢉՄೳੑΛఆٛ ࠶ؼతఆٛ
    FUD ͯ͠΋݁ہɺνϡʔϦϯάܭࢉՄೳੑ ͱಉ஋ʹͳΔ ఆٛ2: νϡʔϦϯάϚγϯܭࢉՄೳੑ
 ɹؔ਺ f ʹର͠ɼͦΕΛܭࢉ͢Δ νϡʔϦϯάϚγϯ͕ଘࡏ͢Δͱ͖ɼf Λνϡʔ ϦϯάϚγϯܭࢉՄೳͱ͍͏.
13. .VOJW . . . .O ೚ҙͷؔ਺ʹ͍ͭͯܭࢉՄೳ γϛϡϨʔτͰ͖Δ ສೳνϡʔϦϯάϚγϯ
14. ఆཧ1. ສೳνϡʔϦϯάϚγϯͷଘࡏఆཧ comp(p, x) = ( M(x) (p ͕͋ΔνϡʔϦϯάϚγϯ M ͷίʔυͷͱ͖) 0 (p ͕νϡʔϦϯάϚγϯͷίʔυʹͳͬͯͳ͍ͱ͖) (ূ໌ུ֓) p ͱ x ͕༩͑ΒΕͨͱ͖ͷɼMuniv ͷܭࢉͷུ֓Λࣔ͢ɻ 
 (1) p ͕νϡʔϦϯάػցͷ2ਐ਺ίʔυʹͳ͍ͬͯΔ͔Λௐ΂ɼ ΋͠ p ͕ਖ਼͍͠ίʔυͰͳ͚Ε͹ɼଈ࠲ʹ 0 Λग़ྗͯ͠ऴྃ (2) p ͕͋ΔνϡʔϦϯάػցMͷίʔυͩͬͨ৔߹ʹ͸ɼ
 M ͷ x ʹର͢Δ࣮ߦΛγϛϡϨʔτ͠ɼਖ਼ৗऴྃͨ͠৔߹ʹ͸ ಉ͡ग़ྗΛग़ͯ͠ऴྃ͢Δ. * ೚ҙͷνϡʔϦϯάϚγϯ͕2ਐ਺ͰදͤΔ͜ͱ͕ॏཁ
15. .VOJW Q
    Y Q͕ೋਐίʔυ͔ʁ :FT /P  ਖ਼ৗऴྃ͢Δ͔ :FT . Y /P ෦෼ؔ਺ comp(p, x)
16. .
    Q
    Y Q͕ೋਐίʔυ͔ʁ :FT /P  ਖ਼ৗऴྃ͢Δ͔ :FT . Y /P શҬؔ਺ t comp(p, x)
17. ఆཧ2. ܭࢉෆՄೳͳؔ਺ͷଘࡏఆཧ ͜͜Ͱɺɹɹɹɹɹɹ͕ܭࢉՄೳͰɺɹɹ
    Λܭ ࢉ͢ΔνϡʔϦϯάϚγϯ
    ͕ଘࡏͨ͠ͱͯ͠ɺ ͜ΕΛ
    
    
    
    ͱ͢Δɻ͢Δͱશͯͷɹ
    ʹରͯ͠
    ɹɹɹɹɹɹɹɹɹɹ
    Ͱ͋ΔɻҰํͰɺ͜ͷߦ ͷର֯ઢ͕ަΘΔ৔ॴͰ͸ɹɹ
    
    ͷఆٛΑΓɺ
    ɹɹɹɹɹ
    
    
    ɻΑͬͯɹɹɹɹɹɹɹɹɹɹɹ Ͱ͋Γɺໃ६͢Δɻ t comp(p, x) = ( M(x) (p ͕͋Δ M ͷίʔυͰɺ͔͠΋ M(x) ͕ਖ਼ৗऴྃ͢Δͱ͖.) 0 (ͦͷଞͷͱ͖.) ূ໌ུ֓
    νϡʔϦϯάϚγϯͷ̎ਐίʔυΛɹ
    ͱ͠ɺЄͷ ݩͷద౰ͳೖྗΛɹ
    ͱ͢Δɻ
    ͜ͷΑ͏ʹͯ͠ɺؔ਺
    
    
    
    
    
    
    
    
    
    ΛӈͷΑ͏ʹఆٛ͢ Δɻ d(wi) wk t comp(p, x) d(wi) pk d(wi) = t comp(pk, wi) d(wi) d(wk) = z 6= y pi wi d(wk) 6= t comp(pk, wk)
18. ఆཧ3. ͸ܭࢉෆՄೳͳؔ਺ halt?(p, x) = ( 1 (p ͕͋Δ M ͷίʔυͰɺ͔͠΋ M(x) ͕ਖ਼ৗऴྃ͢Δͱ͖) 0 (ͦͷଞͷͱ͖) f(p, x) = ( comp(p, x) (halt?(p, x) = 1) 0 (halt?(p, x) = 0) halt?(p, x) = ( 1 (p ͕͋Δ M ͷίʔυͰɺ͔͠΋ M(x) ͕ਖ਼ 0 (ͦͷଞͷͱ͖) ূ໌ུ֓
    ɹɹɹɹɹ͕ܭࢉՄೳͩͱ͢ΔͱɺҎԼͷΑ͏ͳؔ਺G͕ߏ੒ՄೳͰ͋Δɻ͔͠͠ɺ͜Ε͸ɺɹɹɹɹɹɹ γϡϛϨʔτՄೳͰ͋Δ͜ͱʹଞͳΒͳ͍ͷͰɺໃ६͢Δɻ halt?(p, x) = ( 1 (p ͕͋Δ M ͷίʔυͰɺ͔͠΋ M(x) ͕ਖ਼ৗऴྃ͢Δͱ͖) 0 (ͦͷଞͷͱ͖) t comp(p, x) લఏ
    ɹɹɹɹɹ͸೚ҙͷνϡʔϦϯάϚγϯʹରͯ͠ܭࢉՄೳ ఆཧ
    ɹɹɹɹɹɹ
    ͸ܭࢉෆՄೳ ఆཧ ɹɹɹ comp(p, x) t comp(p, x)
19. ɹSolidity(ϓϩάϥϛϯάݴޠ)͸νϡʔϦϯά׬શ(≒ສೳ νϡʔϦϯάϚγϯ)Ͱ͋ΔΑ͏ʹ࡞ΒΕͨͷͰɺ͍͔ͳΔؔ਺ (ΞϧΰϦζϜ)΋࣮૷ՄೳͰɺࣗ༝౓͕ඇৗʹߴ͍ɻ͔͠͠ɺͦ ͷ୅ΘΓʹࣄલʹఀࢭ͢Δ͔Ͳ͏͔͸༧ଌෆՄೳͳͷͰɺGas ͱGaslimitΛಋೖ͢Δ͜ͱʹΑͬͯɺແݶϧʔϓʹؕͬͨΓɺཞ ༻͞Εͳ͍Α͏ʹͨ͠ɻ
20. Reference • Wikipedia ΞϥϯɾνϡʔϦϯά • ܭࢉ࿦ೖ໳ ౉ล ࣏ ถ࡚ ௚थ • ϓϩάϥϛϯάݴޠ࿦ 2012 # 1 — ݴޠͷجຊཁૉͱ֓೦ ٱ໺ ༃