万物皆数
毕达哥拉斯指出
世间万物之中 皆潜藏着数字
宇宙中的一切事物都遵循着数字的法则
所以 根据数字和计算
世间万物都可以被解明
那之后
本字幕由喵萌奶茶屋制作 仅供交流试看之用 请勿用于商业用途
无数的真理被众多杰出的理科人用数学的方法证明
翻译: 時の指輪 漠灵 雨眠 校对: 夕張メロン 时轴：Star Poi 后期: Poi 繁化: 错党
但是另一方面
至今未得到证明的事情依然留存了很多
在这个故事中
就是勇敢直面这些未解难题之一的
一群年轻人的故事
你应该吃一些更像样的食物 雪村
只考虑营养的话 这就足够了
稍微多晒晒太阳是有好处的
血清素缺乏会导致大脑迟钝
多管闲事
比起那个 你迟到了三分钟啊 冰室
两分钟 三十二秒
如果你的专业是理科的话
你需要有精确的时间观念
这种大话留着等你把三分钟落下的工作补回来再说吧
对我是个不错的激励吗不是？
比起那个 雪村
你不如快点找找多项式时间归约的算法
你的学术发表已经很近了吧
我已经有眉目了
只需活用哈密顿路径问题即可
哈密顿路径问题： 图上每个点经过且仅经过一次的路径 已经被证明是不可多项式归约问题
反正也就是抄袭理查德·卡普的证明吧
理查德·卡普：美国著名计算机科学家 计算理论科学家
虽然我有参考的他的成果 但我的证明是完全原创
不要用你的臆测来给问题定性
我很期待看你能展示出什么样丑陋的证明来
我会尽量把过程写的简洁易懂
以便让你的脑子也能够理解
对了 雪村
怎么了 冰室
我好像是喜欢你
Show me love？ 証明Now！
Show me love？ 证明Now！
どっちつかずの
界限不清的
曖昧 関係
暧昧 关系
許せないから
绝对不允许哦
「答えを求めよ」
「去寻找答案吧」
繋ぐ手と手の
二人紧握着手
パラドックス
Paradox
700万年前からの命題を
700万年前开始的命题
未だ誰も解けないらしい
似乎至今谁都未曾解开过
恋を定義する条件を
因为定义着恋爱的条件
みんな隠してしまうから
都被大家隐藏了起来啊
貴方に会いに行くルートならば
若是为了能够与你相见
最短経路描くアルゴリズムで I’ll go
我会写下最短路径的计算法则 I’ll go
Show me love？ 証明Now！
Show me love？ 证明Now！
はっきりさせて
快给我搞清楚啦
0か？ 1か？
是0 还是1
それが大問題
这最重要的问题
好きの右肩の
在「喜欢」右上角的
ダッシュが邪魔ね…
「′」太过碍眼
手と手 繋ぐ
双手 握紧
温度ならば
温度明明应该
平均 示す はずなのに何故？
平稳 表示 可是却又为何
グラフの右肩 上がり続けて…
向着图表的右上 放肆生长
解決出来ない
无法解决的
パラドックス
Paradox
研究生一年级
身高：177cm 体重：63kg
血型：O
兴趣爱好： 研究 阅读学术书籍
喜欢的食物： 有效率并且能获取营养的食物
喜欢的词语： 斩钉截铁
尊敬的人： 约翰·冯·诺依曼
将来的目标： 诺贝尔奖
约翰·冯·纽曼︰美籍犹太人数学家，现代电子计算机理论与博弈论的奠基者
什么
你刚刚说了什么
研究生一年级
冰室菖蒲
身高： 170cm 体重：？
血型：A
兴趣爱好： 研究 阅读学术书籍
香薰
喜欢的食物： 草莓 所有甜的东西
喜欢的词语： 比翼连理
尊敬的人： 埃米莉·杜·夏特来侯爵夫人
将来的目标： 菲尔兹奖
埃米莉·杜·夏特来侯爵夫人：法国数学家，物理学家，哲学家
我 好像喜欢雪村你
理科生坠入情网 请尝试分析
This subtitle is made by Nekomoe kissaten
我完全没有能够被称为恋爱经验的经历 但是…
冰室 你很聪明 并且我认为你是我的一个劲敌
如果硬要说的话 我感觉也不是对你没有好感
但是 我根本不知道我有没有喜欢上你
首先 喜欢的定义是什么
冰室是根据什么判断你喜欢上我的呢
是啊
没有可置信证据就做出结论 妄为理科生呢
即使理科生坠入情网 如果不明确定义也不会罢休
即使理科生坠入情网 如果不明确定义 就不会罢休
有过想要闻你的气味
有过想要被你闻到我的气味
无意识的目光追随你
在一起感觉很开心
钟情于你思考时的样子
判断冰室菖蒲喜欢雪村心夜的依据的构成成分的百分比的饼状图
在梦里梦到
在一起的时候心跳加速
其他
这就是我决定我喜欢你的证据
数字很难精确 你就当作是大概估值吧
在一起的时候心跳加速
还有在梦中出现
我懂了
但是根据这些证据进行判断不过是基于你的主观意见
是的
所以我们临时这样定义一下
此时、冰室菖蒲对雪村心夜的感情是
【喜欢′】
我们先这样假定
那这样我们就需要证明「喜欢」等价于「喜欢′」
那么这个证据可以扩展到一般性的「喜欢」吗
这样看来的话一般性很强的要素很多
「钟情于你思考时的样子」这条好像有些不同…
干什么
没什么
我开始对你有强烈的意识的时候是在4月12日第一次梦到你的时候
我把频数画成了图表
就是因为梦到了就会注意到我吗
就算是我也会在梦里梦到冰室和其他的人
在梦里你和我发生了什么？
这个情报是必要的吗
告诉我 准确的信息越多越有利于解决问题
我们 当时牵了手
我们把信息正确地重新记录一下
在梦里梦到-> 在梦里梦到牵了手
模糊不清的表达方式会对我们的分析造成…
雪村也说了你也梦到过我吧
在梦中和我发生了什么？
这个情报也是必要的吗
准确的信息越多不是越有利于解决问题吗？
我们当时牵了手
什 你说什么
这个共同点 是因为偶然吗
目前还不能下定论
但是这可能是有关联性的
即使理科生坠入情网 进展也会比乌龟还慢
早上好！
冰室学姐 雪村学长！
本科生四年级
奏言叶
身高 ： 162cm 体重： ？
血型 ： B
兴趣爱好 ： 做点心 少女漫画
喜欢的食物 ： 点心 糖
喜欢的话语 ： 平稳无事
尊敬的人： 中学时期的班主任峡山老师
将来的目标： 考虑中
今天来的也很早…
也就是说恋爱的行为是可以被形式化成这样的判别问题的
A 喜欢 B （A,B 属于人类） 可以被证明吗
在一起的时候心跳加速
列出具有一般性的喜欢的条件
梦到他
钟情于他思考的身姿
在一起的时候很开心
无意识的目光追随者他
等待对方的邮件回信
会不时地想是不是做错了什么
如果可以构造出这样一个图灵机
图灵机：是将问题抽象化的一种计算模型 用来判断问题是否可解
输出喜欢
输出不喜欢
也就是说可以证明我是不是喜欢雪村吗
不仅如此 还可以用来判断我是否喜欢冰室
这真是比预想的还要有趣的研究课题啊
我本来还以为恋爱只是给那些输给冲动和欲求的笨蛋的事情
但是恋爱说到底就是数字和数据的集合体啊
这场恋爱 是0还是1
我们来证明吧
这对蠢货情侣在讲些什么啊
他们没问题吧？
雪…雪村
果然做这种事情是不行的啊
这是在实验的中途 不要逃 冰室
雪…村
好的 实验结束
在下午3点27分开始的10秒钟
进行了被称为壁咚行为的实验
嗯 不好说啊
由于紧张的浑身颤抖 声音波动
雪村 很明显你完全不适应这种事情啊
我才没有问这种事情呢
重要的是你的心率 如何啊
心率147
与全力冲刺相当了啊
虽然你嘴上一直在抱怨 但是心率还是很诚实的吗
总之
如果我们一直做这样的实验的话
我们可能就能够证明了
我到底是不是喜欢雪村
让我们做下一个实验吧
嗯…如果要说那两个人到底在干什么的话
让人觉得一个人喜欢对方的条件吗…
奏的话 什么情况会觉得自己恋爱了呢
我 我吗？
我想想…
在这种时候
如果感到心脏砰砰跳的话 大概就是这样的事情
心脏砰砰跳？
也是冰室列出来的一个喜欢的条件
是的 就是那个
心率
如果我们测试心率的话
我们就可以量化恋爱中的悸动心情
理科生总之 如果问题能够被转化为数字就会感到安心
快去准备一个心率计
理科生总之 如果问题能够被转化为数字就会感到安心
我们立刻开始实验
明白
那么
让我们继续进行「喜欢的人做了 我就会心跳加速」的事情吧
是啊 壁咚的下一件事情是…
不知道
零恋爱经验
这种时候就让我们到网络上查查吧
虽然网络上的信息来源不可信 我并不喜欢
但是也没有别的选项了
抬下巴
好像30°到40°之间是理想的角度
和人工呼吸时采用的手法一致
应该是为了保证气管通气顺畅吧
挽袖口
从身后卷起对方的袖子
这种行为有什么意义吗？
但是这里有说身高差23cm是最理想的
从这颇为具体的数值来看
说不定也是有确切学术性根据的行为
嗯 还有呢
炸红薯？
要做这件事我们还需要准备炸红薯呢
如果我的假说是正确的话
雪村 把眼镜摘下来？
什么假说？
冰室视角
给我说明一下
是正确的
所以说是啥
别管了来做下一项实验
虽然试了很多实验
但是果然进行能缩短两人距离的活动的时候
心率确实有上升的趋势
怎么了？ 已经累趴下了吗？
那么这种状态就是挨的最近的了吧
让我们这样待一会儿
时间越长我们就能收集越多的数据吧
虽然是这样 但是
这女人竟然给我睡着了！
怎么办 是不是应该终止实验
竟然给我露出这么幸福的表情！
这么香甜的气味 到底是怎么构成的啊
我们尝试了各种各样的场景
这是实验中冰室的心率
在所有的场景中都出现了非常高的数据
我有问题！
为什么最后好像有段就像挂了一样的 非常放松的时间段
不要在意那个
只是一个预料外事态
总之 冰室学姐心跳加速这是无可置疑的事实
这已经可以确定是喜欢了啊
要下这个结论还很早
为什么呢
奏 一定要记住
实验结果不能因为方便就被轻易解释
比如说这幅漫画
一眼看上去好像这个女人恋爱了
大量排汗 心率升高 面露潮红
从这些事情上能想到的是？
可能是青年性更年期障碍？
正是如此！
是你个头啊
恋爱情感
兴奋、愤怒、羞耻
压力
发热导致体温上升
低血压，心脏异常
强烈的痛感
兴奋 压力 发热
心跳加速有各种各样的原因呢
所以不能说本次实验中的心跳加速
肯定是由恋爱所导致的呢
假说A
在本次实验中
我们不能判断是因为由于我的壁咚而心率上升
假说B
还是因为除了我的壁咚意外的原因而偶然的心率上升
但是如果说这种事情的话
无论怎么做实验都没法确定了哦
是啊
但是我们再试着多做几组实验
如果第二次实验我也有心跳加速发生
假说B偶然的心率上升比只进行一次实验相比
不认为可能性低了很多吗
虽然是这样 但是
如果我们持续在实验中得到相同的结果
假说B的可能性就会越来越低
假说B
雪村的壁咚意外的原因偶然性的心跳加速
假说A
因为雪村的壁咚而导致心跳加速
像本次这样 我们想证明假说A就需要否定假说B的情况
被称作「零假设」
零假设
为了能让愚蠢的人类们明白
大家的偶像 理科kuma
会给大家进行简单的说明kuma
零假设 是一种统计学中应用的假设方式
将你想要的证明的假设取反kuma
假设你想要的证明所有的乌鸦都是黑的kuma
所以你找到了100只乌鸦 全部都是黑的kuma
但是… 「彩虹色的乌鸦也是存在的 只是你没有找到」
就可能会有这么说的烦人的家伙kuma！
烦死了kuma
这种时候建立一个否定假说的不可能的条件
乌鸦有黑色的和彩虹色的一半对一半
这就是零假设
这样的话连续一百个乌鸦都是黑色的概率比
陨石砸到脑袋的百亿分之一的概率都要低
那样如果黑色有90% 其他的乌鸦是荧光桃色的假说如何kuma？
即使如此连续100个黑色乌鸦的概率
大概是0.00265%kuma
果然是不可能的kuma
当黑色乌鸦的概率达到97.1%的时候
100只乌鸦全黑的概率超过5%
终于勉强让人觉得存在可能性kuma
在统计学中 发生概率低于5%的都可以被认为是不可能的kuma
零假设由此来否定否假设来证明原假设 kuma
好TM麻烦kuma
由此 为了让概率降至5%以下
我们再做60多次壁咚就够了
那样的话不光是我 连雪村的心率也要让我测一测
你们一辈子就搞这个好了！
我回来了
从别的视角来分析这个问题是不是会更好一些
为什么啊
辛苦啦
啊 奏
怎么了嘛
你们看上去在苦战的样子啊
是的
从那之后我继续和冰室进行壁咚实验
最开始很明显的看到心率上升
但是随着次数的增加
渐渐地看不到上升的趋势了
啊 她是习惯了吧
在那之后 以防万一进行了连续100次壁咚实验
心率几乎完全和平时一样 没有了波动
当然了吧
那个 最开始确实有心跳剧烈的感觉
也确实会觉得「我果然是喜欢这个人的啊」
从中途开始
我就开始觉得「这家伙到底在干什么啊」
这样的话完全无法显示被壁咚时和平时的心率差了啊
难不成 那真的是偶然的吗？
关于那件事 雪村…
我稍微有点在意
将实验录像用motion capture进行分析
发现了一个非常令人吃惊的结果
什么
看这个
这 这是…
动作的取样点惊人的一致！
正是如此
当你连续进行壁咚动作的时候 就已经不是壁咚了
简单来说雪村在做的事情是…
推墙啊
原来如此
然后推墙并不是一个能让女性心跳加速的行为
心率没有上升原来是因为这个啊
才不是了啦
你为什么就不懂啊
什么？
那是关于心情的问题啊
说起来恋爱啊
根本就不是能够用数字和数据进行测量的东西
你的根据是什么？
如果有反例的话具体的说出来！
高中的时候
我们数学老师每天都会给我们讲数学谜题
我认为那些谜题非常有趣
高桥老师
你有什么问题吗
那个 关于汉诺塔的问题
我使用递归关系试着解了一下 您能帮忙看一下吗？
就是这样
2的n次方减1
解得不错啊 奏
听好了 从这里开始就变得有趣了
如果根据经验将…
他那么帅又那么喜欢谈论数学
嗯 我有点喜欢上了我的老师
从那之后我就希望老师关注到我
就努力学习数学
拜此所赐就变成了一名理科生
不可思议吧
为了能和喜欢的人待在一起什么事都可以努力
我想我懂你的意思了
喜欢上一个人
大概就是这种情况了吧
嗯嗯？ 所以 就是…
我想说的就是…
沉浸在某件事情当中的人非常棒
为了在一起无论什么都可以努力
这时奏言叶对高桥老师
「喜欢′｛奏 love, 高桥｝」
假定（喜欢′奏love高桥）
就是这个吧
不要随随便便就下奇怪的定义啊
奏 除此之外目前为止你喜欢过的人有几个？
那个 有两三人…
话说你想要让我说些啥啊
奏所提供的的情报是非常有意义的
你的意思是？
奏的喜欢和冰室的喜欢中可能有共同点
如果和别的恋爱感情中也有共同点的话
喜欢′｛冰室Love雪村｝交 喜欢′｛奏love高桥｝交
喜欢′｛奏love, x｝交 喜欢′ ｛奏love, y｝
这样就和喜欢的一般性条件很接近了
能不能不要一句话说那么多遍「奏love」啊
因此
你要给我列出你迄今为止有关恋爱的所有细节和要素
对我而言难度太高了啊
给我适可而止 雪村
你在搞什么冰室！
那种事情 对于普通人来说是会害羞的啊
跟那种事情有关系吗？
你也知道自己不是普通人啊
这是非常重要的数据啊
虽然是这样 但是你逼得太紧了
所以你才会没有朋友啊
如此能够明确冰室的恋爱感情的话
我才不会在乎我被人家怎么讨厌呢
不做出牺牲是不会有成果的
如此 理科男女开始了他们的重大的实验
因为一点自负 自傲 自羞而唯唯诺诺的人…
最终这份恋爱能够被证明吗？
你在听我说话吗冰室？
あー、恋の定義がわかんない
啊 搞不懂恋爱的定义
まずスキって基準もわかんない
首先喜欢的基准都弄不清
要は、恋してるときが恋らしい
总之 心动的时候就像是在恋爱
客観？ 主観？ エビデンスプリーズ！
客观？ 主观？ Evidence, Please!
愛は計算じゃ解けない
爱没法用计算来解答
まず普通の計算も解けない
首先普通的计算都没法解答
要は、そんな状態が愛らしい
总之 那种状态似乎就是爱
アイノウ？ ユーノウ？
I know? You know?
もう大抵の事象において Q があって A を出して解けるのに
明明在多数的情况下 都可以通过Q得到A
勘違って間違って 解のないこの気持ちはなんだろう (検証 is 不明瞭)
误会搞错 这不可解的心情到底是什么（验证is不明确）
DAZING！！ モーションは相対性にステイ
DAZING！！Motion Stay在相对论
チューリングラブ 見つめあったって解けないメロウ
Turing Love 互相对视也无法解开的Mellow
ワットイズラブ いま 123 で証そうか
What is Love 现在可以用123来证明吗
言葉で生み出すクエスチョン (クエスチョン！)
这由语言而孕育的Question （Question！）
ハートで高鳴るアンサー (アンサー！)
猛跳的心脏就是Answer （Answer！）
測ったって不確定性 ぼくらの BPM
测也测不准的 我们的BPM
チューリングラブ 宙に舞ったって信じないけど
Turing Love 即使漫天飞舞依然无法相信
フォーリンラブ いまは ABC すらバグりそうだ
Falling Love 即使连ABC都要出现BUG
なんでか教えてオイラー (オイラー！)
请告诉我吧 Euler （Euler！）
感想きかせてフェルマー (フェルマー！)
聆听我的感想吧 Fermat （Fermat！）
予測不可能性 いま触れてみる
即使无法预测 我现在就要去试着触碰
さあ証明しよう (証明しよう) 間違いのないように
来吧 来证明吧 （来证明吧） 可不能搞错了
証明しよう (証明しよう) この感情全部全部
来证明吧 （来证明吧） 这份感情全部的全部
証明しよう (証明しよう) 正解があるなら
来证明吧 （来证明吧） 如果有正确答案的话
証明しよう (証明しよう) シンプルな Q.E.D.
来证明吧 （来证明吧） 简单的Q.E.D
不好
理科生坠入情网 请尝试实验之
This subtitle is made by Nekomoe kissaten
下一集 证明2
理科生坠入情网 请尝试实验