2003 年度終了報告書

効率的で正しいプログラムの自動生成

研究課題

体系的番号	JPMJPR00P1
DOI	https://doi.org/10.52926/JPMJPR00P1
研究代表者	小川瑞史日本電信電話株式会社, NTTコミュニケーション科学基礎研究所, 主任研究員
研究期間 (年度)	2000 – 2003
研究領域	機能と構成