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

Proof as Stories

Chris
October 16, 2015
Research
2
620

Proof as Stories

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

Chris

October 16, 2015
Tweet

More Decks by Chris

See All by Chris
How to think like a system: Puzzles, Problems, and Programs
chrisamaphone
0
410
Compositional Creativity (ICFP 2017)
chrisamaphone
2
740
Anti-Disciplinary: doing a PhD when you like too many things
chrisamaphone
1
220
Paper Presentation: A Survey on Story Generation Techniques
chrisamaphone
0
2.1k
Principles of Expressive Machines
chrisamaphone
1
2k
Operationalizing Creative Theories
chrisamaphone
0
2.7k
Ceptre: A Language for Modeling Interactive Worlds
chrisamaphone
1
180
Programming Interactive Worlds with Linear Logic
chrisamaphone
2
1.1k
Proof Theory for Narrative Structure
chrisamaphone
2
240

Other Decks in Research

See All in Research
Large Vision Language Model (LVLM) に関する最新知見まとめ (Part 1)
onely7
20
3.2k
20240918 交通くまもとーく 未来の鉄道網編（こねくま）
trafficbrain
0
230
データサイエンティストをめぐる環境の違い 2024年版〈一般ビジネスパーソン調査の国際比較〉
datascientistsociety
PRO
0
580
非ガウス性と非線形性に基づく統計的因果探索
sshimizu2006
0
360
marukotenant01/tenant-20240916
marketing2024
0
500
[CV勉強会＠関東 CVPR2024] Visual Layout Composer: Image-Vector Dual Diffusion Model for Design Layout Generation / kantocv 61th CVPR 2024
shunk031
1
450
文化が形作る音楽推薦の消費と、その逆
kuri8ive
0
160
最近のVisual Odometryと Depth Estimation
sgk
1
270
システムから変える　自分と世界を変えるシステムチェンジの方法論 / Systems Change Approaches
dmattsun
3
860
Practical The One Person Framework
asonas
1
1.6k
ニュースメディアにおける事前学習済みモデルの可能性と課題 / IBIS2024
upura
3
510
20240918 交通くまもとーく 未来の鉄道網編（太田恒平）
trafficbrain
0
220

Featured

See All Featured
Building Better People: How to give real-time feedback that sticks.
wjessup
364
19k
Documentation Writing (for coders)
carmenintech
65
4.4k
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
PRO
10
720
ピンチをチャンスに：未来をつくるプロダクトロードマップ #pmconf2020
aki_iinuma
109
49k
jQuery: Nuts, Bolts and Bling
dougneiner
61
7.5k
The Cult of Friendly URLs
andyhume
78
6k
What's in a price? How to price your products and services
michaelherold
243
12k
The Art of Programming - Codeland 2020
erikaheidi
52
13k
Fight the Zombie Pattern Library - RWD Summit 2016
marcelosomers
232
17k
Making the Leap to Tech Lead
cromwellryan
133
8.9k
Ruby is Unlike a Banana
tanoku
97
11k
YesSQL, Process and Tooling at Scale
rocio
169
14k

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