停止性問題と数 / Halting problem and number

2016年2月16日にリブセンスの社内勉強会「0x64物語」で発表した資料です。
毎回テーマを決めてLTを行うスタイルの勉強会で、このときのテーマは「数」でした。

アップロードは2022年9月15日に行いました。

Transcript

1. ఀࢭੑ໰୊ͱ਺ 
   !IJHIXJEF Y෺ޠୈY໷
   ʮ਺ʯ
2. ϓϩάϥϜͷ
   ఀࢭੑ໰୊
   ͱ͸
3. ʮϓϩάϥϜʹσʔλΛ༩͑ͯಈ ͔ͨ͠ͱ͖ɺ༗ݶ࣌ؒ಺ʹಈ࡞͕ ఀࢭ͢Δ͔Ͳ͏͔ʯΛ൑ఆ͢Δͱ ͍͏໰୊ ݁৓ߒʮϓϩάϥϚͷ਺ֶʯ1
4. ͜Ε࣮͸
   ʮܭࢉෆೳʯͱ
   ূ໌͞Ε͍ͯΔ
5. ূ໌
6. ఀࢭ͢Δ͔Ͳ͏͔
   ൑ఆ͢Δ
   ϓϩάϥϜ IBMU ͕
   ॻ͚ͨͱԾఆͯ͠ def halt?(program, data) # 真に驚くべき実装を発見したが、 # ここに記すには余白が狭すぎる [true, false].sample end
7. IBMU ͕USVFͳΒಈ͖ଓ͚ͯ
   GBMTFͳΒఀࢭ͢ΔॲཧΛॻ͘ def self_check(program) result = halt?(program, program) puts "The result of 'halt?' is #{result}" if result while true puts "Never halting!!" end else puts "Just halting" end end
8. def halt?(program, data) # 真に驚くべき実装を発見したが、 # ここに記すには余白が狭すぎる [true, false].sample end def self_check(program) result = halt?(program, program) puts "The result of 'halt?' is #{result}" if result while true puts "Never halting!!" end else puts "Just halting" end end self_check($stdin) ϓϩάϥϜ
   શମ૾
9. % ruby halt_checker.rb < halt_checker.rb ࣗ෼ࣗ਎Λ
   ධՁ͢ΔͱͲ͏ͳΔʁ
10. The result of 'halt?' is true Never halting!! Never halting!! Never halting!! Never halting!! Never halting!! Never halting!! Never halting!! Never halting!! Never halting!! Never halting!! --snip-- The result of 'halt?' is false Just halting ໃ६͢Δ
11. Αͬͯ
    ʮఀࢭ͢Δ͔൑ఆ͢Δ
    ϓϩάϥϜ͕ॻ͚Δʯ
    ͱ͍͏Ծఆ͸ޡΓ
    എཧ๏
12. ࠓճͷςʔϚͱ
    ؔ܎ͳͦ͞͏
    ʘ ?P? ʗ
13. ࠓճͷ
    ςʔϚ
14. ʮ਺ʯ
15. 
    ಈࢺԽ
16. ਺͑Δ
17. <
    
    >DPVOU
    
    
18. ਺͑ΒΕΔ
19. <શͯͷ੔਺>DPVOU
    
    
20. ਺͑ΒΕΔ
21. ʲ਺͑ʳ ʲΒΕΔʳ
    
    DPVOU
    
    BCMF
22. <શͯͷ੔਺>͸
    DPVOUBCMF͔
23. DPVOUBCMF
    
    USVF
24. Χ΢ϯλϒϧͱ͸
    ʮू߹ͷཁૉ͕༗ݶݸͰ͋Δ͔ɺ·ͨ͸ू ߹ͷ͢΂ͯͷཁૉΛҎ্ͷ੔਺ͱҰରҐஔ ʹରԠ෇͚ΒΕΔʯͱ͖ɺͦͷू߹͸Χ΢ ϯλϒϧ DPVOUBCMF Ͱ͋Δͱఆٛ͠·͢ɻ ݁৓ߒʮϓϩάϥϚͷ਺ֶʯ1
25. શͯͷ੔਺͸൪߸Λ͚ͭΒΕΔ             ੔਺ ൪߸
26. <ੈͷதʹଘࡏ͢Δ
    શͯͷϓϩάϥϜ>͸
    DPVOUBCMF͔ʁ
27. ϓϩάϥϜͰ࢖͑Δจࣈ͸
    DPVOUBCMFͰ͋Δ a b c d e f g h i j k l m n o p q r s t u v w x y z A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 0 1 2 3 4 5 6 7 8 9 ! " # % & ' ( ) + , - . / : ; < = > ? [ \ ] ^ _ ` { | } ~
28. /छྨͷจࣈΛ
    Oࣈ෼࢖ͬͯ࡞ΕΔ
    ϓϩάϥϜͷ૯਺͸/?Oݸ
