2020 年度終了報告書

プログラムコードの整合性ある自動抽象化による表明強化の支援

研究課題

体系的番号	JPMJPR17UA
DOI	https://doi.org/10.52926/JPMJPR17UA.19189187
研究代表者	小林努国立情報学研究所, コンテンツ科学研究系, 特任研究員
研究期間 (年度)	2019 – 2020
研究領域	情報と未来