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

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

早稻田大学 基干理工学部 信息理工学科的研究室

15个研究室 · 6条学长学姐评价

基干理工学部的其他学科 ›早稻田大学的本科院系 ›

木村研究室

木村 啓二 教授

学长学姐的评价 0条

以自动并行化编译器与多核处理器推动计算机进化的研究室

木村研究室研究多核处理器与自动并行化编译器。 该研究室致力于探索如何让在一块芯片上集成多个CPU“核心”的“多核”处理器，以高性能、低功耗运行。 该研究室与笠原研究室合作，研究将程序自动分配给各核心的“OSCAR编译器”，以及与之相适配的多核处理器。 该研究室以科学技术计算、图像识别等各种应用为对象，也致力于在多核处理器上实现高速化与低功耗化。

#多核 #自动并行化编译器 #低功耗化

保存

---

Simo-Serra研究室

Edgar Simo-Serra 教授

学长学姐的评价 0条

研究机器学习、计算机视觉和计算机图形学的研究室

Simo-Serra研究室研究机器学习、计算机视觉和计算机图形学技术。 该研究室于2018年10月新设，自2019年4月起接收学生。 每年通过分配方式，从信息理工学科和信息通信学科接收新学生。

#机器学习 #计算机视觉 #计算机图形学

保存

---

菅原研究室

菅原 俊治 教授

学长学姐的评价 0条

由自主运行的程序相互协作、共同学习的多智能体系统研究室。

菅原研究室在人工智能领域中研究“自主智能体与多智能体系统”。 该研究室致力于构建通过互联网连接的大量程序（智能体）在协作、配合的同时自主学习的机制。 除了单个智能体的学习之外，还开展以提高整体效率为目标的理论研究，以及基于模拟的验证。

#多智能体系统 #人工智能 #自主智能体

保存

---

寺内研究室

寺内 多智弘 教授

学长学姐的评价 0条

自动验证程序正确性的程序验证研究室。

寺内研究室研究编程语言领域。 主要研究自动确认程序是否按规约运行的“程序验证”，以及根据规约自动生成正确程序的“程序合成”。 该研究室还研究将这些技术应用于信息泄露、时序攻击等安全问题。 同时也致力于类型系统、数理逻辑、形式语言理论等支撑这些技术的基础理论研究。

#程序验证 #程序合成 #形式验证

保存

---

鷲崎研究室

鷲崎 弘宜 教授

学长学姐的评价 0条

从理论与实践两方面研究如何构建可靠软件的研究室。

鷲崎研究室研究可靠软件的构建方法与运行方法。 研究对象涵盖从需求分析、设计、质量保证到维护的软件开发各个阶段。 近年来，该研究室也致力于支撑使用AI和机器学习的软件开发与运维的方法。 此外，还开展将一线积累的经验做法整理成模式语言、使任何人都能使用的研究。

#软件工程 #软件质量保证 #模式语言

保存

---

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