29. จࣈͰ࡞ΕΔϓϩάϥϜ
    /ݸ
    จࣈͰ࡞ΕΔϓϩάϥϜ
    /?ݸ
    จࣈͰ࡞ΕΔϓϩάϥϜ
    /?ݸ
    
    
    
    
    
    
    
    
     ݁ہશͯͷϓϩάϥϜʹ ൪߸Λ෇͚ΒΕΔ
30. <ੈͷதʹଘࡏ͢Δ
    શͯͷϓϩάϥϜ>͸
    DPVOUBCMFͩͬͨ
31. DPVOUBCMFͰ
    ͳ͍΋ͷͱ͸ʁ
32. < Ҏ্ҎԼͷ
    શͯͷ࣮਺>͸
    DPVOUBCMF͔
33. 
    GBMTF
34. ূ໌
35.  ͷ܁ฦ͠
    ͷ܁Γฦ͠
    ˽ʸ
    ͷ܁Γฦ͠
    ϥϯμϜ
     
    
    
    
    
     ʙͷશͯͷ࣮਺ྻΛ
    ༻ҙͨ͠ͱԾఆͯ͠
36. ͜͜ʹଘࡏ͠ͳ͍
    ࣮਺Λ࡞Δʹ͸ʁ
37.  ͷ܁ฦ͠
    ͷ܁Γฦ͠
    ˽ʸ
    ͷ܁Γฦ͠
    ϥϯμϜ 
    
    
    
      ֤ྻͷ֤ܻΛର֯ઢʹ૸ࠪͯ͠
    ͍ͯ͘͠ͱඞͣ৽͍࣮͠਺͕Ͱ͖Δ
38. ͳͥͳΒ
    શͯͷྻͱ
    ඞͣͲ͔ܻ͕͜
    ҧ͏ͨΊ
39. ΑͬͯԾఆ͸ޡΓ
    <Ҏ্ҎԼͷ
    શͯͷ࣮਺>͸
    DPVOUBCMFͰ͸ͳ͍
40. Χϯτʔϧͷର֯ઢ࿦๏ ͱ͍͏Β͍͠ (FPSH
    'FSEJOBOE 
 -VEXJH
    1IJMJQQ
    $BOUPS
    (FSNBOZ
    
    
    
41. ͛͢ʔ
42. ͔͜͜Β͕
    ຊ୊
43. ϓϩάϥϜͷ
    ఀࢭੑ໰୊ͷূ໌͸
    Χϯτʔϧͷର֯ઢ࿦๏Λ
    ࣮͸ར༻͍ͯͨ͠ͱ͍͏࿩
44. ର֯ઢ࿦๏ͱ͸ͭ·Γ
    ͜͏͍͏͜ͱ
45. 9Λू߹ͱ͠ɺ9Λ9ͷ΂͖ू߹ͱ͢Δɻ ͞ΒʹСΛ9͔Β9΁ͷࣸ૾ͱ͢Δɻ9ͷ ෦෼ू߹:Λ XJLJQFEJB
    ʮΧϯτʔϧͷର֯ઢ࿦๏ʯ {x 2 X : x / 2 (x)} ʹΑΓఆٛ͢ΔͱɺС Y :ͱͳΔY㱨9͸ଘ ࡏ͠ͳ͍ɻ
46. ू߹
    ࣗવ਺
    ΂͖ू߹
    ʙͷ੔਺ͷྻ
    ࣸ૾
    DPVOU͢Δ
    ର֯ઢ্ʹ૸ࠪͯ͠৽͍͠ྻΛ࡞Δ
    
    ࣸ૾Ͱ͖ͳ͍
    
    DPVOUBCMFͰͳ͍
47. ఀࢭੑ໰୊ʹ
    ద༻͢Δͱ
48. ू߹
    શͯͷϓϩάϥϜ ˺ࣗવ਺
    ΂͖ू߹
    ϓϩάϥϜΛೖྗ஋ͱͨ͠ϓϩ άϥϜಉ࢜ͷ૊Έ߹Θͤ
    ࣸ૾
    ఀࢭ͢Δ͔൑ఆ͢Δ
    ఀࢭ͢Δͱ൑ఆͨ͠Β
    ఀࢭ͠ͳ͍ϓϩάϥϜΛ࡞Δ
    
    ఀࢭ൑ఆͰ͖ͳ͍
    
    DPVOUBCMFͰͳ͍
49. ͪͳΈʹ
    ͜͏΍ͬͯఀࢭੑ໰୊Λ
    ূ໌ͨ͠ͷ͸͜ͷਓ "MBO
    .BUIJTPO
    5VSJOH
    6,
    
    
    
50. ͛͢ʔ
51. ͓͠·͍