LAB LOG口コミサイト LabLog の
コンピュータソフトウェア
プログラムの正しさを数学で保証する研究室。
About研究室について
正しく、書きやすいプログラムへ。
コンピュータソフトウェア研究室は、
型理論や
関数
用語の説明
- 型理論
- プログラムの
データの 種類 （型）に ついての 数学的な 理論。 誤りを 書く 前に 見つけるのに 役立つ - モデル検査
- システムが
とりうる すべての 状態を 調べて、 仕様を 満たすかを 自動で 確かめる 方法 - 抽象化
- 細かい
部分を 隠して、 物事の 本質だけを 取り出すこと
Research研究テーマ
プログラムの
※イメージ画像プログラムの正しさを厳密に保証
人の
※イメージ画像プログラムを書きやすくする
多くの
Members教員
コンピュータソフトウェア研究室の
- 教授五十嵐 淳
- 准教授末永 幸平
- 助教和賀 正樹
- 助教池渕 未来
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは？ - 入ってみて
分かった ことは？ - 雰囲気や
先生の 人柄は？ - どんな
学生に おすすめ？ - 卒業後の
進路は？
Relatedコンピュータソフトウェアに近い研究室
統計知能工学部 情報学科統計学と
知能計算工学部 情報学科人間の
コンピュータアーキテクチャ工学部 情報学科コンピュータアーキテクチャは
制御システム論工学部 情報学科制御システム論分野では、この
画像について
トップと
- トップの
画像：「Source code in Javascript」 Romainhk／CC BY-SA 3.0（トリミング） - プログラムの
正しさを 厳密に 保証：「TestingCup-Polish-Championship-in-Software-Testing-Katowice-2016」 Radosław Smilgin／CC BY-SA 3.0（トリミング） - プログラムを
書きやすく する ：「Computer programming class」 Wikideas1／CC0（トリミング） - 関連する
研究室 （統計知能） ：「Normal distribution function」 Shishirdasika／CC BY-SA 3.0（トリミング） - 関連する
研究室 （知能計算） ：「Water Dolphin」 JJ Harrison (https://www.jjharrison.com.au/)／CC BY-SA 3.0（トリミング） - 関連する
研究室 （コンピュータアーキテクチャ） ：「A Wafer of the Latest D-Wave Quantum Computers ( )」 Steve Jurvetson from Menlo Park, USA／CC BY 2.0（トリミング） - 関連する
研究室 （制御システム論） ：「VIEW OF CONTROL PANEL ON THE EASTERN SIDE OF THE EAST SERVICE BUILDING OF DOROTHY SIX BLAST FURNACE. (Jet Lowe) - U.S. Steel Duquesne Works, Blast Furnace Plant, Along Monongahela HAER PA,2-DUQU,3A-75」 Lowe, Jet, creator／パブリックドメイン （トリミング）
LabLog について
LabLog
この