科研思考

官方信息技术老师·11 页·深入(追求细节与边界)·0 次浏览·3 天前
科学方法批判思维研究设计逻辑推理

科研思考

看清好问题的诞生、证据的筛选,与结论的边界

按 空格/→ 演示下一步

1 / 11 页

全部页面点击任意一页,跳回舞台从这页播放

科学方法批判思维研究设计逻辑推理

科研思考

看清好问题的诞生、证据的筛选,与结论的边界

1第 1 页 · 科研思考

科研三要素

上页我们聊了科研思考——敢于追问、保持怀疑。但光有思考的姿态还不够,思考要落到一次完整的研究里,需要三块基石同时立稳。

真问题
选题要击中真问题,不是已有答案的题,也不是无足轻重的题
严方法
从问题到结论的路径要可复现、可证伪,方法决定结论的有效边界
硬证据
数据与事实经得起同行重复验证,证据不足则一切推论不成立
侦探破案对应 →科研三要素

案件疑点对应真问题,调查手段对应严方法,证据链对应硬证据

2第 2 页 · 科研三要素

Program today

知道三要素不等于能干活——你还得有一份「今天到底怎么推进」的可执行方案。研究方案不是灵感清单,而是一份有目标、有路径、有截止线的工程图。

核心问题
这阶段只回答一个明确问题,避免多目标漂移
可证伪假设
写成「若 X 则 Y」的形式,明确什么结果会推翻它
方法链
从观察到结论的若干步骤,每步都有输入与产出
成功判据
事先定义何为「有效证据」,避免事后凑结果
时间盒
设定截止日与资源上限,超出则复盘而非硬撑
登山行程对应 →研究方案

目标峰=核心问题,路线=方法链,气象阈值=成功判据,下撤时刻=时间盒

3第 3 页 · Program today

Program yesterday

上课头 5 分钟,老师往往说「上节课我们讲到了……」——别小看这个动作,它就是 Program yesterday。

定义
开课前回顾上节核心内容,用 5–10 分钟帮学生重新提取记忆
目的
对抗艾宾浩斯遗忘曲线:24 小时后记忆留存率仅约 34%
常用方式
提问抢答、5 分钟闭卷小测、思维导图接力、口头复述框架
边界
不是逐字复述讲义,而是让学生主动提取关键结构与未解问题
健身前的热身激活对应 →Program yesterday

昨天的训练是肌肉,今天先唤醒再练新动作;记忆也一样

R=et/SR = e^{-t/S}
4第 4 页 · Program yesterday

Theory of Programming

上一页我们对比了'昨天'与'今天'的程序形态——写法、抽象层都在变。但有一个问题从未改变:什么样的'程序'在数学上是合法的、正确的、可证明的?这正是 Theory of Programming 的研究对象。

计算模型
Turing 机、λ 演算等抽象,定义'什么能被计算'的根本边界
形式语义
用数学严格定义程序'究竟做了什么',而非依赖测试样例
类型系统
静态规则约束数据与操作的合法性,在运行前排除一类错误
正确性证明
通过逻辑推理证明程序对所有输入都满足规约
不可计算性
停机问题等:存在原则上任何程序都无解的判定问题
语言学的语法规则对应 →程序的形式理论

不学语法也能说话,但语法定义'合法句子'与'句子含义',并支持逻辑推理;说不出的就不属于语言

{P}C{Q}\{P\}\,C\,\{Q\}
5第 5 页 · Theory of Programming

A of ARM

上一页我们讲了编程理论的抽象机器——ARM 正是这样一个真实存在的具体实现,同时也是你口袋里手机芯片的根基。

RISC 设计哲学
只保留最常用指令,用硬件把简单操作做快做省电
存算分离架构
运算指令只能操作寄存器,内存读写由专用指令负责
定长指令编码
每条 32 位(或 16 位压缩),译码简单、利于流水线
大寄存器组
31 个通用寄存器(R0–R12 + R13–R15),减少访存
条件执行
绝大多数指令可加条件码,免去短分支跳转的开销
厨房只留 5 把最常用的刀对应 →RISC 精简指令集

