1つのプログラムが、仕様通り正確に動くことを“証明”するのは難しい。このため、仕様書からバグのないプログラムを自動生成する「自動プログラミング」の研究が進んでいる。

PDFファイルでは全文お読みいただけます。

全文ダウンロード（714KB）

執筆者情報

• 外園 康智

※組織名、職名は現在と異なる場合があります。