今日から始める定理証明

デモのコード
* https://gist.github.com/takoeight0821/3814235f3229caa14952b2804e94265a
* https://gist.github.com/takoeight0821/fbfcc27cf6eeff30a950dfd348b5427e

Transcript

1. ࠓ೔͔Β࢝ΊΔ
 ఆཧূ໌ ޿ౡࢢཱେֶɹ৘ใՊֶ෦ɹ೥ɹՏ໺༤໵
2. ͷલʹ
 ࣗݾ঺հ
3. ͓Θͼ w ਐḿ͸ແ
   w ݪҼ
   w εʔύʔϚϦΦΦσοηΠ
   w ΠΧ
   w ਖ਼݄
   w ͍ͭͧ΍࢖ͬͨ΋ͷͷম͖௚͠Ͱ͢
4. ͸͡Ίʹ w લʑճˠϓϩάϥϜͷܕͷ࿩
   w લճˠ.FUB
   -BOHVBHFͷ࿩
   w ࠓճˠఆཧূ໌ͷ࿩
   w ෦࡞׬
5. ূ໌ͯ͠·͔͢
6. ϓϩάϥϜͷਖ਼͠͞
7. ܅ͷॻ͍ͨͦͷϓϩάϥϜ͸
   ຊ౰ʹਖ਼͍͠ͷ͔
8. ͔֬ΊΔʹ͸ʁ
9. Կສ΋ͷςετ
10. ਺ेਓମ੍ͷ
    ίʔυϨϏϡʔ
11. ਓྨ͸աͪΛ܁Γฦ͢
12. ͦΜͳͱ͖ʹ
    ఆཧূ໌
13. ʢద੾ͳެཧܥͰʣ
    ϓϩάϥϜͷਖ਼͠͞Λ
    ূ໌͢Ε͹ྑ͍ ϗϯϚ͔
14. ྫ͑͹࣍ͷͭͷϓϩάϥϜ if (b) { printf("Hi"); } else { printf("Hi"); } printf("Hi");
15. Ͳ͏Έͯ΋౳͍͠ if (b) { printf("Hi"); } else { printf("Hi"); } printf("Hi");
16. ػցతʹ͔֬ΊΔʹ͸ if (b) { printf("Hi"); } else { printf("Hi"); } printf("Hi");
17. Cʹ͍ͭͯ৔߹෼͚ if (b) { printf("Hi"); } else { printf("Hi"); } printf("Hi");
18. C
    
    USVF if (true) { printf("Hi"); } else { printf("Hi"); } printf("Hi");
19. C
    
    USVF printf("Hi"); printf("Hi");
20. C
    
    GBMTF if (false) { printf("Hi"); } else { printf("Hi"); } printf("Hi");
21. C
    
    GBMTF printf("Hi"); printf("Hi");
22. Կ͕͋Ζ͏ͱ౳͍͠ if (b) { printf("Hi"); } else { printf("Hi"); } printf("Hi");
23. ໰୊఺ w ࢖͑Δެཧܥ͕ࣗ໌Ͱͳ͍
    w ʮͰɺͦͷূ໌͸ਖ਼͍͠ͷ ʯͱݴΘΕΔͱΫΡʔϯ
    w ఆཧূ໌ࢧԉܥΛ࢖ͬͯղܾ
24. ఆཧূ໌ࢧԉܥ w ূ໌Λॻ͍ͨΓɺͦͷਖ਼౰ੑΛ͔֬ΊͨΓ͢ΔͷΛ
 ࢧԉ͢ΔγεςϜ
    w ਺ֶͷূ໌ʹ΋ɺϓϩάϥϜͷূ໌ʹ΋࢖͑Δ
    w ৭ʑͳछྨ͕͋Δ͕ɺࠓճ͸$PRΛ࢖༻ &NBDTͰఆཧূ໌ࢧԉܥΛ࢖͏ͨΊͷπʔϧ
    1SPPG(FOFSBMެࣜΩϟϥΫλʔ
    ͐͡ͶΒΔͨΜ
25. Ͳ͏͍͏ͱ͖ʹخ͍͠
26. ಡΈ΍͍͚͢Ͳ஗͍ؔ਺
    ͱ
    ଎͍͚ͲಡΈʹ͍ؔ͘਺
27. ΞϧΰϦζϜͷਖ਼͠͞ͷ֬ೝ
    ʢSFWFSTFճͰ
 ΋ͱʹ໭Δ͔ɺͱ͔ʣ
28. σϞ w Q
    㱼 "5ZQF
    CCPPM
    Y"
    JG
    C
    UIFO
    Y
    FMTF
    Y
    
    Y
 Λূ໌͠·͢ʢઌ΄Ͳͷྫͱಉ͡ʣ
    w "5ZQF͸೚ҙͷܕ
    w CCPPM͸ਅِ஋
    w Y"͸"ܕͷ೚ҙͷࣜʢϓϩάϥϜʣ
29. ଞʹ΋৭ʑ
30. ؾʹͳΔํ͸
    ʰఆཧূ໌खश͍ʱ
31. ӳޠ0,ͳΒ
    ʰ4PGUXBSF
    GPVOEBUJPOTʱ