Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Proof as Stories

B6ff5f798c18a3367b2770aa3ada0730?s=47 Chris
October 16, 2015
Research
2
480

Proof as Stories

Abstract: http://www.cs.cmu.edu/~cmartens/uconn-abstract.txt

B6ff5f798c18a3367b2770aa3ada0730?s=128

Chris

October 16, 2015
Tweet

More Decks by Chris

See All by Chris
How to think like a system: Puzzles, Problems, and Programs
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
0
210
Compositional Creativity (ICFP 2017)
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
2
670
Anti-Disciplinary: doing a PhD when you like too many things
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
1
110
Paper Presentation: A Survey on Story Generation Techniques
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
0
2k
Principles of Expressive Machines
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
1
1.9k
Operationalizing Creative Theories
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
0
2.5k
Ceptre: A Language for Modeling Interactive Worlds
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
1
130
Programming Interactive Worlds with Linear Logic
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
2
780
Proof Theory for Narrative Structure
B6ff5f798c18a3367b2770aa3ada0730?s=48 chrisamaphone
2
170

Other Decks in Research

See All in Research
仮想的な探索を用いて文脈や時間の経過による番狂わせにも迅速に追従する多腕バンディット手法/wi2_lkf_bandits
Cd3d2cb2dadf5488935fe0ddaea7938a?s=48 monochromegane
0
150
第10回チャンピオンズミーティング・アクエリアス杯ラウンド1集計 / Umamusume Aquarius 2022 Round1
9782dd351a8f1737d4ef02d839e821f9?s=48 kitachan_black
0
1.5k
GovTechとマーケットデザイン （東京大学小島教授）
E4a4f85037f5c40aaf7f95b1528b925a?s=48 daimoriwaki
0
150
GDPナウキャスティング・webアプリ「NowcastingR」の概要
6027044e52fbcbc07f22d0235fc9da37?s=48 secondapunta
0
230
2021年度官庁訪問に関するアンケート調査
Cf20487f38f9ad92fb7f867fb1c215d7?s=48 xkasumi
0
260
ヒトをめぐるデータサイエンスにおけるAIの最新動向.pdf
2b1653e7910b85a3c5348b609d52ad8c?s=48 tdailab
0
170
第11回チャンピオンズミーティング・ピスケス杯ラウンド2集計 / Umamusume Pisces 2022 Round2
9782dd351a8f1737d4ef02d839e821f9?s=48 kitachan_black
0
860
論文読み会資料 When Shift Operation Meets Vision Transformer: An Extremely Simple Alternative to Attention Mechanism
E054bbb78a219fbddbac0bc492aed606?s=48 sensetime_japan
1
750
幼少期の自然体験が理科学習への態度に及ぼす影響
4e437713540d4a32369b9c9f1b624e9c?s=48 arumakan
0
820
JGS594 Lecture 18
B546a9b97d993392e4b22b74b99b91fe?s=48 javiergs
PRO
0
340
データに基づくレヴィ流行語大賞2021
569640c367efbb9719e31fbfc4b6b147?s=48 levii
0
230
ICCV 2021 ただただVision and Languageの論文を読んでみた
Be0f86176276318b4b9775d795278f7e?s=48 yushiku
3
1.7k

Featured

See All Featured
Web Components: a chance to create the future
E190023b66e2b8aa73a842b106920c93?s=48 zenorocha
303
40k
Java REST API Framework Comparison - PWX 2021
72a2082c6a4dd79ad68befb3db911616?s=48 mraible
PRO
11
4.6k
VelocityConf: Rendering Performance Case Studies
96270e4c3e5e9806cf7245475c00b275?s=48 addyosmani
316
22k
Fontdeck: Realign not Redesign
0bce06bd06ee7a2c4f5500f25dcf7f18?s=48 paulrobertlloyd
73
4.1k
How New CSS Is Changing Everything About Graphic Design on the Web
D83926c323d4f9289f947b4b4e76b939?s=48 jensimmons
212
11k
I Don’t Have Time: Getting Over the Fear to Launch Your Podcast
B3ace07412a5178ea778e7eec161fc0a?s=48 jcasabona
12
890
Support Driven Design
1519587b1a0febb658c36c94f6272b0d?s=48 roundedbygravity
86
8.4k
Navigating Team Friction
245cee81a9c424266e5e401d844ea881?s=48 lara
175
11k
The Straight Up "How To Draw Better" Workshop
Aff5641764408271f7bc398f2097edd0?s=48 denniskardys
225
120k
Principles of Awesome APIs and How to Build Them.
B47b288784fda77a94aeb234ca743c24?s=48 keavy
113
15k
Fashionably flexible responsive web design (full day workshop)
433acaea1012b25d97ae66da9b998dad?s=48 malarkey
396
62k
The Invisible Side of Design
B3d6434763caa0ef5dc4b792662c49f7?s=48 smashingmag
289
48k

Transcript

  1. None
  2. None

  3. 3

  4. 4

  5. 5

  6. 6

  7. 7

  8. 8

  9. 9

  10. 10

  11. 11

  12. 12

  13. 13

  14. 14

  15. 15

  16. 16

  17. 17

  18. 18

  19. 19

  20. 20

  21. 21

  22. 22

  23. xkcd.com/657 23

  24. 24

  25. 25

  26. 26

  27. 27

  28. 28

  29. 29

  30. 30

  31. 31

  32. 32

  33. 33

  34. 34

  35. 35

  36. 36

  37. 37

  38. None

  39. Related Work 39

  40. Related Work 40

  41. 41 If narratives have several parts, what are they, and

    how do they connect to one another?

  42. Ceptre 42 stage = set of rules r : A

    -o B ! program = set of stages + stage control flow + initial state 6 6¶ 6R6¶  U6R6¶    Q  /RJLF3URJUDP LQLWLDOVWDWH

  43. Linear Logic Programming 43 signature: set of rules program: signature

    + initial state 6 6¶ 6R6¶  U6R6¶    Q  /RJLF3URJUDP LQLWLDOVWDWH