LAB LOGA page on LabLog, a review site (not the lab's official page)
コンピュータソフトウェア
Showing the original Japanese · View translation
プログラムの正しさを数学で保証する研究室。
AboutAbout the lab
正しく、書きやすいプログラムへ。
コンピュータソフトウェア研究室は、
型理論や
関数
Key terms
- 型理論
- プログラムの
データの 種類 （型）に ついての 数学的な 理論。 誤りを 書く 前に 見つけるのに 役立つ - モデル検査
- システムが
とりうる すべての 状態を 調べて、 仕様を 満たすかを 自動で 確かめる 方法 - 抽象化
- 細かい
部分を 隠して、 物事の 本質だけを 取り出すこと
ResearchResearch themes
プログラムの
*Illustrative imageプログラムの正しさを厳密に保証
人の
*Illustrative imageプログラムを書きやすくする
多くの
MembersFaculty
コンピュータソフトウェア研究室の
- Professor五十嵐 淳
- Associate Professor末永 幸平
- Assistant Professor和賀 正樹
- Assistant Professor池渕 未来
VoicesStudent voices
Ratings and reviews reflect the experiences of individual current or former students, not the lab's official views. Whether a lab has reviews, or how many, says nothing about the lab itself.
Students who take part in an interview may receive a thank-you gift worth ¥1,000, regardless of what they say.
Student ratings (0 students)
--
--
--
--
--
--
Student voices answer questions like these
- What's great about this lab?
- What did you learn after joining?
- What's the vibe, and what is the professor like?
- Who is this lab for?
- Where do graduates go?
Your experience can help younger students choose their lab. Your name won't be shown.
Write a lab reviewAnonymous · Your draft is saved if you stopRelatedLabs similar to コンピュータソフトウェア
統計知能工学部 情報学科統計学と
知能計算工学部 情報学科人間の
コンピュータアーキテクチャ工学部 情報学科コンピュータアーキテクチャは
制御システム論工学部 情報学科制御システム論分野では、The information on this page is compiled by the LabLog team from the lab's public information and interviews. For corrections or removal requests, please contact LabLog, not the lab.
Report an errorAbout the images
The top and research theme images are illustrative and were not taken at the lab. They are cropped from Wikimedia Commons images. Cropped CC BY-SA images are provided under the same CC BY-SA license as the original (version shown on each line).
- Top image: “Source code in Javascript” Romainhk / CC BY-SA 3.0 (cropped)
- プログラムの
正しさを 厳密に 保証: “TestingCup-Polish-Championship-in-Software-Testing-Katowice-2016” Radosław Smilgin / CC BY-SA 3.0 (cropped) - プログラムを
書きやすく する : “Computer programming class” Wikideas1 / CC0 (cropped) - Related lab (統計知能): “Normal distribution function” Shishirdasika / CC BY-SA 3.0 (cropped)
- Related lab (知能計算): “Water Dolphin” JJ Harrison (https://www.jjharrison.com.au/) / CC BY-SA 3.0 (cropped)
- Related lab (コンピュータアーキテクチャ): “A Wafer of the Latest D-Wave Quantum Computers ( )” Steve Jurvetson from Menlo Park, USA / CC BY 2.0 (cropped)
- Related lab (制御システム論): “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 / Public domain (cropped)
About LabLog
LabLog is a lab review app for students only. Student members at each university interview students in labs and publish what they say. Student voices can only be read by students who sign up with a university email address. Operated by bestiee Inc.
Learn more about LabLog ↗Search engines and AI may reference the basic lab info and rating summaries on this page and the description of LabLog. Student voices are for student members only. Automated collection by programs (scraping, or input to or training of AI) is prohibited under Article 8 of the Terms of Service. If you need data for research or analysis, please contact us.