刀少但每把都被磨到极致;指令少但每条都被硬件做透,所以又快又省电

6第 6 页 · A of ARM

R of ARM

A 帮你把问题剥到只剩骨架——但怎么从骨架走到让人信服的结论?这就需要一条从「已知」通向「未知」的逻辑桥梁:R,Reasoning,推理。

定义
从前提按逻辑规则推出结论的过程,是把假设变成可接受论断的关键
演绎
从一般到特殊:前提为真则结论必真,如欧几里得证明几何定理
归纳
从特殊到一般:靠样本推断总体,结论天然带不确定性
溯因
从结果倒推最佳解释:医生看症状判病因、侦探凭线索抓凶手
法官判案对应 →科研推理

法官据证据(数据)+法条(方法)推判决(结论);两边都要逻辑链可追溯、结论可质证

7第 7 页 · R of ARM

M of ARM

文献调研告诉你别人做过什么,方法选择决定你能做什么。R 之后,自然要问:用什么方法抵达 A 设定的目标?这就是 M。

方法定义
回答'怎么研究'的可重复操作流程与工具组合
与 A 对齐
方法必须能直接产出 A 所承诺的判断或结论
可证伪性
方法产出能被实验或数据反驳,而非无法验证的自说自话
可迁移性
方法参数与条件写清楚,别人能在自己的研究中复用
登山选路线对应 →方法选择

A 是山顶,R 是已知地形,M 就是你选哪条路——各有代价和风险

8第 8 页 · M of ARM

OESPA

上一节 ARM 给了我们做研究的「工具箱」——抽象、推理、建模。但工具什么时候用、按什么顺序用?这就需要一个完整的研究流程。OESPA 就是这样一个闭环:把研究拆成五步,前后衔接、首尾循环。

O 观察
用感官或仪器系统采集现象与数据,确保研究的起点是事实而非臆断
E 解释
对观察到的现象提出机制假设,建立因果或相关关系的候选解释
S 系统化
把零散观察与解释组织为可复用的结构,如定律、模型或分类体系
P 预测
基于已系统化的理论,向未观测的情境外推,导出可检验的推论
A 应用
把预测落地到工程、医疗或决策中,并在真实世界反馈下修正前四步
医生诊断与治疗流程对应 →OESPA 五步研究循环

问诊查体=O,化验推理=E,病历归档=S,预判转归=P,处方治疗=A

9第 9 页 · OESPA

本节要点

  • 科研始于好奇心,成于系统化
  • 好问题比好答案更稀缺
  • 代码首先是写给人看的文本
  • 理论是工程可复用的根
  • 方法论让个人灵感变团队产出
延伸主题:如何判断问题的研究价值程序正确性证明入门从个人经验到方法论文献
10第 10 页 · 本节要点

课后思考

先自己写几句再看参考答案,三个问题对应回顾、应用、迁移三种深度。

1为什么「今天」和「昨天」的程序写法不同,但昨天的需求并没有消失?

参考答案「今天」和「昨天」对应的不是时间而是规模——硬件、人、约束都变了,所以今天的写法是昨天的超集,不是替换。

2如果让你用 OESPA 分析一款你熟悉的工具,你会怎么填这五个字母?

参考答案以搜索引擎为例:O=搜索目标、E=相关性算法、S=索引服务、P=查询解析、A=排序输出。重点想清楚 S 和 P 的边界。

3ARM 三要素里,哪一个在你见过的开源项目中最容易被忽视?为什么?

参考答案通常是 R(Reputation)最被忽视——大家关心代码与架构,但很少追问「这个项目在生态里被谁信赖、为什么信赖」。

11第 11 页 · 课后思考