コンピュータソフトウェア

正在显示日语原文 · 查看译文

プログラムの正しさを数学で保証する研究室。

编程语言类型论程序验证

About关于研究室

正しく、書きやすいプログラムへ。

コンピュータソフトウェア研究室は、プログラミング言語を主なテーマに、効率が高く信頼できるソフトウェアをつくるための理論と応用を研究しています。
型理論やモデル検査など、数理論理学にもとづくプログラム検証の技法の理論と応用に取り組んでいます。
関数プログラミングやオブジェクト指向プログラミングの考え方を生かし、抽象度の高い記述ができるプログラミング言語の設計・開発も行っています。