質問: プログラムを書くプログラムを書く "Hello world tester"プログラムが決定不能な問題であることは、理論上のコンピュータサイエンスでよく知られています(ここでは、 [hello world tester](https://prof.ti.bfh.ch/fep1/vorlesungen/> comp/xml/tu.xml ) 私の質問は、入力としてプログラムが与えられて以来、私たちはプログラムが何をするかを言い表すことができません、逆の問題を解決することができます: **入力と出力のセットを指定すると、与えられた入力と出力の間に1対1のマッピングを実現するプログラムを記述するプログラムを記述するアルゴリズムがあります。** 私はメタプログラミングについて知っていますが、私の質問は理論的な興味です。一般的なケースに適用できるもの。
回答: 「1対1マッピング」の意味に依存します。 (また、私は "入力"と "出力"と思います)。 私の推測では、与えられた任意のプログラムの入力と出力の例を考えれば、同等のプログラムを書くためのアルゴリズムを考案できますか?そうであれば、答えはいいえです。たとえば、入力/出力が1/1,2/2,3/3,4/4のプログラムを持つことができますが、次の入力値が5の場合、出力は3782になります。与えられた一連の結果から、次の結果が何であるかを知る。