LAB LOG评价网站 LabLog 的页面
西崎研究室
正在显示日语原文 · 查看译文
プログラミング言語の理論で、ソフトウェアの正しさを確かめる研究室。
About关于研究室
プログラミング言語の理論を、応用へ。
西崎研究室
プログラムが
ラムダ計算を
モデル検査を
术语说明
- ラムダ計算
- 関数を
作り、 関数に 値を 当てはめると いう 最小限の 決まりだけで 計算を 表す数学の 体系 - 型システム
- プログラムの
各部分が どんな 値を 扱うかを 決め、 誤った 使い方を 実行前に 見つける 仕組み - モデル検査
- システムが
取りうる 状態を すべて 調べ上げ、 まず い 動きが 起きないかを 自動で 確かめる 技術
Research研究课题
プログラミング言語理論、
※示意图ファーストクラス環境
変数と
継続と線形論理
「継続」は、
※示意图型システムと意味論
プログラムが
※示意图モデル検査による検証
システムの
Members教师
西崎研究室の
- 教授西崎 真也研究成果 ↗
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与西崎研究室相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Punched card program deck.agr》 ArnoldReinhold／CC BY-SA 3.0（裁剪）
- ファーストクラス環境：《Lambda cube》 Денис Москвин／公有领域
（裁剪） - 型システムと
意味論：《Screen-python-code-matplotlib-physics-simulation》 MikeRun／CC BY-SA 4.0（裁剪） - モデル検査に
よる 検証：《Network switches》 ShakataGaNai／CC BY-SA 3.0（裁剪） - 相关研究室
（渡部研究室） ：《Printed Circuit Board 2》 Balurbala／CC BY-SA 3.0（裁剪） - 相关研究室
（権藤研究室） ：《Eclipse suspended at breakpoint》 Simeon87／公有领域 （裁剪） - 相关研究室
（林研究室） ：《CodeCharta Software Map 1》 Roki68199／CC BY-SA 4.0（裁剪） - 相关研究室
（小林研究室） ：《Vim8-autocompletion-go-syntastic》 Vitaly Zdanevich／CC0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。