プログラム合成
プログラムへの入力と出力の例をいくつか示すことで、そのような入出力を生み出すプログラムを合成する。