LAB LOG评价网站 LabLog 的页面
南出靖彦研究室
机器翻译 · 查看原文
以理论确认软件正确性的软件验证研究室。
About关于研究室
用理论提高软件的可靠性。
南出研究室研究用于提高软件可靠性的理论与技术。
当今社会对软件的依赖程度日益加深，
例如在与网页相关的软件中，
该研究室尤其致力于基于形式语言和自动机理论的验证技术研究。
术语说明
- 形式语言
- 用数学规则严格定义的字符串集合。
用于处理程序的语法 - 自动机
- 表示一边切换状态一边逐步读取字符串的简单计算机制的模型
- SQL注入
- 在输入栏中混入对数据库的指令，
从而获取本来无法看到的信息的攻击
Research研究课题
研究用于提高软件可靠性的理论与技术，
※示意图正则表达式匹配的计算量分析
广泛用于字符串搜索等场景的正则表达式匹配，
※示意图字符串约束的可满足性判定
处理由字符串的连接与转换、
※示意图网页软件的验证
开发了将程序可能输出的字符串集合近似为上下文无关语言的字符串分析方法，
※示意图基于HTML5语法解析规范的测试生成
将HTML5的语法解析规范形式化，
Members教师
南出研究室的成员由教师、
- 教授南出 靖彦研究成果 ↗
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与南出靖彦研究室相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《CSS code on a screen (Unsplash)》 Sai Kiran Anagani _imkiran／CC0（裁剪）
- 正则表达式匹配的计算量分析：《Regular expression example》 Belbury／CC0（裁剪）
- 字符串约束的可满足性判定：《Finite-state machine state-diagram》 Maggyero／CC BY-SA 4.0（裁剪）
- 网页软件的验证：《Programming code》 Martin Vorel／CC BY-SA 4.0（裁剪）
- 基于HTML5语法解析规范的测试生成：《HTML5 oval logo》 HTML5-logo.svg: W3C derivative work: Patio (talk)／CC BY 3.0（裁剪）
- 相关研究室
（叢悠悠研究室） ：《Lambda calculus-Church numerals》 Isaac David／公有领域 （裁剪） - 相关研究室
（増原英彦研究室） ：《FortranCodingForm.agr》 Arnold Reinhold／CC BY 2.5（裁剪） - 相关研究室
（安永憲司研究室） ：《ENIGMA Wired Rotor - National Cryptologic Museum - DSC07768》 Daderot／CC0（裁剪） - 相关研究室
（鈴木咲衣研究室） ：《Blue Trefoil Knot》 Jim.belk／公有领域 （裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。