統計解析プログラムのための形式検証手法

研究課題

体系的番号	JPMJPR2022
DOI	https://doi.org/10.52926/JPMJPR2022
研究代表者	川本裕輔産業技術総合研究所, 情報・人間工学領域, 主任研究員
研究期間 (年度)	2020 – 2023
概要	プログラムが意図どおりに動作することを数理的に厳密に検証する手法として形式検証手法が研究されており、様々なソフトウェアの検証に利用されてきました。本研究では、統計解析プログラムの正しさを数理的に厳密に検証するための形式検証手法を構築します。特に、統計解析プログラムの自動検証技術を開発し、統計解析プログラムの信頼性を高めることを目指します。
研究領域	数学と情報科学で解き明かす多様な対象の数理構造と活用