LAB LOG评价网站 LabLog 的页面
結縁・中澤研究室（SQLAB）
正在显示日语原文 · 查看译文
プログラムの正しさを数理的に保証する研究室。
About关于研究室
数理的な手法で、ソフトウェアの正しさを支える。
結縁・中澤研究室は、
入力は
あわせて、
名古屋大学情報学研究科情報システム学専攻の
术语说明
- 可逆計算
- プログラムを
可逆的に 実行できるよう、 実行と して 必要十分な 情報を 定義する 考え方 - オートマトン
- コンピューターが
扱う 記号列や 計算規則を 記述する ための 数学的な モデル - 実時間並行システム
- 同時並行で
動く 複数の システムの 組み合わせ。 多くは 決められた 時間までの 処理完了が 求められる
Research研究课题
この
※示意图プログラムの性質を数理的に証明する
プログラムが
※示意图可逆な実行で並行プログラムを調べる
実行に
※示意图形式言語を代数学で捉える
形式言語や
※示意图実時間並行システムの開発手法
動作の
Members教师
結縁・中澤研究室の
- 教授結縁
祥治 - 副教授中澤 巧爾
- 助理教授井上 裕介
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与結縁・中澤研究室（SQLAB）相似的研究室
森崎研究室情報学部 コンピュータ科学科この
ソフトウェア論講座 楫 勇一情報学部 コンピュータ科学科この
ソフトウェア論講座 濱口 毅情報学部 コンピュータ科学科この
番原・宋研究室本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Coder screen shot》 Wikideas1／CC0（裁剪）
- プログラムの
性質を 数理的に 証明する ：《Mathematical proof with a fatal error》 Dino／CC BY-SA 4.0（裁剪） - 可逆な
実行で 並行 プログラムを 調べる ：《Code on computer monitor (Unsplash)》 Markus Spiske markusspiske／CC0（裁剪） - 形式言語を
代数学で 捉える ：《Highlighted LaTeX example》 Wikideas1／CC0（裁剪） - 実時間並行システムの
開発手法 ：《LC-P computer keyboard - IC encapsulated on printed circuit board-3464》 Raimond Spekking／CC BY-SA 4.0（裁剪） - 相关研究室
（森崎研究室） ：《Atari 800 XL home computer with monitor and tape program recorder XC12》 winkelnkemper／CC BY-SA 2.0（裁剪） - 相关研究室
（ソフトウェア論講座 楫 勇一） ：《Centaur server room ( )》 VIA Gallery from Hsintien, Taiwan／CC BY 2.0（裁剪） - 相关研究室
（ソフトウェア論講座 濱口 毅） ：《Software development methodologies》 Marcel Douwe Dekker／CC BY-SA 3.0（裁剪） - 相关研究室
（番原・宋研究室 （Banbara/Soh Lab.）） ：《Samurai-sudoku》 „Markus Weigel“／CC BY-SA 4.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。