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
- 自動コード合成
- 過去の
ソフトウェア開発の 資産を 部品と して 再利用し、 再現したい 機能を 自動的に 合成する 手法 - B Method
- 抽象的な
仕様記述から 実行可能な 実装までを 支える 形式手法。 実装が 仕様を 満たす ことを 数学的に 証明できる - 形式的仕様記述言語
- 意味が
一意に 定まるように 仕様を 書く 言語。 曖昧さを 排除し、 矛盾や 冗長な 記述を 検出できる
NewsLab news
View More ↗ResearchResearch themes
高品質の
*Illustrative image仕様の誤りを見つける検証
ソフトウェアの
*Illustrative imageソースコードの自動合成
過去の
MembersFaculty
織田研究室の
- 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: “TestingCup-Polish-Championship-in-Software-Testing-Katowice-2016” Radosław Smilgin / CC BY-SA 3.0 (cropped)
- 仕様の
誤りを 見つける 検証: “State diagram (Employee)” VŠEesej / CC BY 4.0 (cropped) - ソースコードの
自動合成: “Source code in Javascript” Romainhk / CC BY-SA 3.0 (cropped) - Related lab (田原 康之 研究室): “Fujikura optic fiber at Science Museum” Syced / CC0 (cropped)
- Related lab (石川 冬樹 研究室): “Bridge Global developers' bay, Apr 2019” Arunvrparavur / CC BY-SA 4.0 (cropped)
- Related lab (大森 匡 研究室): “Seagate ST33232A hard disk inner view” Eric Gaba (Sting - fr:Sting) This image was created with CombineZP by 11 ( It was created out of 11 single images.). / CC BY-SA 3.0 (cropped)
- Related lab (戸田 貴久 研究室): “Zoox Toyota Highlander Test Vehicle - San Francisco, May 2025 08” 9yz / CC BY 4.0 (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.