by Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe and Ilya Sergey帰納法を用いた証明において帰納法の仮定を適切に強める（＝補題発見）ことが本質的な課題であることは広く知られているが、同様にプログラムの自動合成では適切な補…