理科生坠入情网故尝试证明

主演:
内田雄马,雨宫天,原奈津子,大森日雅,福岛润,置鲇龙太郎,麻仓桃
备注:
谁说理科生不懂爱情/理科生坠入情网,故尝试证明 完结
类型:
动漫
导演:
喜多幡彻
年代:
2020
地区:
日本
语言:
日语
更新:
2021-07-18 22:33
简介:
如果对研究充满热情的科学女孩和科学男孩坠入爱河怎么办?彩玉大学理科研究生的才女,冰室菖蒲向同一实验室雪村心夜告白。当然“喜欢”是没有逻辑根据的!但是,作为理工学专业的学生,“如果不能用逻辑证明自己的喜好,就不能说是喜欢,作为理科也不合格!”以那个信念为基础,两人卷进研.....详细
六零五
永久
最快
观看帮助:
有个别电影打开后播放需要等待,如果电影打开不能播放请刷新几下或者切换其他播放来源试试,祝观影愉快!
相关动漫
理科生坠入情网故尝试证明剧情简介
动漫《理科生坠入情网故尝试证明》由内田雄马,雨宫天,原奈津子,大森日雅,福岛润,置鲇龙太郎,麻仓桃主演,2020年日本地区发行,欢迎点播。
如果对研究充满热情的科学女孩和科学男孩坠入爱河怎么办?彩玉大学理科研究生的才女,冰室菖蒲向同一实验室雪村心夜告白。当然“喜欢”是没有逻辑根据的!但是,作为理工学专业的学生,“如果不能用逻辑证明自己的喜好,就不能说是喜欢,作为理科也不合格!”以那个信念为基础,两人卷进研究室的成员关于“恋”的定义的证明实验即将开始!约会实验,了解喜欢的构成要素,测量心率实验,情绪值的测量……个性过强的理科生们用逻辑证明“恋爱”有笑有心跳的理科爱情喜剧!
理科生坠入情网故尝试证明相关影评
@豆瓣短评

这个动画里面的理科梗比 Big Bang Theory 好玩多了,我随手总结了一下。

以下的时间点以B站版本为准。

第一集:

2:09 多项式归类算法: 多项式时间算法,即 polynomial time algorithm,是计算机科学中的一种时间复杂度。所有此类算法通常以 P 表示。著名的 NP = P 问题中的 P 就是指多项式时间。归类算法,即 clustering algorithm,一般指机器学习中的一系列算反,用于“相近的”数据点归类成一类。常见的算法有 k-means, Expectation-Maximization。

(有评论指出这个地方日文原文是 polynomial time reduction,字幕组在翻译的时候疏忽了)

2:15 汉密尔顿问题:以汉密尔顿命名的概念太多了。这个地方可能指的是图论中的 Hamiltonian Path Problem, 即在一个graph中找寻一个刚好经过每个 vertex 一次的 path。这是一个著名的 NP-Complete 的问题,所以男主是准备证明 P=NP 吗 www

2:18: 理查德卡普:Richard Karp, 加州大学伯克利分校的计算机科学家,对早期的算法复杂度问题有很大的贡献。

OP 里面有很多公式我懒得仔细看了。暂且跳过。

4:24:男主尊敬的人,冯诺依曼 (John Von Neumann),可能是人类历史上最后一个真正的理科全才。目标:诺贝尔奖。(所以你一个做 theoretical computer science 的人为什么想得诺贝尔奖啊!)

4:27: 男主在敲 LateX 哈哈哈。TeX 是斯坦福大学的 Donald Knuth 发明的一种文字排版软件,对数学公式排版提供了很多支持。是现在几乎所有理科PhD的必备技能。

4:31: 女主尊敬的人,艾米丽沙来特。这翻译的是个啥?我猜这里应该是 Emily Noether, 伟大的女性数学家,对抽象代数有杰出贡献。

7:47: 可判定问题,应该是指逻辑学中的 decidability。

7:55: 图灵计算表,即图灵机,turing machine。一种由图灵提出的计算模型。

14:25: 归无假设,即零假设,null hypothesis。统计学中的一种test,与之相对的是 alternative hypothesis。动画里面这段科普其实是很不错的,很intuitive。

18:55:汉诺塔, tower of Hanoi。一个很著名的数学小游戏。女二号这个地方说用渐化式解决了这个问题,我猜应该是 induction 或者 recursion 的意思。

第一集刚看完。先总结到这里。