我最近参加了逻辑指导研讨会，这是一个面向年轻研究人员的研讨会，旨在讨论作为逻辑学家和计算机科学家的学术生活。许多学生在会议上感到不安全，因为他们发现很多演讲很难或无法跟上。我不怪他们；我自己也经常没有从会议演讲中得到太多收获，当我与我小组中更资深的研究人员讨论这个问题时，他们也承认了这一点。这意味着问题不在于观众，而在于演讲者。
我们似乎忘记了会议的主要目的：通过演讲和讨论与他人分享我们的工作。我参加演讲是因为我想学到一些东西。因此，与其展示论文的强制性摘要，不如让我们再次真正努力进行会议演讲。让我们让它们信息丰富、有趣且值得一听。
进行和发表精彩演讲的方法和风格有很多。我见过让我着迷的黑板演讲、让我想尝试的软件演示、改变了我处理数据方式的安全性演讲。这些演讲的共同点是，我记得它们的主要信息。在这篇博客中，我想分享我最喜欢的在会议演讲中实现这一点的技巧，即通过讲故事。
数千年来，故事一直被用作传递信息的有效方式。我们都喜欢好故事：它们既有趣又容易让人保持注意力。此外，故事的寓意也容易记住，这使得它们非常适合教学目的。最棒的是，它们不仅听起来很有趣，而且做起来也很有趣！下面是我如何将我的论文变成适合在会议上讲述的故事[1]。
我非常喜欢三幕故事结构：设置舞台、制造冲突、解决冲突。请注意这里的单数：冲突，而不是冲突本身。尽管论文需要包含大量结果才能被顶级会议接受，但 20-30 分钟的会议演讲应该只关注论文中的一个想法。我希望人们从我的论文中了解和理解的一件事是什么？这就是我的故事，我是这样讲述的：
“曾几何时…”
前几句话对于吸引听众的注意力至关重要。这是他们决定：听我的演讲，还是在笔记本电脑上工作？如果我清楚地表明即将讲一个故事，人们就会感兴趣并注意。这是我上次演讲的开头：“三年前，拉斯穆斯问了我一个问题……”
接下来，我需要设置舞台。我向观众介绍这个世界、它的主要角色和主要任务。主要任务是我之前选择的论文中的一个想法或结果。在这种情况下，找到 Rasmus 的问题的答案：幂集单子是否分布在延迟单子上？（对于那些不熟悉单子的人来说，知道这是一个是非问题就足够了）。世界和人物决定了我将如何讲述这个任务的故事。
世界是什么样子取决于我的观众。我试图把我的故事设定在一个所有观众都熟悉的世界里。这对他们理解我的故事很重要。我并不害怕在这里过于简单化。就我而言，对于广泛的观众来说，我属于集合类或集合论，而对于高度专业的观众来说，我属于时钟立方类型理论。
角色可以是人类，例如游戏语义中量词的玩家和对手。主角甚至可以是我，故事讲述了我的主要定理的发现，充满了启发性的合作。但角色也可以非常抽象：我曾经将一种证明技术作为主角。为了解决 Rasmus 的任务，我选择并行计算作为主角，幂等性 (x * x = x) 是我的配角之一；一个反派，因为它一直在搞乱我美丽的定理[2]。
探索
在设定好世界观并掌握人物角色后，是时候着手解决主要问题了。这是根据我的论文构建故事最具创造性的部分。这不是直接给出解决方案，而是大多数实际故事发生的地方，也是观众可以学到最多东西的地方。这是弗罗多前往魔多的旅程，王子需要完成三个任务才能得到公主的芳心。或者对于会议演讲，这可能是我在研究中遇到的挑战以及我如何克服它们。对我来说，并行计算似乎是一个显而易见的解决方案，但它失败了。我仍然花了三分之一的演讲时间在它上面。解释我尝试了什么以及为什么它不起作用，这对我的听众来说是一次很好的学习经历：它建立了对我的最终解决方案的理解，并为它带来了一点兴奋！
最后，到了大结局的时候了。我们一直在等待的问题的答案是：这对恋人会在一起吗？佛罗多会毁掉魔戒吗？我是否设法解决了主要问题，我是如何做到的？就我而言，我解决了拉斯马斯的问题，答案是……没有。这是因为幂等性（我告诉过你这是反派）。
“…从此他们过着幸福的生活。”
在大结局之后，是时候进行简短的总结，也许可以解决一些问题，宣传我论文和未来工作的其他成果。但最重要的是，我的结束语决定了人们对我的演讲的情感。他们应该学到什么？如果我成功了，那么重复这句话作为带回家的信息将使我的听众感到聪明和满意。幽默可以让他们感到快乐。一个问题可以激起他们的好奇心：他们如何将我的成果应用到自己的工作中？我满怀希望地结束了我的演讲：如果我们稍微改变 Rasmus 的问题，只关心弱双相似性的方程，并行计算可能是一个很好的解决方案。这会产生忽略延迟单子上的幂等性的效果——通过放弃精度来击败我们的反派。
结语
在这篇博客中，我解释了如何使用讲故事技巧作为在会议上传达论文要点的有效方式：我让听众集中注意力，了解我工作的主要挑战，并记住我的解决方案。重点是我如何将演讲结构化为故事。但成功的会议讲故事不仅仅是结构。就像一个笑话，故事的传递可以成就或毁掉它。还有幻灯片和黑板使用的问题。但这些是另一个故事了。现在，我将留给你这个问题：在下一次会议上，你将如何将你的论文变成一个故事？
Maaike Zwart 是哥本哈根 IT 大学的博士后学生。她研究范畴论和类型论中的单子，特别关注通过分配律进行单子组合。https ://maaikezwart.com/
[1]我使用的运行示例基于我最近的论文和会议演讲“利用一点额外的时间，monad 能做什么和不能做什么”，与 Rasmus Møgelberg 共同撰写，并在CSL2024上发表和展示。遗憾的是，演讲没有录音，但幻灯片可以在这里找到。
[2]这里有些微妙之处。拟人化在科学中是不被接受的：原子不想最小化它们的能量，等等。我仍然认为将抽象概念视为我的故事中的“人物”是有用的。但我这样做并没有赋予他们人类的意图。
评论