LAB LOG评价网站 LabLog 的页面
名古屋大学
本科：信息学部 计算机科学科
研究生院：信息学研究生院 信息系统学专业
西田研究室（Nishida Lab.）
机器翻译 · 查看原文
通过项重写等方法研究程序的逆化、变换与验证的研究室。
About关于研究室
研究程序的变换、逆化与验证。
西田研究室研究项重写、
研究内容还包括条件重写、
该研究室隶属于信息系统学专业的计算论讲座，
术语说明
- 项重写
- 按照预先设定的规则，
将一个式子不断改写为另一个式子的计算机制 - 程序逆化
- 以原
程序为基础， 构造出由程序的输出反求输入方向的计算的程序
Research研究课题
研究程序的逆化、
Members教师
- 教授西田 直樹
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
研究成果
专注于实验室内研究积极在学会・论文中发表
--
课题自由度
导师提供课题自己决定课题
--
指导力度
放手让学生自主 细致指导
--
研究经费
巧妙调配设备・资金充裕
--
成员氛围
各自默默工作热闹融洽
--
整体繁忙程度
全力投入研究时间充裕
--
核心时间-
研究室会议-
暂无学长学姐评价
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与西田研究室（Nishida Lab.）相似的研究室
酒井研究室
番原・宋研究室
結縁・中澤研究室
软件论讲座 濱口 毅研究室信息学部 计算机科学科本讲座从理论和实践两个方面，本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Skeleton programming code》 Monky2020／CC BY-SA 4.0（裁剪）
- 相关研究室
（酒井研究室 （Sakai Lab.）） ：《Education program at Faculty of Computer Science & Engineering 3》 Иван Ж／CC BY-SA 4.0（裁剪） - 相关研究室
（番原・宋研究室 （Banbara/Soh Lab.）） ：《Samurai-sudoku》 „Markus Weigel“／CC BY-SA 4.0（裁剪） - 相关研究室
（結縁・中澤研究室 （SQLAB）） ：《Coder screen shot》 Wikideas1／CC0（裁剪） - 相关研究室
（软件论讲座 濱口 毅研究室） ：《Software development methodologies》 Marcel Douwe Dekker／CC BY-SA 3.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。