Computer Program Synthesis From Computation Traces (プログラムの基礎理論)