帰納的プログラム合成

プログラム合成

高レベルの仕様を満たすコンピュータプログラムを自動的に生成することを目的とするコンピュータサイエンスの分野。このアプローチは、機能的なコードを作成するために検索、機械学習、形式推論の技術を組み合わせています。

← 戻る