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

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

名古屋大学 信息学部的研究室

75个研究室 · 0条学长学姐评价

名古屋大学的本科院系 ›

• 计算机科学科29
• 自然信息学科27
• 人类・社会信息学科19

結縁・中澤研究室（SQLAB）

結縁 祥治 教授

学长学姐的评价 0条

用数学方法保证程序正确性的研究室。

結縁・中澤研究室致力于研究如何用数学方法证明程序满足特定性质，以保证程序按照开发者的意图运行。 由于输入通常有无穷多种，不可能对全部输入进行测试，因此该研究室研究模型检验、抽象解释、类型系统等方法。 此外，该研究室还研究通过可逆执行提高软件可靠性、用代数学刻画形式语言的理论，以及实时并发系统的开发方法。 该研究室隶属于名古屋大学信息学研究生院信息系统学专业。

#程序验证 #可逆并行编程 #形式语言理论

保存

---

软件论讲座 楫 勇一研究室

楫 勇一 教授

学长学姐的评价 0条

探究密码与签名安全性的研究室。

楫 勇一教授的研究室专门研究信息论与信息安全。 该研究室研究密码和数字签名能够在多大程度上抵御攻击，即其安全性。 该研究室着眼于量子计算机的实用化，致力于改进数字签名，并研究针对同态加密的攻击。

#信息安全 #信息论 #基于哈希的签名

保存

---

森崎研究室

森崎 修司 副教授

学长学姐的评价 0条

证明软件安全性与持续性的客观技术研究室。

森崎研究室研究的是，客观证明软件具备产品和服务所需的安全性、持续性等价值的技术。 通信、金融、网购、交通运输、汽车、卫星、家电等，在社会生活的方方面面，软件都已成为不可或缺的存在。 该研究室的研究涉及对软件开发与运维流程的全生命周期（包括需求、设计、制造、测试、维护和运行）提供一以贯之支持的技术。

#可靠性保障 #软件开发 #运维流程

保存

---

村瀬研究室（Murase Laboratory）

村瀬 勉 教授

学长学姐的评价 0条

该研究室致力于打造随时随地都能舒适通信的网络。

村瀬研究室从事移动网络基础技术的研究。 该研究室作为名古屋大学信息基盘中心信息基盘网络研究部门的应用网络研究小组开展活动。 该研究室同时也是信息学研究生院信息系统学专业的协力讲座，学生隶属于信息学研究生院。 该研究室致力于实现“随时随地都能舒适通信”的相关研究。

#拥塞控制 #通信质量 #无线局域网

保存

---

片桐研究室（高性能计算・自动调优）

片桐 孝洋 教授

学长学姐的评价 0条

连接生成式AI与高性能计算的研究室。

片桐・星野研究室以高性能计算（HPC）为核心，研究生成式AI、数值计算以及软件自动调优。 该研究室将从“由人编写一切的HPC”转向“人与AI协同进行设计、生成、验证和优化的HPC”这一转变作为研究对象。 研究室利用超级计算机，开展超大规模并行计算、大规模机器学习、GPU计算以及量子计算机相关技术等方面的研究。 本科生在信息学部计算机科学科四年级分配研究室时，可以填报该研究室为志愿。

#高性能计算 #生成式AI #自动调优

保存

---

情报网络系统论讲座 嶋田 創研究室

嶋田 創 副教授

学长学姐的评价 0条

该研究室探索网络安全与计算机体系结构。

嶋田 創副教授的研究室研究网络安全、网络空间安全、网络运维和计算机体系结构。 在网络安全方面，研究恶意通信的检测与分类以及服务器的保护；在网络空间安全方面，研究恶意软件的检测与分类以及威胁情报的自动收集。 在网络运维方面，研究特征提取和OpenFlow。 在体系结构领域，研究计算机体系结构、低功耗体系结构、可依赖（Dependable）体系结构和处理器体系结构。

#网络安全 #网络安全 #计算机体系结构

保存

---

软件论讲座 濱口 毅研究室

濱口 毅 助理教授

学长学姐的评价 0条

研究采用形式化方法进行软件开发的研究室。

软件论讲座的濱口毅老师以采用形式化方法的软件开发为研究课题。 所属单位为名古屋大学信息学研究生院信息系统学专业。 所担任的课程有离散数学习题课、非过程式语言习题课、计算机科学实验1和计算机科学实验2。

#形式化方法 #软件开发

保存

---

井手研究室（Contents Science Lab）

井手 一郎 教授

学长学姐的评价 0条

结合视频、语音和文本进行理解的多媒体处理研究室。

井手研究室以视频为中心，研究包含图像、文本和语音在内的多媒体数据处理。 视频不仅包含图像，还包含文本、语音和声学信息，只有综合理解各种媒体，才能真正有效地处理视频。 该研究室与名古屋大学的村瀬洋教授、国立情报学研究所的佐藤真一教授等合作开展视频处理研究。 该研究室在信息学研究生院智能系统学专业招收学生。

#图像处理 #综合媒体处理 #数据挖掘

保存

---

戸田研究室（语音・声学信息处理）

戸田 智基 教授

学长学姐的评价 0条

研究语音、音乐和环境音信息处理的研究室。

戸田研究室研究语音信息处理、音乐信息处理和声环境信息处理。 在语音方面，研究内容包括改变音质的语音转换、语音合成、语音识别、语音对话和语音翻译等。 在音乐方面，研究歌声的转换与合成、自动记谱和乐曲的音源分离；在声环境方面，研究声学事件识别、异常声音检测和音源分离。 本页面是戸田教授的个人网站，该研究室的主页另有单独的网站。

#语音转换 #歌声合成 #音源分离

保存

---

出口研究室（基础智能信息学讲座（出口））

出口 大輔 副教授

学长学姐的评价 0条

识别并理解视频与图像的模式识别研究室。

出口研究室以视频和图像的识别与理解为核心，开展模式识别研究。 该研究室以增强并辅助人类的视觉功能为大目标，分为以人为对象的人感知组和以汽车周围环境为对象的环境感知组，分别开展研究。 人感知组通过人物检测和行为识别等研究让生活更加便利，环境感知组则利用汽车的传感器，研究如何辅助安全舒适的驾驶。 在研究室的网站上，该研究室以“基础智能信息学讲座（出口）”的名称进行介绍。

#模式识别 #图像与视频识别 #驾驶辅助

保存

---

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