https://www.sclab.riec.tohoku.ac.jp/dokuwiki/ 2026-06-29T10:27:38+00:00 https://www.sclab.riec.tohoku.ac.jp/dokuwiki/ https://www.sclab.riec.tohoku.ac.jp/dokuwiki/lib/exe/fetch.php?media=wiki:dokuwiki.svg text/html 2026-06-26T19:02:27+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.sclab.riec.tohoku.ac.jp/dokuwiki/doku.php?id=en&rev=1782500547&do=diff Tohoku University >> Research Institute of Electrical Communication >> Software Construction Laboratory Software Construction Laboratory In modern society, people regularly use smartphones and computers in their personal lives and work, and unnoticed, computer-controlled infrastructure such as transportation, finance, healthcare, and energy plays a crucial role. Therefore, ensuring the reliability of software that controls computers and improving its efficiency are important challenges for mai… text/html 2026-06-25T12:39:23+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.sclab.riec.tohoku.ac.jp/dokuwiki/doku.php?id=start&rev=1782391163&do=diff 東北大学 >> 東北大学電気通信研究所 >> ソフトウェア構成研究室 ソフトウェア構成研究室 現代社会において、人々は私生活や仕事において日常的にスマートフォンやコンピュータを用いており、普段意識されない交通・金融・医療・エネルギーといったコンピュータにより制御されているインフラは、極めて重要な役割を果たしている。したがって、コンピュータを制御するソフトウェアの信頼性を確保し、その効率性を向上させることは、社会の安定と円滑な機能の維持にとって重要な課題である。本研究室では、形式論理やプログラム理論といった基礎理論に基づいた高信頼かつ高効率なソフトウェアを構成する技術について研究を行っている。…