口コミサイト LabLog の
ソフトウェア構成論
プログラムの検証と合成を基礎理論に基づいて研究する研究室。

About研究室について
論理で挑む、次世代ソフトウェアの信頼性と効率。
ソフトウェア構成論研究室は、
特に、
検証や合成の
用語の説明
- プログラム検証
- プログラムが
仕様を 満たす ことを、 数学的に 厳密に 保証する 技術 - プログラム合成
- 仕様から、
それを 満たす プログラムを 生成する 技術 - ソルバ
- 検証や合成の
問題を 式と して 表し、 その 解を 求める プログラム
Research研究テーマ
コンピュータを
Members教員
- 教授海野 広志
- 助教Eberhart Clovis
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
Relatedソフトウェア構成論に近い研究室
高次視覚情報学情報科学研究科 システム情報科学専攻我々は
自然言語処理学情報科学研究科 システム情報科学専攻コミュニケーション支援の
知能システム科学情報科学研究科 システム情報科学専攻人工知能と
情報システム評価学情報科学研究科 システム情報科学専攻高品質なこの
画像について
トップと
- トップの
画像:「SoftwareRepresentations」 ScriboMollisOpus/CC0(トリミング) - 検証・合成の
ツールと 基礎理論:「Code on computer monitor (Unsplash)」 Markus Spiske markusspiske/CC0(トリミング) - 関連する
研究室 (高次視覚情報学) :「Optical Illusion」 Ironnail/CC BY-SA 4.0(トリミング) - 関連する
研究室 (自然言語処理学) :「マイクロデータセンター(DX edge ZellaPro25)」 Muromurot/CC0(トリミング) - 関連する
研究室 (知能システム科学) :「Data center roof」 Rsparks3/CC0(トリミング) - 関連する
研究室 (情報システム評価学) :「Efficient and Secure Group Messaging Encryption (2020) - page 8」 Tyler Weitzman/CC BY-SA 4.0(トリミング)
LabLog について
LabLog
この
