Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Proof as Stories
Search
Chris
October 16, 2015
Research
2
700
Proof as Stories
Abstract:
http://www.cs.cmu.edu/~cmartens/uconn-abstract.txt
Chris
October 16, 2015
Tweet
Share
More Decks by Chris
See All by Chris
How to think like a system: Puzzles, Problems, and Programs
chrisamaphone
0
550
Compositional Creativity (ICFP 2017)
chrisamaphone
2
770
Anti-Disciplinary: doing a PhD when you like too many things
chrisamaphone
1
290
Paper Presentation: A Survey on Story Generation Techniques
chrisamaphone
0
2.1k
Principles of Expressive Machines
chrisamaphone
1
2.1k
Operationalizing Creative Theories
chrisamaphone
0
2.7k
Ceptre: A Language for Modeling Interactive Worlds
chrisamaphone
1
210
Programming Interactive Worlds with Linear Logic
chrisamaphone
2
1.2k
Proof Theory for Narrative Structure
chrisamaphone
2
290
Other Decks in Research
See All in Research
論文読み会 SNLP2025 Learning Dynamics of LLM Finetuning. In: ICLR 2025
s_mizuki_nlp
0
280
「どう育てるか」より「どう働きたいか」〜スクラムマスターの最初の一歩〜
hirakawa51
0
930
言語モデルの地図:確率分布と情報幾何による類似性の可視化
shimosan
7
1.8k
スキマバイトサービスにおける現場起点でのデザインアプローチ
yoshioshingyouji
0
250
まずはここから:Overleaf共同執筆・CopilotでAIコーディング入門・Codespacesで独立環境
matsui_528
2
620
Creation and environmental applications of 15-year daily inundation and vegetation maps for Siberia by integrating satellite and meteorological datasets
satai
3
400
機械学習と数理最適化の融合 (MOAI) による革新
mickey_kubo
1
390
RHO-1: Not All Tokens Are What You Need
sansan_randd
1
190
引力・斥力を制御可能なランダム部分集合の確率分布
wasyro
0
260
Generative Models 2025
takahashihiroshi
25
14k
超高速データサイエンス
matsui_528
1
150
[論文紹介] Intuitive Fine-Tuning
ryou0634
0
130
Featured
See All Featured
The Pragmatic Product Professional
lauravandoore
36
6.9k
Building a Modern Day E-commerce SEO Strategy
aleyda
44
7.8k
Designing Experiences People Love
moore
142
24k
How to Think Like a Performance Engineer
csswizardry
27
2k
Designing for Performance
lara
610
69k
Understanding Cognitive Biases in Performance Measurement
bluesmoon
31
2.7k
Typedesign – Prime Four
hannesfritz
42
2.8k
Java REST API Framework Comparison - PWX 2021
mraible
34
8.9k
Embracing the Ebb and Flow
colly
88
4.8k
ReactJS: Keep Simple. Everything can be a component!
pedronauck
667
120k
Writing Fast Ruby
sferik
629
62k
Intergalactic Javascript Robots from Outer Space
tanoku
273
27k
Transcript
None
None
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
xkcd.com/657 23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
None
Related Work 39
Related Work 40
41 If narratives have several parts, what are they, and
how do they connect to one another?
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
Linear Logic Programming 43 signature: set of rules program: signature
+ initial state 6 6¶ 6R6¶ U6R6¶ Q /RJLF3URJUDP LQLWLDOVWDWH