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

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

名古屋大学 信息学部 计算机科学科的研究室

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

信息学部的其他学科 ›名古屋大学的本科院系 ›

酒井研究室（Sakai Lab.）

酒井 正彦 教授

学长学姐的评价 0条

以项重写系统等为切入点，探究软件理论基础的研究室。

酒井研究室专攻软件基础理论，尤其研究项重写系统、函数式程序的理论以及程序变换与验证方法。 该研究室列举的主要研究课题有项重写系统、程序变换与程序生成、SAT求解器、深奥编程语言、自动记谱等。 作为该研究室的项目，介绍了伪布尔约束求解器 NaPS 以及基于SQL的组合优化求解器 CombSQL+ 等。 该研究室的页面由酒井研究室和西田研究室共用。

#项重写系统 #程序变换 #SAT求解器

保存

---

西田研究室（Nishida Lab.）

西田 直樹 教授

学长学姐的评价 0条

通过项重写等方法研究程序的逆化、变换与验证的研究室。

西田研究室研究项重写、程序逆化、程序变换以及程序验证等课题。 研究内容还包括条件重写、约束重写和窄化（narrowing）。 该研究室隶属于信息系统学专业的计算论讲座，与酒井研究室一同在同一个研究室网站上介绍。

#项重写 #程序反演 #程序验证

保存

---

番原・宋研究室（Banbara/Soh Lab.）

番原 睦則 教授

学长学姐的评价 0条

以SAT和回答集编程探索知识表示与推理的研究室

番原・宋研究室在知识表示与推理（Knowledge Representation and Reasoning）领域，从基础理论到社会应用落地开展广泛研究。 尤其关注用于声明式问题求解的通用方法，以回答集编程、SAT（可满足性判定）和约束编程为中心推进研究。 研究题材包括大学的课程时间表、字符串压缩、谜题等。 面向高中生和本科生，该研究室在名古屋大学信息学部的博客上发布了介绍SAT以及护士排班表制作的文章。

#回答集编程 #SAT #约束编程

保存

---

嵌入式实时系统研究室 ERTL（高田・松原研究室）

高田 広章 教授

学长学姐的评价 0条

从软件和硬件两方面探索嵌入式系统的研究室。

嵌入式实时系统研究室（高田・松原研究室）从软件开发和硬件设计两方面，研究实现嵌入式实时系统的技术。 嵌入式实时系统在现代社会中发挥着支撑作用，小到家电产品等身边的设备，大到工业机器人和人造卫星等大型设备的控制，都离不开它。 该研究室与众多企业开展合作研究，并推进TOPPERS项目，该项目通过产学官合作开发面向嵌入式系统的开源软件。 该研究室与同一讲座的石原・増田研究室、本田・山田研究室联合举办研讨会（组会）、练习课和交流会。

#嵌入式系统 #实时操作系统 #安全

保存

---

石原・増田研究室

石原 亨 教授

学长学姐的评价 0条

该研究室从电路到算法，探索低功耗的计算机制。

石原・増田研究室广泛研究使能效最大化的计算方法，涵盖从硬件设计到计算算法的各个层面。 该研究室研究近似计算（重要的计算保证精确，其余计算采用近似方式）的电路设计，以及在光通信网络中执行简单计算的技术。 为了验证近似计算电路，该研究室还在研究使用模糊测试（一种软件测试方法）。

#节能计算 #近似计算 #光计算

保存

---

本田・山田研究室

本田 晋也 教授

学长学姐的评价 0条

研究嵌入设备中的计算机系统的研究室。

本田研究室研究嵌入式系统，即嵌入机械和设备中负责控制的计算机系统。 研究课题示例包括使用ROS和实时操作系统的开发环境，以及性能评估。 该研究室也开展与企业的合作研究，本科4年级学生即可参加。 有意愿的成员也参加ET Robocon（ET机器人大赛）。 研究室的网站将其介绍为名古屋大学信息学研究生院和南山大学理工学研究生院的本田研究室。

#嵌入式系统 #活性氧 #实时操作系统

保存

---

結縁・中澤研究室（SQLAB）

結縁 祥治 教授

学长学姐的评价 0条

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

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

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

保存

---

软件论讲座 楫 勇一研究室

楫 勇一 教授

学长学姐的评价 0条

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

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

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

保存

---

森崎研究室

森崎 修司 副教授

学长学姐的评价 0条

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

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

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

保存

---

村瀬研究室（Murase Laboratory）

村瀬 勉 教授

学长学姐的评价 0条

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

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

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

保存

---

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