『バグの無いソフトウェアを開発するための技術：証明スコア | JAIST 北陸先端科学技術大学院大学...2025/5/7 9:29:00 https://www.jaist.ac.jp/whatsnew/press/2025/05/07-1.html