帰納的プログラミング
term_id: inductive_programming
Category: basic_concepts
Definition
帰納的プログラミング（プログラム合成とも呼ばれます）は、明示的な指示ではなく、入出力ペアとして提供される仕様に基づいてソフトウェアコードを作成することを伴います。システムは…
Summary
入出力例からコンピュータプログラムを自動的に生成するプログラム合成の分野。
Key Concepts
- プログラム合成
- 入出力例
- 自動コーディング
- 論理推論
Use Cases
- コード補完ツール
- データからのスクリプト生成
- 教育用のプログラミング支援