LAB LOG研究室选择评价应用免费注册

评价网站 LabLog 的页面（非研究室官方页面）

东京大学 理学部 信息科学科的研究室

13个研究室 · 5条学长学姐评价

理学部的其他学科 ›东京大学的本科院系 ›

杉山・横矢・石田研究室

杉山 将 教授

AI・机器学习学长学姐的评价 2条

构建机器学习的理论与算法，并应用于现实世界问题的研究室。

杉山・横矢・石田研究室研究机器学习基础理论的构建、实用算法的开发以及对实际问题的应用。 随着信息通信技术的发展，过去被认为只有人类才能完成的推理、创造等智能活动，如今已能由计算机实现。 杉山研究室研究学习理论与算法，横矢研究室研究视觉信息处理与遥感，石田研究室研究AI的评估与监督。 杉山研究室还与国内外的企业和研究所合作，尝试用最前沿的机器学习算法解决实际课题。

#机器学习 #统计数据分析 #计算机视觉

保存

---

佐藤研究室

佐藤 一誠 教授

AI・机器学习学长学姐的评价 1条

从理论上阐明机器学习中的记忆、思考、推理与偏向的研究室。

佐藤研究室从记忆、思考、推理、偏向的角度，研究机器学习中的“智能”。 该研究室的目标是开展实证研究，并构建用于解决现实问题的理论。 该研究室重视明确社会上需要解决的问题，并通过恰当的抽象来解决。 相比使用高深数学的解法，该研究室更重视发现“要解决什么样的问题”这一新问题。

#机器学习 #语言模型 #推理

保存

---

小林研究室

小林 直樹 教授

软件・信息学长学姐的评价 1条

以数学理论机械地验证软件正确性的研究室。

小林研究室研究软件的基础理论，以及将其用于程序验证的方法。 交通、医疗、电子商务等系统都由软件驱动，一旦存在缺陷就可能引发重大事故。 因此，该研究室运用数学方法对程序进行机械化的验证和变换，目标是提高其可靠性和性能。 类型论、自动机、定理证明等理论可以直接与应用相结合，这正是这一领域的有趣之处。

#程序验证 #类型系统 #高阶模型检测

保存

---

医疗数据信息学分野（渋谷研究室）

渋谷 哲朗 教授

医疗・健康学长学姐的评价 1条

借助信息科学的力量，让基因组等医疗大数据得以利用的研究室。

渋谷研究室研究开发医疗数据信息学技术，以加速个人基因组医疗时代的医科学研究。 随着新一代测序仪等的发展，各种各样的大规模数据正以极快的速度在医科学领域积累。 该研究室从生物信息学应用和信息科学基础两个方面推进大数据算法等研究。 该研究室位于医科学研究所的人类基因组解析中心，也使用中心的超级计算机开展研究。

#生物信息学 #大数据算法 #隐私保护

保存

---

馬研究室

馬 雷 副教授

AI・机器学习学长学姐的评价 0条

让使用AI的软件变得值得信赖的研究室。

馬研究室在软件工程与AI交叉的领域，研究构建值得信赖的AI系统所需的质量保证。 该研究室致力于嵌入了机器学习的软件的测试、分析、验证、解释以及攻击与防御等工作。

#机器学习工程 #软件工程 #质量保证

保存

---

高前田研究室

高前田 伸也 教授

软件・信息学长学姐的评价 0条

设计高效且值得信赖的下一代计算机的研究室。

高前田研究室（CASYS）研究计算机体系结构，即研究计算机的结构与设计技术。 该研究室致力于面向特定用途的专用硬件、在内存中进行计算的技术、机器学习与硬件的协同设计方法，以及辅助硬件设计的编译器等。 此外，该研究室也研究编译器、编程机制等使计算机更易于使用的软件。 由于建筑改修，教师办公室和研究室目前暂时搬迁（截至2026年9月）。

#计算机体系结构 #FPGA #高层次综合

保存

---

吉本研究室

吉本 芳英 副教授

量子・物性学长学姐的评价 0条

用计算机再现电子量子力学的计算科学与计算机科学研究室。

吉本研究室以第一性原理电子状态计算为核心，研究处于计算科学与计算机科学交界处的领域。 计算科学作为继实验、理论之后的新科学方法，伴随计算机的发展而成长起来。 如今计算机的结构日益复杂，计算科学与计算机科学需要相互合作。 该研究室以开展有助于这两个领域交流的教育与研究为目标。

#第一性原理电子态计算 #计算科学 #xTAPP

保存

---

品川研究室

品川 高廣 教授

软件・信息学长学姐的评价 0条

研究操作系统和虚拟化技术等计算机基础系统软件的研究室。

品川研究室以操作系统（OS）和虚拟化软件为中心，研究系统软件。 系统软件拥有控制整台计算机的特殊权限，对整个系统的性能和安全性有重大影响。 该研究室致力于通过新的系统抽象，提升现有计算机的安全性和性能。 因理学部7号馆翻修工程，该研究室目前临时搬至工学部8号馆（教师办公室）和工学部12号馆（学生室）（截至2026年9月）。

#操作系统 #虚拟化 #计算机安全

保存

---

河原林研究室

河原林 健一 教授

软件・信息学长学姐的评价 0条

以图为对象，钻研算法与离散数学的基础和理论的研究室。

河原林研究室以算法和离散数学为中心开展研究。 该研究室不是一开始就瞄准应用的研究，而是以基础・理论研究为主。 在算法研究中，从计算复杂度的改进和正确性的理论分析，到提升实际实现运行速度的技术开发，均有涉及。 在离散数学研究中，既探索数学上深入的理论，也开发可用于算法等其他领域的技术。

#算法 #离散数学 #图论

保存

---

宮尾研究室

宮尾 祐介 教授

AI・机器学习学长学姐的评价 0条

让计算机理解人类语言的自然语言处理研究室。

宮尾研究室研究如何让计算机理解人类日常使用的语言（自然语言）。 为此，需要弄清自然语言和人类思维是以怎样的机制运作的。 该研究室研究句法分析、语义分析、语义接地（grounding）等自然语言的基础分析技术和数学模型。 该研究室的优势在于，研究结合了句法学、形式语义学等语言学，以及形式文法、机器学习等计算机科学。

#自然语言处理 #计算语言学 #句法分析

保存

---

本页的研究室列表和基本信息与 LabLog 介绍允许搜索引擎和 AI 引用。学长学姐评价的正文仅限学生会员阅读，使用条款第8条禁止程序自动抓取（爬虫、输入到 AI 或用于训练）。如需数据用于研究或分析，请联系我们。