Loading article…
ほとんどのコンピュータ プログラミングでは、プログラマーはプログラムの意図した結果を念頭に置き、その結果を達成するためのプログラムを丹念に構築します。推論プログラミングとは、その逆を可能にする (まだほとんどが仮説的な) 手法とテクノロジーを指します。これにより、適合関数、テスト仕様、論理仕様などのメタファーを使用して、意図した結果をコンピューターに説明することができ、その後、コンピューターは、提供された基準を満たすために必要なプログラムを独自に構築します。
1980 年代には、推論プログラミングを実現するためのアプローチには、主に論理推論の手法が使用されていました。今日では、この用語は、適応度関数または報酬関数として提示された問題に応じてコンピューターがソリューションを進化させる、進化的計算手法に関連して使用されることがあります。
2022年7月には推論プログラミングの一例である GitHub Copilotがリリースされました。
密接に関連する概念と技術
参照
参考文献
外部リンク
- 推論プログラミングへの第一歩(アーカイブリンク)