《理科生坠入情网故尝试证明》是由山本阿里弗雷德创作的同名漫画改编而来的动画作品。该动画由
喜多幡彻执导，
内田雄马和
雨宫天配音。动画由
ZERO-G制作，于2020年1月10日起每周五在TOKYO MX、BS11、
AT-X首播，全12话。
内容情节
彩玉大学理科研究生的才女，冰室蒲向同一实验室雪村心夜告白。当然“喜欢”是没有逻辑根据的！但是，作为理工学专业的学生，“如果不能用逻辑证明自己的喜好，就不能说是喜欢，作为理科也不合格！”以那个信念为基础，两人卷进研究室的成员关于“恋”的定义的证明实验即将开始！约会实验，了解喜欢的构成要素，测量心率实验，情绪值的测量，个性过强的理科生们用逻辑证明“恋爱”有笑有心跳的理科爱情喜剧。
登场角色
理工学研究科
雪村心夜（雪村 心夜（ゆきむら しんや））
配音：
内田雄马、
大地叶〈幼少期〉／
熊谷健太郎（TVCM），演员：
西铭骏国立彩玉大学理工学研究科大学院1年级生。23岁，身高177cm。习惯将一切事物加以定义及证明的天才型理科男。不擅长应付女性，虽然很关心后辈却也很严厉，且总是为了研究与实验而不择手段或是忽略他人心情（不正经的方面）。也会因过于理性分析而对感情方面的事情较为迟钝，与
冰室因此争吵过。不弄清楚世界的任何现象系统的话心情就会不舒畅。目前正在和冰室
菖蒲相恋。
冰室菖蒲（冰室 菖蒲（ひむろ あやめ））
配音：
雨宫天／
日笠阳子（TVCM），演员：
浅川梨奈国立彩玉大学理工学研究科大学院1年级生。23岁，身高170cm。喜欢
雪村心夜的理科女子。在年幼时期曾与雪村有一面之缘，因而向往成为理性又自信的理科生，任何时候都保持冷静沉着以及敏锐的思维；不过也有少女的一面，擅长料理。喜欢跟雪村撒娇，若雪村跟其他女性亲近便很容易吃醋，也为雪村的研究狂性格着迷却又困扰。对
冰室来说，和雪村研究讨论是最无可替代的时光；因此就算确定了“喜欢”的定义以及两人是喜欢对方的，两人目前仍然正在继续“好感度”的研究。目前正在和
雪村相恋。
奏言叶（奏 言叶（かなで ことのは））
配音：
原奈津子／
三上枝织（TVCM），演员：
矢野优花国立彩玉大学工学部情报科学部4年级生。22岁，身高162cm。虽然支持冰室与雪村的恋情，但也时常对前辈们对恋爱过于理性的行为感到无语。吐槽担当。因为成长的种种经历，十分执著于自己是否“普通”。
高中时喜欢当时的数学老师高桥，也是现今喜欢数学的原因。在第二季12话中被式城绑架，后被雪村救出，并在绑架事件过后向池田研究室的大家表达自己喜欢上雪村的事实。
棘田惠那（棘田 那（いばらだ えな））
国立彩玉大学理工学研究科大学院2年级生。24岁，身高142cm。虎辅的青梅竹马。室内派，极度热爱游戏的
小恶魔系，喜欢穿着哥德萝莉塔样式的服装。虽然个头
矮小症，但总以大姐姐姿态玩弄其他后辈，尤其是虎辅。似乎有些傲娇，会在背后做出努力而不明说，有时也会以前辈的身份给予后辈建议。虽然不常表现出来，但其实十分重视虎辅。在漫画第71集跟棘田告白。
犬饲虎辅（犬饲 虎辅（いぬかい こすけ））
国立彩玉大学工学部情报科学部4年级生。22岁，身高179cm。和棘田是青梅竹马，无法违抗棘田。小时候被棘田影响而沉迷美少女游戏，对美少女游戏中的角色深深着迷，但也非常重视棘田，甚至现今所喜欢的游戏角色与她十分相似。现今则因为常常被棘田戏弄而对她抱持着恐惧，但平时相处时又如亲友般轻松无压力，也不愿看到她受到伤害。最近似乎渐渐在意起棘田。
池田嘉信（池田 嘉信（いけだ かしん））
国立彩玉大学理工学研究科，数理科学情报部门教授。49岁，身高185cm，已婚。池田研究室的指导教授，肌肉发达，能够隔空将西瓜切开。脸上总是挂着笑脸，平时平易近人，生气时会非常可怕，肌肉也会增大。有着
健忘与少根筋的一面，却也很关心学生们。
山本亚梨华（山本 亜梨华（やまもと ありか））
池田研究室毕业生，目前职业为漫画家。身高165cm。与棘田是旧识。得知雪村与冰室的恋爱研究后，决定将其画成漫画。为了漫画题材可以不择手段，无论是贬低自己或他人也在所不惜。
其他角色
蓝香（蓝香（あいか））
虎辅喜欢的美少女游戏角色。
理科熊（リケクマ））
一只熊模样的角色，在节目中负责向观众解说专业的科学用词。
藤原翠雨（藤原 翠雨（ふじわら すいう））
国立彩玉大学生体制御学科大学院2年级生。
克里斯·弗洛瑞德（（クリス・フロレット））
国立彩玉大学生体制御学科大学院2年级生。
神谷圆香（神谷 香（かみや まどか））
国立彩玉大学教育学院学生。
谷口祥贵（谷口 祥贵（たにぐち しょうき））
配音：大久保贵
国立彩玉大学教育学院学生。
加纳星条志（加纳 星条志（かのう せいづゅうし））
配音：近藤浩德
东京
理工科大学数理情报工学部长。加纳研究室的指导教授，主持冲绳研究室集训。兴趣是剑道，经常随身携带竹刀。
式城直哉（式城 直哉（しきじょう なおや））
东京理工科大学数理情报工学科加纳研究室学生。雄一的朋友，与奏、虎辅参加同一场冲绳研究室集训。在第二季12话中绑架了奏，其后赶来的雪村救出了奏，并因绑架事件而被警察带走。
雄一（雄一（ゆういち））
配音：近藤雄介
喜欢向女性搭讪男子。曾搭讪正做约会实验的冰室，被暴怒的雪村赶走。后在
冲绳县海滩上想找棘田聊天，被虎辅一拳打倒。
电视动画
《理科生坠入情网故尝试证明》的电视动画改编由ZERO-G制作，第一期动画于2020年1月11日首播。第二期动画标题新增了“r=1-sinθ”，并于2022年4月1日开始播放。
制作人员
原作：山本アリフレッド
系列构成：池田临太郎
总作画监督：五十内裕辅、牛岛勇二
道具设计：新谷真昼（第1期）、狩野都（第2期）
美术监督：坂上裕文
美术设定：松山爱子
撮影监督：田中浩介
音乐：hisakuni、平田祥一郎、大冢郁、高桥修平、曾木琢磨、桥子
音乐监督：今泉雄一
音乐制作人：松原宪、横山学（第1期）
制片人： 第1期：蓝亮、高木隆行、内林大道（证明5 - 证明12）、本木円、角田博昭、横山学、伊达光良、大和田智之、白井有希子、铃木良兵、渡边亚依、青木伸吾、成田拓也、山下友浩 第2期：中里浩彰、纪东辉、川名悠太、林信仁、宫田芳史、内林大道、本木円、田坂健太、铃木良兵、小田学、大森慎司、白井有希子、栗田ひろ子、川野和贵、米谷陵、成田拓也、尾崎乃香
动画制作人：渡边隆之
动画制作：ZERO-G
制作：动画“理恋”制作委员会
主题曲
第一季
片头曲“PARADOX”
作词：藤原优树，作曲、编曲：富田一辉、ブラスアレンジ、松原宪，主唱：
雨宫天片尾曲“チューリングラブ feat.Sou”
作词、作曲、编曲：Nayutan星人，主唱：ナナヲアカリ
第二季
片头曲“Love-Evidence”
作词：上坂梨纱、西野，作曲：saku，主唱：雨宫天
片尾曲“ビビっとラブ”
作词、作曲、编曲：HoneyWorks，主唱：
CHiCO with HoneyWorks meets
mafumafu