"松山 皓星,叢 悠悠,増原 英彦","コレオグラフィックプログラミングのエフェクトおよびコエフェクトを用いた形式化","第156回プログラミング研究発表会","情報処理学会論文誌 プログラミング",,,,,2026,May