今日はプログラム合成のコミュニティ SyGuS についての紹介。例によって日本で自分くらいしか興味がなさそうなトピック。そのうちきっと国内でも人気が高まるはず。。。 SyGuS とは SyGuS はプログラム合成についての有力な研究コミュニティである。プログラ…