LAB LOG评价网站 LabLog 的页面
小林研究室
正在显示日语原文 · 查看译文
数学の理論で、ソフトウェアの正しさを機械的に確かめる研究室。
About关于研究室
ソフトウェアの正しさを、理論で確かめる。
小林研究室は、
交通や
そこで
型理論や
术语说明
- 型理論
- プログラムの
中の 値や 式に 「型」と いう 分類を 与え、 実行する 前に 誤りを 見つける ための 理論 - 定理証明
- 数学の
証明を コンピュータに 扱わせ、 筋道が 通っているかを 機械的に 確かめる こと - モデル検査
- システムが
取りうる 状態を もれなく 調べ上げ、 決めた 性質を 満たすか どうかを 確かめる 検証の 手法
Research研究课题
多くの
※示意图高階モデル検査
システムの
※示意图プログラムの自動検証
高階モデル検査を
※示意图データ圧縮
文字列や
※示意图通信プロトコルの自動検証
インターネットショッピングなどで
Members教师
小林研究室の
Voices学长学姐的评价
根据所属学生的回答整理。
对于接受采访的学生，
4级评分中，
推荐给什么样的学生?
这个研究室的推荐点是什么?
进入后才知道的事情是什么?
氛围和老师的性格如何?
毕业后的去向?
Related与小林研究室相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Programming code》 Martin Vorel／CC BY-SA 4.0（裁剪）
- 高階モデル検査：《NFSM state diagram》 Maggyero／CC BY-SA 4.0（裁剪）
- プログラムの
自動検証：《CoqProofOfDecidablityOfEqualityOnNaturalNumbers》 Roconnor／公有领域 （裁剪） - データ圧縮：《HuffmanCodeAlg》 Andreas.Roever at German Wikipedia (Original text: Andreas.Roever)／CC BY-SA 3.0（裁剪）
- 通信プロトコルの
自動検証：《Asymmetric encryption (colored)》 Nicobon／CC BY-SA 4.0（裁剪） - 相关研究室
（杉山・横矢・石田研究室） ：《T-SNE Embedding of MNIST》 Kyle McDonald／CC BY 2.0（裁剪） - 相关研究室
（品川研究室） ：《Alx source snippet》 Tino／CC BY-SA 4.0（裁剪） - 相关研究室
（河原林研究室） ：《Social Network Visualization》 Martin Grandjean／CC BY-SA 4.0（裁剪） - 相关研究室
（馬研究室） ：《Unmarked Nissan Rogue - Possible Test Autonomous Vehicle - San Francisco, May 2025 04》 9yz／CC BY 4.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。